[threatofrain]

JS has this too in TS, so I’m pretty sure the perception among users of typed languages is that this is a basic part of what type systems do. What does this have to do with FP?

[nicoburns]

TS actually has quite an advanced type system compared to languages like Java.