Hi @edwinbrady, sample [alpha] Scala/Eff extending @milessabin work: Files(read/write)+state+stdio & zillion typeshttps://github.com/mandubian/scalaeff/blob/master/src/test/scala/EffSpec.scala#L136-L195 …
-
-
@edwinbrady The same in Idris wouldn't be so simple in any case except it would infer types by itself ;) In ScalaC, there is C@milessabin -
@mandubian@milessabin possibly a big difference is that Idris was designed for this sort of thing rather than it being a happy accident! - 1 more reply
New conversation -
-
-
@edwinbrady "horrified"? :) Creature is alive anyway & you're the originator of it... There is huge place for improvements@milessabinThanks. 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.