|
|
|
|
|
by kamov
672 days 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. |
|