Algebra 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 · edit-2 10 months ago

Algebra 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.

xigoi · 10 months ago

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.