型システムがなぜ便利なのかとか、型安全だと何がどう安全で何のために安全なのかって、つまり数学上には型システムは無くても世の中には型システムのようなものがあるので、世の中の物事を扱うプログラミング言語には型がある方がそういう意味でハッピーなんじゃないのかなと最近考え始めた＞＜

（数学苦手だからわかんないけど）おそらくプログラミング言語が純粋に数学のためだけの物だったら型システムは要らないんじゃないのかな？＞＜ でもそうじゃない場合のほうが多いかも＞＜

例えば曜日って（現実世界で）型かも＞＜ （現実世界で）型システムを排除して曜日を表現しようとするとたぶん奇妙な事になるかも＞＜

（型安全な型システムの）型って互換性が無い型に変換したり演算したりする時に、型変換する事で互換性を持たせるシステムかも？＞＜ 真に型が無い言語の場合、あらゆる変数（等）が単なるバイナリデータになって互換性の情報は自前で持つ必要が出るかも？＞＜

世の中に型システムが無かったら、月曜日＋青＝ なに？＞＜ とかに答えられないといけないかも？＞＜

なぞなぞじゃなく・・・＞＜；

@nanase_coder それが型システムかも？＞＜

この前の800円の5割がどうのもオレンジが納得して無いのは、型システムありで考えると奇妙な事になる点かも＞＜

RT @Ci7777: B-22606が本日9時（現地時間）にRCSS-UHPPに売却フライトを実施 レジ番は、N731QQになってます。

RT @Ci7777: 売却フライト