Type Inference
Languages and libraries
type inference
SHOW HN2016
136points
28comments
#261of 2,264 in 2016
Top 12%of 2016 by points
How HN took it
QuietFewer than 5 comments about the project
3 positive, 0 neutral or asking, 0 mixed, 0 critical, out of 3 comments about the project.
Docs: 3 for, 0 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Clear, bite-sized runnable illustration of HM
From 1 comment
This is cool! It's nice to have a bite-sized runnable illustration of HM. Maybe I will finally be able to understand it — both the code and the linked lecture notes…
kragen on HN
Helpful learning resources shared in thread
From 3 comments
For me, this article was the one where it "clicked": http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval. Summary: type inference is just "evaluating" the program/expression, but…
Patient0 on HN> I would like to see -- hint, I'm probably going to have to get my hands dirty! -- an implementation in either a dynamically typed language like…
eric_bullington on HNFWIW, I had previously bookmarked these related pages: http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/…
chubot on HN
Objections
Does not include let-polymorphism
From 1 comment
This is cool! It's nice to have a bite-sized runnable illustration of HM. Maybe I will finally be able to understand it — both the code and the linked lecture notes…
kragen on HN
Requests
Step-by-step tutorial on unification and Algorithm W
From 3 comments
Thanks for the feedback! This is actually a smaller part of a much bigger full-blown type-inferred programming language[0], we've been working on as a part of course in school.…
krat0sprakhar on HNI don't know if I understand unification well or not; I feel like the control flow in Algorithm W is still a bit of a mystery to me, but I suspect that this is more a function of…
kragen on HN> Would you be interested in something along those lines? Yes! That would be very cool to read. I've been working on an implementation of Mini-ML in Python using Robert Small's…
eric_bullington on HN
Questions
Why type inference and unification are closely related
From 1 comment
I second that. But I would also love to know why type inference and unification are so closely related. I mean, I learnt about Prolog (and thus unification) years ago. Like a…
igravious on HN
Alternatives named
Stephen Diehl's Hindley-Milner tutorial
From 1 comment
Thanks for the feedback! This is actually a smaller part of a much bigger full-blown type-inferred programming language[0], we've been working on as a part of course in school.…
krat0sprakhar on HN
Robert Small's Hindley-Milner in Python
From 1 comment
> I would like to see -- hint, I'm probably going to have to get my hands dirty! -- an implementation in either a dynamically typed language like…
eric_bullington on HN
Andrej Bauer's Programming Language Zoo
From 1 comment
> I would like to see -- hint, I'm probably going to have to get my hands dirty! -- an implementation in either a dynamically typed language like…
eric_bullington on HN
Oleg's generalization article
From 1 comment
Oleg has a nice article on how to implement OCaml-style type inference. It's a more sophisticated approach than just Algorithm W: http://okmij.org/ftp/ML/generalization.html
catnaroek on HN