(no title)
kamov
|
1 year ago
Sum types allow for more robust modeling of the API boundary in libraries, so in fact having a better type system is desirable even when "just gluing libraries", because it can make incorrect program states physically unrepresentable.
mplewis|1 year ago
GaryNumanVevo|1 year ago
I'm really tired of this PR speak when it comes to programming languages. Why / how is it unreasonably effective? More effective than what?