Roger Peppe, 2018-09-05
In my previous post, I talked about an issue with a real world use case for contracts - the fact that all type parameters must be mentioned every time a contract is used in a definition. In this post, I introduce an idea for a possible way to fix this.
The most important feature of contracts, in my view,