Abstract: Domain modeling is crucial for writing correct and well-designed programs. In this talk, we will dive into the more[…]

This is a dive into Robert Floyd's 1969 paper which intorduced the idea of flow charts and treated program execution[…]

In the past year, Roc has gotten a new syntax, a new foundational abstraction, and a new compiler. A lot[…]