- 【Python】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ46【pl,rb,php,js】
445 ：デフォルトの名無しさん[sage]：2014/09/13(土) 14:45:44.70 ID:JCN84Z6S - >>375
＞型システムの教科書(TAPL本)だと、型システムは以下のように定義されている：
＞ 型システムとは、プログラムの各部分を、それが計算する値の種類に沿って
＞ 分類することにより、プログラムがある種の振る舞いを起こさないことを保証する、
＞ 計算量的に扱いやすい構文的手法である
＞何の事か分かりづらいけど、要するに
「型システムの教科書」に書かれている「型システムの定義」を引用して
「何の事か分かりづらいけど」と切り捨てる強烈なdisに吹いたｗｗ
|
|