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
-
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.
-
-
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 …
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.