Grow Your Own Type System

Re:Grow Your Own Type System by edgarbob on Friday November 27, 2015 @09:22PM (#10639744)

This is really cool. It's surprisingly hard to find good examples of how to implement type inference.

[ Parent | on HN ]

Re:Grow Your Own Type System by shadowfox on Saturday November 28, 2015 @12:42AM (#10640167)

If I remember right, TAPL (Types and Programming Languages by Benjamin Pierce) contains implementations for nearly everything that it talks about. So you can find another implementation of Hindley-Milner there.

I don't think it includes row typing though.

[ Parent | on HN ]

Re:Grow Your Own Type System by danblick on Saturday November 28, 2015 @01:29AM (#10640259)

Yes, there are implementations for many of the type systems in the book. :)

https://www.cis.upenn.edu/~bcpierce/tapl/checkers/

The code is pretty elegant. I think it's intended to be clear enough for students in his classes to modify.

[ Parent | on HN ]

Re:Grow Your Own Type System by jarcane on Saturday November 28, 2015 @05:12AM (#10640670)

I think PLAI gets into it, but I've not read it. http://cs.brown.edu/courses/cs173/2012/book/

[ Parent | on HN ]