なりましたので、思いついたことがあってもここに書けません。 そのうちそのうち。

昨晩寝ようと思ったときに、ふとどこぞのブログで無限がどうこう、という話があったな、と思い出した。 少し考えてしまったおかげで寝るのが遅くなったのだが・・・ というわけで、少し考えてみる。 有限の大きさ 1個のお菓子が入った袋と2個のお菓子が入っ…

結論：あまりデータが見えないから。 理由を述べると長いので、端的に。 関数内にいるときに、引数が多相だとその引数は出力できない。 インターフェースファイル内にモジュールの型はほとんど書けない。あくまで型チェックを通せる程度であり、デバッガが実…