と、少し前から思っているのですが、きれいに考えが整理できていないのです。でも、書いたら整理できることもあるかと思うので、ちょっと消化不良のまま書いてみようかと。 - 静的な型付けをもつプログラミング言語の変数の型には、２つの異なる概念を内在し…

[id:yupo5656:20041011:p1] 興味深い。