|
|
|
|
|
|
by mrkeen
808 days 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 |
|
|