3 ms·
sure part of the decision is that you can't really soundly type (in a developer sanity preserving way) across a cluster that runs multiple versions of software
by throwawaymaths 1y ago
sure part of the decision is that you can't really soundly type (in a developer sanity preserving way) across a cluster that runs multiple versions of software (which is a real use case that the authors absolutely needed to support as part of the core business). but they let dialyzer in to the core so it's not like the team was actively hostile to typing.
- tossandthrow 1y agoThese are some weird sentences thrown into this thread. What you are describing is a runtime concern that has nothing to do with types. These issues are neither amplified nor alleviated by using types.