3 ms·
This type system, is it powered by AI?
by state_less 7y ago
This type system, is it powered by AI?
- mrkeen 7y agoThere's nothing fuzzy going on. If I said f(x) = 2, you could quickly work backwards from that and state: 2 is an Int. x isn't used so it could be any type, let's say a. That means f has type (a -> Int).