The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
Stars
15
Forks
0
Watchers
15
Open Issues
4
Overall repository health assessment
No package.json found
This might not be a Node.js project
65
commits
progress: multi-level type env for convenient generalising
2e8f70dView on GitHubequivalent tv kept in a set with forward refs, which helps generalising
f35ca1eView on GitHublambda cannot be automatically polymorphic. unification framework should make some modification, to record the creation of type variables, and distinguish the type variables occurred in given scope
38ac191View on GitHubbetter abstractions for supporting advanced polymorphisms
21db26dView on GitHubrefactor: share states when compiling & generalising unification
0dedf51View on GitHub