2 ms·
> This SOUNDS like “types are bad” No, this sounds like: * Type Inference Was a Mistake * Type Inference Makes Code Less Readable * Type Inference is a Foot
by mrkeen 3y ago
> This SOUNDS like “types are bad”
No, this sounds like:
* Type Inference Was a Mistake
* Type Inference Makes Code Less Readable
* Type Inference is a Footgun
* Type Inference Wastes Academic Effort
These are incompatible with:
> Keep inference