Nifty example of a Haskell lens library using custom type errors to explain what's wrong:
https://github.com/mrkgnao/silica/blob/master/README.md
Related Posts
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented!
Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv
Playing with optional type signatures in Python, I realise that the return type is the most important to me.
I'd much rather have a function with only a return type instead of a function with only parameter types. It's often quick to add too.
Is there any relationship between language adoption and the size of its standard library?
These days it seems completely orthogonal, but early Java adopters spoke highly of the collections library compared with C++.
Maybe it's the widespread availability of package managers?