Yeah! I want to see an EDSL impl of a nicely typed Tutorial D sometime already! Personally, I don't know that I care about the distributed part of the stack. I

Yeah! I want to see an EDSL impl of a nicely typed Tutorial D sometime already! Personally, I don't know that I care about the distributed part of the stack. I want something like Erlang's actor model in Haskell even on one machine. I think if there was a nicely typed way to do that (and see pipes-concurrent and mvc for nice examples) there'd be some fantastic "large scale" application operating space that would get opened up. Akka does this somewhat below par with Erlang. I'd wonder if a GHC implementation of straightforward single machine Erlang's semantics could do better with typed effects and true asynchronous exceptions. This would be nice even with just effect typing (e.g. untyped channels and lots of living in some IO-alike) and could be a good interpreter target for simpler strongly-typed organizational designs. I started fiddling with this (under the name hotep) a few months ago and got sidetracked but it keeps coming up!