hindley-milner
articles
Our great sponsors
hindley-milner | articles | |
---|---|---|
- | 11 | |
37 | 1,239 | |
- | - | |
3.6 | 4.2 | |
over 2 years ago | 10 months ago | |
Haskell | Haskell | |
MIT License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hindley-milner
We haven't tracked posts mentioning hindley-milner yet.
Tracking mentions began in Dec 2020.
articles
- Haddock+Doctest+Cairo = ♥
- Löb and möb: strange loops in Haskell (2015)
- Löb and möb: strange loops in Haskell
-
Writing a function to test Functor's second law
Note that you only need to test the first law, because the second law follows automatically from it in Haskell.
-
Why roc does not have a Maybe type
Article related.
-
tangle: Heterogenous memoisation monad
so like loeb?
What are some alternatives?
polysemy - :gemini: higher-order, no-boilerplate monads
roc - A fast, friendly, functional language. Work in progress!
liquidhaskell - Liquid Types For Haskell
write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
haskell-names - Haskell suite library for name resolution
rfc - My slides and compilation of resources.
Nomyx - The Nomyx game
tangle - make analogue for higher kinded data
homplexity - Haskell code complexity and quality measurement
frea - A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
language-java - Java parser and printer for haskell
ShellCheck - ShellCheck, a static analysis tool for shell scripts