Slides from my @scalaexchange talk on using dependent types for Async are now online, here!
http://jon.pretty.studio/talks/15-12-17-london/ …
Show this thread
-
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.
I wrote that before checking the link! That's not so bad, though. Would be nice to remove some type annotations, of course, but the functionality is there. :)
-
-
I had a struggle - with Future only it was ok but generalising to Applicative was hard due to https://issues.scala-lang.org/browse/SI-5559 I generally prefer using Appplicative combinator - |@| directly - see https://github.com/johnduffell/sequence-hlist/blob/master/src/main/scala/SequenceNDependencies.scala#L56 …
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.