@ragb Sorry it took me so long to get these online! They're mostly the same as the video you watched, though check @scalaexchange's feed for the video of today's talk. Should be online later today. :)
Show this thread
Slides from my @scalaexchange talk on using dependent types for Async are now online, here!
http://jon.pretty.studio/talks/15-12-17-london/ …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Absolutely top class talk Jon. I feel inspired to attempt to conquer the type checker again.
-
You're welcome! Glad you liked it. :) Let me know if you need anything explained further!
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
really interesting talk, and I followed your motivating example in the other direction. Although Seq uses the LUB as you say, HList doesn't. This loses the need to downcast or unsafe get the future. You can alternatively use applicative from cats.https://github.com/johnduffell/sequence-hlist/blob/master/src/main/scala/SequenceHlist.scala …
-
Thanks! Yes, the HList encoding is also possible, and should work about as well, though I haven't thought about what its syntax works look like. Not sure it would be as intuitive, but OTOH it might actually make more sense for users with an FP background.
- Show replies
New conversation -
-
-
I thought you were the bright side?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Where light is, there is shadow.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Hmmm... :(
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I use "Video Speed Controller" (exists for Chrome and FF), it can control speeds in any embedded htm5 video (youtube, vimeo, etc). https://github.com/igrigorik/videospeed …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.