I came across the #hindleymilner type system while learning swift. Got curious. The #wikipedia page is a good start.

#types #programming #lambda #calculus

https://en.wikipedia.org/wiki/Hindley–Milner_type_system

More on the #HindleyMilner #TypeInference slow-down in the #Swift #compiler due to #overloading:

“Why Swift’s Type Checker Is So Slow”, Daniel Hooper (https://danielchasehooper.com/posts/why-swift-is-slow/).

On HN: https://news.ycombinator.com/item?id=40661001

On Lobsters: https://lobste.rs/s/p30juy/why_swift_s_type_checker_is_slow

#PLDI #Programming

👋 📣 Papers We Love #NYC is hosting a meetup on Sept 26th.

Nathan Taylor will present Liquid Types

See you there!

- Paper: https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf
- RSVP: https://www.meetup.com/papers-we-love/events/302943607

#compsci #types #ocaml #research #hindleymilner

I read #Milner's 1978 paper "A Theory of Type #Polymorphism in Programming" in 1988. This paper broke my then-LISPy mind into pieces and glued it back together into a different shape. My mind has never worked quite right since but, ya know, whatever....🤷‍♂️

#HindleyMilner #TypeSystem

https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/milner-type-polymorphism.pdf

After spending time sloshing through Algorithm W explanations, I decided to look for a video and accidentally found an alternate method called Wand's algorithm that uses constraint solving. I found it WAY more approachable than W.

https://www.youtube.com/watch?v=H7x4THVU4BQ

Does anyone know if there are dis- or ad-vantages compared to W. Is it slower?

#Compiler #Language #TypeInference #HindleyMilner