haskell-pro
Ekspert Haskella do zaawansowanych systemów typów i funkcyjnego projektowania
Instalacja
Wybierz klienta i sklonuj repozytorium do odpowiedniego katalogu skilli.
Instalacja
O skillu
Umiejętność eksperta Haskella specjalizującego się w zaawansowanych systemach typów, czystym projektowaniu funkcyjnym i oprogramowaniu wysokiej niezawodności. Używaj proaktywnie do programowania na poziomie typów, współbieżności i wskazówek architektonicznych. Obejmuje GADT-y, rodziny typów, projektowanie typeklas i wzorce współbieżności ze STM i async.
Jak używać
Zainstaluj umiejętność w swoim środowisku agenta Claude/Copilot, wskazując ścieżkę do repozytorium https://github.com/sickn33/antigravity-awesome-skills/tree/main/skills/haskell-pro.
Przed rozpoczęciem pracy wyjaśnij cele, ograniczenia i wymagane dane wejściowe — na przykład czy pracujesz nad systemem czasu rzeczywistego wymagającym STM, czy nad biblioteką z publicznym API wymagającą czystych typów.
Poproś eksperta o wskazówki dotyczące konkretnego obszaru: zaawansowanych systemów typów (GADT-y, rodziny typów, typy fantomowe), czystej architektury funkcyjnej, współbieżności, projektowania typeklas lub struktury projektu Cabal/Stack.
Otrzymaj idiomatic Haskell z wyraźnymi sygnaturami typów, czystą logiką oddzieloną od kodu efektowego oraz przykładami uruchamialnymi w GHCi. Ekspert zasugeruje bezpieczne alternatywy dla funkcji częściowych i wyjaśni każde rozszerzenie języka.
Jeśli potrzebujesz szczegółowych przykładów implementacji, otwórz plik resources/implementation-playbook.md w repozytorium umiejętności.
Zweryfikuj wyniki — ekspert dostarczy kroki weryfikacji i najlepsze praktyki dla Twojego przypadku użycia, od profilerowania wydajności po bezpieczeństwo wyjątków w kodzie współbieżnym.