[still_grokking]

The "symbol: Type" notation is the "scientific" one for programming languages since "forever".

It's not that "modern" languages are doing something new. Everybody was doing it like that, besides the "C language family". They're the outlier, not the other way around.

[rtoway]

Thanks for educating me. I am affected by recency bias