Re:Hindley-Milner Type Inference (2012)
by AnimalMuppet on Friday July 10, 2020 @04:06PM
(#23795803)
Could you be more specific? What makes it painful?
(I mean, "overly complicated" is bad news no matter what the specifics of what we're talking about, but how does it cause pain when it's specifically in the types?)
Re:Hindley-Milner Type Inference (2012)
by Klathmon on Friday July 10, 2020 @04:25PM
(#23796029)
For me personally it's just a lot of really heavy and very "meta" code that is really hard for me to reason about. I also touch it very rarely, so there's always a steep learning curve when I'm jumping back into it.
(I mean, "overly complicated" is bad news no matter what the specifics of what we're talking about, but how does it cause pain when it's specifically in the types?)