Rozwój w Carp dla systemów czasu rzeczywistego

Piszę kod produkcyjny w Carp — statycznie typowany Lisp stworzony do zadań w czasie rzeczywistym, gdzie zatrzymanie przez zbieracz śmieci jest po prostu nieakceptowalne. Zależy mi na oprogramowaniu, które musi dotrzymać terminu w każdej klatce i każdym buforze audio: logika gry, silniki syntezatorów i DSP, pętle fizyczne i gęste jądra numeryczne. Carp daje Ci ekspresyjność Lispa razem z przewidywalnością ręcznej kontroli pamięci, a ja polegam na jego modelu własności, aby zagwarantować: nigdy nie będzie ukrytego zatrzymania w najgorszym momencie. W praktyce oznacza to, że projektuję Twoje dane tak, aby pożyczki i przeniesienia były sprawdzane w czasie kompilacji, a wynik zachowuje się jak starannie napisany C, ale bez jego pułapek. Dokładnie to, co dostarczam, zależy od Twojego celu. Mogę rozpocząć projekt od pustego repozytorium, skonfigurować budowę i rozwijać czystą, modułową strukturę. Mogę wziąć działający prototyp i wzmocnić go — naprawić błędy własności, usunąć przypadkowe kopie i profilować gorące punkty, aż liczby będą stabilne. Piszę wiązania, aby Carp komunikował się czysto z Twoimi bibliotekami C, backendami audio lub warstwą graficzną. Każda praca zawiera czytelne źródło, przemyślane komentarze, mały zestaw testów i krótką notatkę na temat decyzji dotyczących pamięci, które podjęliśmy, aby Twój zespół mógł utrzymać kod po mnie. Przez lata pracy z systemami o niskiej latencji przyzwyczaiłem się myśleć o determinizmie jako o właściwości, a nie o szczęściu. Jeśli masz pomysł na czas rzeczywisty, który zarządzane środowiska ciągle ograniczają, Carp jest prawie na pewno odpowiednim narzędziem, a ja mogę pomóc to szybko udowodnić. Podaj swój budżet na klatki lub rozmiar bufora — a ja szczerze powiem, czy mogę go osiągnąć.