5 ms·
This is really cool. Does anyone have pointers to relevant papers that inspired/influenced their type system?
by void_star 12y ago
This is really cool. Does anyone have pointers to relevant papers that inspired/influenced their type system?
- slashnull 12y agoIt's pretty much a bastardized form of HM typing, like Haskell, OCaml and ML has. http://learnyouahaskell.com/ http://learnyouahaskell.com/
- avik 12y agoThe implementation is heavily influenced by Pottier's work on subtyping + inference. https://hal.inria.fr/file/index/docid/73205/filename/RR-3483.pdf 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 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.