Interesting ideas for dependent types to make async programming in Scala easier with Impromptu @propensive Is the source available? #curryon
-
-
Replying to @TimoMeijer
Nearly... I'll publish the 31 lines on github later today!
1 reply 0 retweets 0 likes -
Replying to @propensive
One question, what happens if you create two Async values with the same type, but only capture one in the post method, would that compile?
1 reply 0 retweets 0 likes
Replying to @TimoMeijer
They would have (and would have inferred) different singleton types, though...
5:42 AM - 19 Jun 2017
0 replies
0 retweets
1 like
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.