3 ms·
I'd encourage you to try writing some Haskell. It's a good example of type inference that works.
by DanWaterworth 12y ago
I'd encourage you to try writing some Haskell. It's a good example of type inference that works.
- ahoge 12y agoYou didn't answer my questions. I have no doubt that untooled unitypedness can be improved upon.