@snek_boi@lemmy.ml to Showerthoughts@lemmy.world • edit-21 year 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-up1130arrow-down113
arrow-up1117arrow-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.@snek_boi@lemmy.ml to Showerthoughts@lemmy.world • edit-21 year agomessage-square13fedilink
minus-squarexigoilink6•1 year 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.
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.