型推論に関わる論理の概念と用語 その5：型付けの簡単な例から型判断へ - 檜山正幸のキマイラ飼育記
雑記／備忘 | 17:01 | このシリーズの「その2」で不平不満を言い、「その3」で実例を挙げたことですが、型推論に関わる用語法は混乱を招くものです。論理をある程度知っているが型推論の用語を知らない人と、型推論に詳しいが普通の論理に馴染みがない人が話をしたら、ほとんど話が通じないでしょう。外国語にようにまったく通じないならまだいいのですが、お互いに自分の知識で解釈しようとしたら、とんでもないカオスになるでしょう。プログラミング言語の常識からの類推も通用しません。「型宣言」なら知っていても、型注釈や型コン... > このページを見る
はてなブックマーク
