Brussels / 4 & 5 February 2023


Contracts for free!

Nix lacks of a static type system could be really annoying when we want to debug our expression, and understand what's part of code or data is wrong. Dynamic types libraries[1][2] comes to the rescue, giving a simple API to assert that data is valid.


Photo of Yvan Sraka Yvan Sraka