stilkov’s Twitter Archive—№ 28,630

larsr_h Have you ever considered that your interest in topics like this and, say, the Scala type system might have the same roots?