|
![](/i/fill.gif) |
Orchid XP v8 wrote:
> Awesome. On further investigation, it turns out my understanding of
> Haskell's type system is actually incorrect. And, unsurprisingly, my
> program is incorrect too; it rejects expressions that it should actually
> accept.
Well, I have now implemented let-bound variables correctly. (I hope!)
Still a few bugs to iron out. It *is* impressive though just how much
the simpleton program I've writen can figure out automatically, just by
looking at the shape of an expression. I mean, I can write expressions
involving library functions where I haven't told my program what their
type signatures are, and yet it still manages to figure it out for
itself, mostly...
Post a reply to this message
|
![](/i/fill.gif) |