O usłudze
PrzetłumaczoneJestem programistą OCaml: tworzę szybkie, bezpieczne typowo usługi backendowe, narzędzia konsolowe i narzędzia — kompilatory, analizatory i systemy analizy statycznej, które utrzymują duże projekty w porządku. W mojej pracy polegam na silnej inferencji typów OCaml i ekspresyjnym systemie modułów, aby przekształcać niejasne wymagania w kod, który zawodzi w czasie kompilacji, a nie w produkcji. Jeśli masz usługę, która musi pozostać poprawna pod obciążeniem, model domeny, który nieustannie się rozrasta, lub analizator, który musi być jednocześnie ścisły i pobłażliwy, zaproponuję projekt, w którym typy niosą inwarianty, a czas wykonania po prostu robi to, co obiecują sygnatury.
Na przestrzeni lat dostarczałem backendy HTTP i gRPC, pracowników w tle oraz potoki przetwarzania danych w OCaml, a także leksykalizatory, analizatory i interpretery oparte na Menhir i ppx-rewriters. Cenię czysty funkcjonalny design: domyślnie niemutowalne dane, wyraźne efekty, małe moduły kompozycyjne i czysty rdzeń w cienkim opakowaniu I/O. Testuję przez właściwości i szybkie zestawy jednostkowe, profiluję gorące ścieżki, pewnie pracuję z Dune, opam i nowoczesnym wielordzeniowym OCaml, gdy potrzebna jest współbieżność.
Podłączę się do istniejącej bazy kodu lub rozpocznę projekt od zera, a zawsze dokumentuję powody decyzji, aby następna osoba zrozumiała.
— Usługi backendowe i API bezpieczne typowo w OCaml
— Kompilatory, interpretery, analizatory i narzędzia językowe
— Analiza statyczna, linters i ppx-rewriters
— Modelowanie domeny funkcjonalnej z silną inferencją typów
— Budowanie z Dune i opam, testowanie i profilowanie
Na przestrzeni lat dostarczałem backendy HTTP i gRPC, pracowników w tle oraz potoki przetwarzania danych w OCaml, a także leksykalizatory, analizatory i interpretery oparte na Menhir i ppx-rewriters. Cenię czysty funkcjonalny design: domyślnie niemutowalne dane, wyraźne efekty, małe moduły kompozycyjne i czysty rdzeń w cienkim opakowaniu I/O. Testuję przez właściwości i szybkie zestawy jednostkowe, profiluję gorące ścieżki, pewnie pracuję z Dune, opam i nowoczesnym wielordzeniowym OCaml, gdy potrzebna jest współbieżność.
Podłączę się do istniejącej bazy kodu lub rozpocznę projekt od zera, a zawsze dokumentuję powody decyzji, aby następna osoba zrozumiała.
— Usługi backendowe i API bezpieczne typowo w OCaml
— Kompilatory, interpretery, analizatory i narzędzia językowe
— Analiza statyczna, linters i ppx-rewriters
— Modelowanie domeny funkcjonalnej z silną inferencją typów
— Budowanie z Dune i opam, testowanie i profilowanie
