>*I feel kinda alone on HN, Lobste.rs and LtU in not having in-depth knowledge o...

coldtea on July 8, 2017 | parent | context | favorite | on: Where Do Type Systems Come From?

>I feel kinda alone on HN, Lobste.rs and LtU in not having in-depth knowledge or opinions on type systems.

Not even 1/10th of HN has that. Tons of business types, lowly JS programmers, designers, sys-admin types, old-school programmers in C/C++, etc around.