Cool! I have been playing with a typed-schemeish-with-traits-and-cml compiling to c#. The cml has been the funniest part, and speed is decent, despite currently wrapped in c#s task machinery. I will rewrite it to use state machines, which will probably double throughout. Currently i do about 700000 messages/s (cml is rendevouz channels, so not really comparable to go or the actor model).
call/ec at the type level is the surprising part here, most compile-time Lisp implementations stop at basic eval but escape continuations need real control flow reasoning through trait resolution
3 comments