Lobsters
- Big Datatype: why code tools like to be written with fancy types https://twitchard.github.io/posts/2024-09-10-big-datatype.html 8 comments programming
- Big Datatype: why code tools like to be written with fancy types https://twitchard.github.io/posts/2024-09-10-big-datatype.html 6 comments haskell
Linked pages
- Implement With Types, Not Your Brain! :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/typeholes/ 357 comments
- GitHub - koalaman/shellcheck: ShellCheck, a static analysis tool for shell scripts https://github.com/koalaman/shellcheck 128 comments
- GitHub - github/semantic: Parsing, analyzing, and comparing source code across many languages https://github.com/github/semantic/blob/master/README.md 55 comments
- PureScript http://www.purescript.org/ 47 comments
- GitHub - unisonweb/unison: A friendly programming language from the future https://github.com/unisonweb/unison 26 comments
- Mercury | Banking for Startups https://mercury.com/ 11 comments
- GitHub - elm/compiler: Compiler for Elm, a functional language for reliable webapps. https://github.com/elm/compiler 3 comments
- GitHub - comby-tools/comby: A code rewrite tool for structural search and replace that supports ~every language. https://github.com/comby-tools/comby 2 comments
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-idris 1 comment
- GitHub - semgrep/semgrep: Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. https://github.com/semgrep/semgrep 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:twitchard.github.io
Search title: Big Datatype: why code tools like to be written with fancy types - Richard Marmorstein
See how to search.