snek_boiAug 30, 2023

Algebra in school is like a compiler with shitty type inference: you never have to specify parameter types and you can easily end up with impossible states.

https://lemmy.ml/post/4121546

Algebra in school is like a compiler with shitty type inference: you never have to specify parameter types and you can easily end up with impossible states. - Lemmy

Show threadxigoi
You never specified what type a function is, such as 𝑓: ℝ → ℝ?
Aug 30, 2023 at 5:09amWeb
Show threadsnek_boiAug 30, 2023
Fair enough, I changed “never” to “rarely” :) I’m actually curious, did you have to specify the ‘type’ often?
Show threadxigoiAug 30, 2023
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.