@edwinbrady What's the deal? I always fancied inferring the type of some local f when applied Miller-style in the main function.
Yay, limited type inference in where blocks now working. That'll save me lots of typing.
-
-
-
@pigworker It works it out from the first application - checks arguments and goal type and makes a metavariable, which might get refined. - 2 more replies
New conversation -
-
-
@edwinbrady you know, if you start giving people type inference, they'll want more of it :) -
@ozgurakgun Yeah, maybe I shouldn't tell people :). I'm just fed up of stuff like "foo : Int; foo = 42" really...
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.