Reflecting on Behavior

on YouTube ↗57m

" summary

Milner’s rho calculus becomes a practical VM for a blockchain implemented in Scala with about a dozen developers and plans to hire more; the work claims an algorithmic method that derives a type system from operational semantics, uses Caires' spatial-behavioral type system combined with Meredith's reflection trick to get behavioral and resource types, and aims to prevent real bugs like DAO and Parity race faults while supporting composable guarantees and separate validation/sharding.

AI-written summary · about

" chapters (9)

1. 0:00Start
2. 3:06RHO calculus
3. 10:03Lambda calculus
4. 13:34Asynchronous Pi calculus
5. 16:27Race condition
6. 18:47RHO (Reflective Higher-Order) calculus
7. 25:51A useful behavioral type
8. 36:06Curry-Howard Isomorphism
9. 37:42Distributive Law

" related talks

• 49mReactive microsystemsIgnasi Marimon · Software Crafters Barcelona 2018
• 25mThe Meerkat Vision: Language Support for Live, Scalable, Reactive Web AppsJonathan Aldrich, João Costa Seco · Onward! 2024
• 33mConvergent/DivergentChristopher S. Meiklejohn · EmberConf 2014
• 52mA New Programming Model for Full-Stack Distributed SystemsBen Hindman · LambdaConf 2025
• 36mCRDTs IllustratedArnout Engelen · Strange Loop 2015
• 57mResponsibility Driven Design RevisitedIan Cooper · NDC Oslo 2025
• 03mdiscusses reactive systems and honey bees withGrace Jansen, Bert Jan Schrijver · Devoxx Belgium 2019
• 50mReification and type-safety in a CQRS worldRenato Guerra Cavalcanti · Scala Days Copenhagen 2017