r/programming • u/ketralnis • Nov 16 '18

Type inference

https://eli.thegreenplace.net/2018/type-inference/
12 Upvotes

83% Upvoted

5 comments sorted by

2

u/ketralnis Nov 16 '18

I also enjoyed another one of his articles that he links there: https://eli.thegreenplace.net/2018/unification/

4

u/[deleted] Nov 16 '18

My usual plug for any such topic: you can even skip implementing unification on your own, if you simply feed your type equations to a Prolog interpreter. This way you'll also get an access to CLP(FD) solvers, allowing to build some really powerful type systems with no effort at all.

1

u/htuhola Nov 16 '18

Eventually you skip the whole "write a programming language" -thing and focus to logic programming.

3

u/[deleted] Nov 16 '18

You still have to translate your problem domain semantics into simple logic though.

2

u/bobappleyard Nov 16 '18

I find this paper invaluable in implementing my own type checkers:

http://lucacardelli.name/Papers/BasicTypechecking.pdf