[7] [DFN[[RUBY[型][かた][type]]]]は、 [[値]]や[[式]]や[[変数]]に付けられたやつです。 [1] [DFN[[RUBYB[データ[RUBY[型][がた]]]@en[data type]]]]は、[[データ]]の[[型]]です。 * 型システム [FIG(list middle)[ [2] [[型システム]] - [[XML Schemaのデータ型]] - [[SGMLのデータ型]] - [[GPD]] - [[型 (Web IDL)]] - [[ISO/IEC 11404]] - [[ISO 19103]] - [[SensorML]] - [[JavaScript値]] - [[Infra値]] - [[XPath 1.0データ型]] ]FIG] [6] 関連: [[データモデル]] * いろいろな型 [FIG(short list)[ [3] [[データ型]]クラス - [[sentinel value]] - [[未定義]] - [[null]] - [[void]] - [[ビット型]] - [[真偽値型]] - [[数値型]] -- [[整数型]] -- [[実数型]] -- [[浮動小数点型]] -- [[十進数型]] - [[バイト型]] - [[バイト列型]] - [[文字型]] - [[文字列型]] - [[日時型]] - [[スカラー]] - [[union]] - [[列挙型]] - [[組]] - [[項組]] - [[配列]] - [[リスト]] - [[集合]] - [[集成]] - [[辞書]] - [[写像]] - [[構造体]] - [[界面]] - [[ハンドル]] - [[クラス]] - [[オブジェクト]] - [[primitive型]] - [[複合型]] ]FIG] * 型論争 [14] {[[動的型付け言語]] | 弱い型 | 型なし | データの型を重視} と {[[静的型付け言語]] | 強い型 | 「入れ物」の型を重視 | [[型推論]]マンセー} の派閥は数十年にわたって形を変えながら、論点を変えながら、 参加者を変えながら、 [[舞台][プラットフォーム]]を変えながら、よくわからない[[宗教論争]]を続けています。 [4] [[型]]付き言語 vs [[型]]なし (or 弱い型?) とかいう糞みたいな論争まだやってるのかwwwww 好きな方を使えよwwwwwwww [TIME[2023-09-08T14:28:06.700Z]] [5] [[型システム]]利用で向上した分の生産性を[[型]]論争で浪費してるだろwww - [8] [CITE@ja[Xユーザーのかおるこたゃさん: 「なんかたくさん反応きてて怖いんですけど、私はRustの研究をしているので当然最近の言語はこの辺の問題が解決されていることを知っており、しかし初心者が最初に触れるであろう静的型付き言語は往々としてこういうつらさを抱えてるという話です。あと動的型付き言語へのヘイトスピーチやめてください」 / X]], [TIME[午後3:38 · 2024年7月11日][2024-07-11T06:38:29.000Z]], [TIME[2024-07-11T12:54:12.000Z]] -- [9] [CITE@ja[Xユーザーのかおるこたゃさん: 「胡乱なポストが拡散されて、強い言葉のリプ・引用が多く寄せられているのでとても気分が悪いです。」 / X]], [TIME[午後3:59 · 2024年7月11日][2024-07-11T06:59:17.000Z]], [TIME[2024-07-11T12:54:12.000Z]] -- [10] [CITE@ja[Xユーザーのかおるこたゃさん: 「一部の静的型付き言語の人、動的型付き言語をバカにするのは(本来おかしいが)許せるとして、動的型付き言語を使ってる人をバカにするのはライン越えだからな。人として最低限ができてないやつと議論する気はないよ。」 / X]], [TIME[午後3:48 · 2024年7月11日][2024-07-11T06:48:37.000Z]], [TIME[2024-07-11T12:54:12.000Z]] -- [11] [CITE@ja[Xユーザーのかおるこたゃさん: 「エディタ戦争とかよくネタにされてるけど、静的型付け/動的型付けもまぁよく燃えますなぁ。」 / X]], [TIME[午後9:03 · 2024年7月11日][2024-07-11T12:03:07.000Z]], [TIME[2024-07-11T12:54:12.000Z]] [12] この界隈昔から強い言葉で人格批判レベルまで含めてやり合ってる印象あるから怖いよなあ。 [13] 考えてみれば[[ボヘミアンと貴族の階級闘争]]もこれの亜種だな。 [15] [CITE@en[Bringing Peace to the Galaxy - Externals]], [TIME[2024-07-24T05:40:17.000Z]] - [16] (削除済みツイート) -- [17] [CITE@ja[XユーザーのYukihiro Matzさん: 「@h_sakurai わざわざ私を殺さなくても、JavaScriptから(MSが)TypeScriptを作ったように、誰かがTypeRubyを作ればいいんですよ。TypeScriptが成功したようにTypeRubyが本家Rubyより流行れば、私が足を引っ張ってるかどうかは関係ないわけで。」 / X]], [TIME[午後4:34 · 2024年10月1日][2024-10-01T07:34:56.000Z]], [TIME[2024-10-02T04:00:24.000Z]] -- [18] [CITE@ja[XユーザーのYukihiro Matzさん: 「なんで自分好みの言語を得るために、私の言語を変えようとするのだろうか。他人の物を取り上げなくても、好みに合う既存言語を使うか、いっそ自分で作ればいいじゃんかよ。」 / X]], [TIME[午後4:42 · 2024年10月1日][2024-10-01T07:42:45.000Z]], [TIME[2024-10-02T04:00:24.000Z]] [19] 「型を明示すれば速くなります」って [[Visual Basic]] が30年前に実現していた世界で草、 未だにそんなメリット語って[[型]]の普及を目指す人がいるのかwwwww * メモ