@pjc
"...to the interfaces and to the types"
https://www.youtube.com/shorts/u7q9Ngu6DfA
_____________
/sys (design surface)
t.ts / t.*.ts
Isolated type plane â algebras of contracts.
Keep the specification language on its own architectural surface, so contracts can be composed and reasoned about independently of changing implementations.
1 reply
0 recast
0 reaction