- cross-posted to:
- [email protected]
- cross-posted to:
- [email protected]
There is a discussion on Hacker News, but feel free to comment here as well.
You must log in or register to comment.
Contract semantics as types? Sure, let’s see how far it goes, how much it helps, and when it becomes a problem. If it saves us some contract tests, I’m all for it.