Yay, limited type inference in where blocks now working. That'll save me lots of typing.
-
-
Replying to @edwinbrady
@edwinbrady What's the deal? I always fancied inferring the type of some local f when applied Miller-style in the main function.1 reply 0 retweets 0 likes -
Replying to @pigworker
@pigworker It works it out from the first application - checks arguments and goal type and makes a metavariable, which might get refined.1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady So if applied to suitably generic args, type gets inferred by Miller-unification. That's the win I wanted.1 reply 1 retweet 0 likes
Replying to @pigworker
@pigworker That should be what happens. My experiments have been small so far though...
2:02 PM - 28 Nov 2012
0 replies
0 retweets
0 likes
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.