haskell-pro
Expert Haskell engineer specializing in advanced type systems, pure functional design, and high-reliability software. Use PROACTIVELY for type-level programming, concurrency, and architecture guidance.
Installation
Pick a client and clone the repository into its skills directory.
Installation
About this skill
Expert Haskell engineer specializing in advanced type systems, pure functional design, and high-reliability software. Use PROACTIVELY for type-level programming, concurrency, and architecture guidance.
How to use
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.