Watch the talk here: www.youtube.com/live/SM1oFG_...

If you always wanted to learn about the semantics of languages like Choral and HasChor, look no further! dplyukhin.github.io/files/relax-...

Highlights:

(1) Past models need dozens of rules to explain the semantics. Ours has ten.

(2) We give laws to help you design the right semantics. The laws work: we found three bugs in previous versions of Chorλ.

(3) Ours is similar to non-strict calculi, but with a "choreographic" flavor.

I think so too! A few interesting research problems to solve before it’s ready for production though, eg, rethinking some akka/pekko APIs to work well with actor GC

Ikr! I bet you could find ideas in forums, but I spoke to Jonas Bonér and he never mentioned any projects on that front. Maybe because fault recovery comes across as an intractably hard problem?

For the record I agree that state sponsored killing is wrong in any context, but not for the reason you cited. The joke tries to get at why I think the logic in the post is a bit twisted

If there are crimes for which death is too extreme a sentence, and crimes for which it is not extreme enough, by the intermediate value theorem aren’t there crimes for which it’s appropriate? /s

A decent employee (me) sabotaged by an awful manager (also me)

Haskell could almost compete with Racket for language-oriented programming, but the current interface for monads is impossible to use without first learning the Haskell metalanguage

More like curing toothache by replacing your jaw with a cool robot jaw that doubles as a pencil sharpener!

But seriously, does this mean you prefer deep embeddings over mixed embeddings for (say) a simple imperative language? I’m new to this whole conversation :p