News for hackers. Stuff that matters.
Re:Abusing the algebra of algebraic data types – why does th... by chongli on Monday October 10, 2022 @11:11AM (#33152359)
Just as an example, look at the maclauren series as defined in the link. It uses f-dot, f-double-dot, then f^(n), having to note that (n) is the nth derivative rather than exponentiation. You have syntax switching and an ambiguity in the same expression.

That’s nothing. Study real analysis long enough to investigate sequence spaces and you’re looking at sequences of sequences. The notation for those will often use subscripts and superscripts as indices at the same time! But generally you’re not dealing with derivatives or exponents at the time so it’s not too bad.

There are no comments on this comment yet.