2 ms·
> Specifically, I question if it is really how most people think in terms of programming. No, of course not. Algebra is only useful when you want to manipulate
by marcosdumay 2y ago
> Specifically, I question if it is really how most people think in terms of programming.
No, of course not. Algebra is only useful when you want to manipulate that exact thing, and most programmers never do any complex manipulation of types.
Compiler programmers writing powerful type systems do think that way.
> There are algebraic ideas in chemistry, but I would struggle to say how they look the same as this.
Oh no, they don't. The algebra of Quantum Mechanics is way weirder than that. (At least when you move after simple rotations and step-potential wheels.)
- taeric 2y agoJust to make sure I'm not misreading, this is largely an agreement? I think I'm fully in agreement that a compiler class should cover this. I will also hasten to say that I find it a fun topic, such that I don't think it should not be offered elsewhere. I just don't know that I can see a lot of application to general programming.
- marcosdumay 2y ago> I think I'm fully in agreement that a compiler class should cover this. Then yes, I agree with you.