@[email protected] to [email protected] • edit-210 months agoAlgebra in school is like a compiler with shitty type inference: you rarely have to write type annotations and you can easily end up with impossible states.message-square13fedilinkarrow-up1128arrow-down113
arrow-up1115arrow-down1message-squareAlgebra in school is like a compiler with shitty type inference: you rarely have to write type annotations and you can easily end up with impossible states.@[email protected] to [email protected] • edit-210 months agomessage-square13fedilink
minus-square@[email protected]OPlinkfedilink8•10 months agoFair enough, I changed “never” to “rarely” :) I’m actually curious, did you have to specify the ‘type’ often?
minus-squarexigoilinkfedilink6•10 months agoIf I remember correctly, good textbooks always specified the type. There were even exercises like “find the maximum possible domain of this function”. And in higher-level mathematics, it’s pretty much a sin to not specify the type.
Fair enough, I changed “never” to “rarely” :) I’m actually curious, did you have to specify the ‘type’ often?
If I remember correctly, good textbooks always specified the type. There were even exercises like “find the maximum possible domain of this function”. And in higher-level mathematics, it’s pretty much a sin to not specify the type.