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-squaremessage-square8fedilinkarrow-up1107arrow-down113
arrow-up194arrow-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-square8fedilink
minus-squarexigoi@lemmy.sdf.orglinkfedilinkarrow-up20·edit-21 year agoYou never specified what type a function is, such as 𝑓 : ℝ → ℝ?
minus-squaresnek_boi@lemmy.mlOPlinkfedilinkarrow-up7·1 year agoFair enough, I changed “never” to “rarely” :) I’m actually curious, did you have to specify the ‘type’ often?
minus-squarexigoi@lemmy.sdf.orglinkfedilinkarrow-up5·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.
You never specified what type a function is, such as 𝑓 : ℝ → ℝ?
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.