Systemy funkcyjne niskiego poziomu w języku Ante

Rozwijam systemy funkcyjne niskiego poziomu w Ante — języku badawczym, który łączy styl funkcyjny z ręcznym zarządzaniem pamięcią. Ante wnioskowuje czasy życia w czasie kompilacji, więc masz bezpieczeństwo kontrolera pożyczek i swobodę ręcznej alokacji bez obowiązkowych, jawnych adnotacji. Ponadto efekty algebraiczne pozwalają wyrażać I/O, stan, wyjątki i asynchroniczność jako kompozytowalne, pierwszorzędne obsługiwacze zamiast splątanych wywołań zwrotnych lub ukrytego globalnego stanu.

Co robię: biblioteki i usługi krytyczne dla wydajności, niestandardowe alokatory i areny, obsługiwacze efektów dla twojej dziedziny, bezpieczne mosty FFI do istniejącego kodu C oraz czysty rdzeń funkcyjny wokół imperatywnej powłoki. Skupiam się na przewidywalnym zachowaniu pamięci, abstrakcjach bez kosztów i kodzie, który pozostaje czytelny w miarę rozwoju.

Jak przebiega praca: zaczynamy od krótkiej fazy projektowania modelu danych i granic efektów, następnie buduję iteracyjnie z testami na każdym etapie. Ante kompiluje przez LLVM, więc profiluję gorące ścieżki i dostosowuję rozmieszczenie pamięci, utrzymując opóźnienia na równym poziomie. Otrzymujesz udokumentowane źródło, konfigurację budowy i przewodnik, aby zespół mógł utrzymać projekt.

Ante to młody język badawczy, więc jestem szczery co do tego, co jest gotowe do produkcji, a co jest eksperymentalne. Jeśli komponent potrzebuje stabilnego czasu wykonywania, zasugeruję hybrydową ścieżkę. Zapisz zadanie — ocenię je od razu.