hypertypes
hindley-milner
hypertypes | hindley-milner | |
---|---|---|
6 | - | |
107 | 37 | |
2.8% | - | |
5.4 | 3.6 | |
10 months ago | over 2 years ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | 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.
hypertypes
-
My quest for the perfect AST representation
For the development of Lamdu I've embarked on a similar quest and ended up creating hypertypes after getting a helpful pointer in SO.
-
Extensible ASTs with extensible types
Otherwise I would go for modularity rather than extensibility and use hypertypes or an equivalent mechanism to represent the types.
-
What are strategies for tracking type checking errors after desugaring?
Indeed, then it is definitely possible. i.e https://github.com/lamdu/hypertypes
-
[ANN] rrb-vector - an alternative to Data.Sequence
Nice. Using this my type inference implementation benchmarked up to 2.5% faster and the switch wasn't difficult to do.
-
Hyperfunctions
I think https://github.com/lamdu/hypertypes might be related. This is a generic programming API that seems to be based on hyperfunctions, but moved up to the type level?
-
Handling an AST that is built from multiple types
I wrote an overview for several approaches folks came up with for this problem aka "the expression problem" including my own approach, "hypertypes" - see https://github.com/lamdu/hypertypes/blob/master/README.md
hindley-milner
We haven't tracked posts mentioning hindley-milner yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
rrb-vector - An implementation of a Relaxed Radix Balanced Vector in Haskell.
polysemy - :gemini: higher-order, no-boilerplate monads
ric-script - A modern scripting language; implemented in old school C, yacc & flex
liquidhaskell - Liquid Types For Haskell
haskell-names - Haskell suite library for name resolution
articles - Miscellaneous articles. The readme is the table of contents.
Nomyx - The Nomyx game
homplexity - Haskell code complexity and quality measurement
language-java - Java parser and printer for haskell
purescript - A strongly-typed language that compiles to JavaScript
why3 - Haskell support for the Why3 input format
haskell-src-exts - Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer