3 ms·
The main effect was that I thought "why is this ML-style language not using type inference!". :) But now that you have explained why you've annotated the examp
by kristianp 12y ago
The main effect was that I thought "why is this ML-style language not using type inference!". :) But now that you have explained why you've annotated the examples, I can see that it would be educational to see the types when the reader wouldn't have seen the library before.