Hacker News new | ask | show | jobs
by void_star 4228 days ago
This is really cool. Does anyone have pointers to relevant papers that inspired/influenced their type system?
2 comments

The implementation is heavily influenced by Pottier's work on subtyping + inference. https://hal.inria.fr/file/index/docid/73205/filename/RR-3483...

Also, some techniques from Typed Racket (occurrence typing): http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf

Many other papers have influenced the design in some way or the other. For example, Abadi/Cardelli's theory of objects.

It's pretty much a bastardized form of HM typing, like Haskell, OCaml and ML has.

http://learnyouahaskell.com/