4 ms·
This is how the existing type checker works, from primitive types and combination rules. Some rules are more precise than others, though. I think in Scala the t
by junke 11y ago
This is how the existing type checker works, from primitive types and combination rules. Some rules are more precise than others, though. I think in Scala the type system does not depend on the implementation, but it is specified by the language.
- chrisseaton 11y agoBut 'false' isn't a type, it's just a value. The Scala type system doesn't encode boolean values as far as I know (not an expert).