>>294
僕はプログラミングしてるときに「型は集合である」ことを意識する
必要があるとは思ってなくて型とはなんぞやということを
考えたときに集合かなーて思っただけだよ

君はプログラミングしてるときにどう意識してるかが大事だと
思っているわけでしょ、それはわかった
それでは君は型をどう意識してるん？