型システム

型 (プログラミング言語、マーク付け言語)

[7] (かた) (type) は、 変数に付けられたやつです。

[1] データ (がた) (data type) は、データです。

型システム

[2] 型システム

[6] 関連: データモデル

いろいろな型

[3] データ型クラス

型論争

[14] {動的型付け言語 | 弱い型 | 型なし | データの型を重視} と {静的型付け言語 | 強い型 | 「入れ物」の型を重視 | 型推論マンセー} の派閥は数十年にわたって形を変えながら、論点を変えながら、 参加者を変えながら、 舞台を変えながら、よくわからない宗教論争を続けています。

[4] 付き言語 vs なし (or 弱い型?) とかいう糞みたいな論争まだやってるのかwwwww 好きな方を使えよwwwwwwww

[5] 型システム利用で向上した分の生産性を論争で浪費してるだろwww

[12] この界隈昔から強い言葉で人格批判レベルまで含めてやり合ってる印象あるから怖いよなあ。

[13] 考えてみればボヘミアンと貴族の階級闘争もこれの亜種だな。

[15] Bringing Peace to the Galaxy - Externals, https://externals.io/message/106453

メモ