私と型システムとポエム

最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくまでポエムですので中身はないです 私は型理論専攻で学位はとったものの研究者ではないのであまり信用しすぎないように 型システムの過去 型システムは大まかに次のような利点があるとされてきた(個人的主観) 「異常」なプログラムを検出する仕組み 静的解析による分かりやすいエラーメッセージ 型そのもののドキュメント性 IDEでのcompletionに貢献 最適化に貢献 (数学に正しく裏打ちされたsemanti

[fuji_haruka]

中身のない文章をポエムと呼ぶのはポエムに対する風評被害（各所で言い続けている）

[theatrical]

動的型は変数に型がないだけで、値には型があると言う認識なのだが、型無あつかいになるのがただしいのだろうか

[programmablekinoko]

ポエムではなく所感と呼ぶべき

[megumin1]

自分の未熟さをカバーするために、型システムがあるんですよ > id: yug1224 。未熟だからミスが起きた、根性でテスト書けばなんとかなる、という一部の動的型付け言語ユーザーの精神論はまさにブラック企業の体質と同じ。

[htsign]

LL言語界隈では型を定義する「こともできる」というのが受け入れられているような気がする。TypeScriptとかPythonとか。

[ilyaletre]

おまけのとこのJavaへの言及部分がなんかワクワクした。

[uehaj]

「実行時エラーをコンパイルエラーにするために途方もないコストを支払う羽目に」

[hylom]

記事の話とは関係無いけど、とりあえず型システムの利点欠点について、いわゆる「不適切な代入や引数を与えるとコンパイル時にエラーメッセージを出してくれる」ことだけで議論するのは不完全だよねー

[rgfx]

「Javaが静的型付き言語の代表みたいな言い方はやめろ。」しゃーないやんけ（暴論）

[UhoNiceGuy]

動的言語にIDEで型導入はいいアイデア思う。新しい言語を作るのは難しいと思う。Python3が主流になっていない世の中//ジェネリクスとか型の抽象的な概念は人類にはまだ難しいと思う。C言語のuint16ような具体的なものしか

[jsstudy]

Bucklescriptもそうですが、Facebookの Reason とか、最近はフロントエンドでOCamlが熱いようです。

[Nnwww]

これがよくわからなかった人はまずOCamlを使ってみてほしい

[Haaaa_N]

Haskellとか書いてると強ければ良いわけではないことをよく痛感する

[mas-higa]

なるほど、でその型ってのは何なんだい? / あと「将来的に型推論が発展したら型を書かなくてよくなる」matz を dis るのはやめろ。

[YaSuYuKi]

型をできるだけ書きたくないが、しかし、OCamlは難しすぎてまったく使うことができなかった。現実的な型推論と扱いやすさの両立はどこまでできるのだろうか/OCamlが難しすぎる人には依存型は完全な暗黒だろう

[azihsoyn]

面白かった

[koogawa]

"よく知りもしないくせに計算機科学を侮辱するのはやめろ"

[soy-curd]

OCamlよさそう

[daruyanagi]

よくわかんないけど面白かった

[atpons]

計算機科学は難しい

[Fohte]

アツい

[h-hirai]

静的に解析できるもんは静的に解析したほうがいいしあとはそのためにどこまで労力を割けるかという程度問題なのかなー、という最近の感想。

[morita_non]

後で読む

[tossy_yukky]

深い

[yug1224]

動的型付けでバグ産んだ時に「静的型付けだったらこんなこと起きなかった」みたいなこと言う奴にイラっとする。動きをきちんと理解しなかった自分の未熟さを棚に上げている奴ね。

[youhey]

rubykaigiでmatzの話していた言語仕様に型アノテーションを否定していたのとか、推論とかコメントやTypeDBみたいな標準化とか型を書く必要がなくなる将来みたいなのが印象深かった

[jmatsu]

わかりみが深い “「Javaでは〜」 Javaが静的型付き言語の代表みたいな言い方はやめろ。”

[gnety]

TypeScriptとか結構無理しててつらい。型定義がうまくいってないライブラリとかよくあって、回避するグリッチを探す羽目になったりする

[shibamu]

自分自身の適当な所感に対して適当にポエムとか言うのは偉大な詩人や文学者たちへの冒涜にほかならない？

[kakkun61]

型付けが動的なのを動的型と書くのはうんぬんかんぬん。それ以外はせやなーって感じだった。

[koba789]

言いたいことだいたい書いてあって便利

[vndn]

『Javaが今だんだん変わろうとしているというのはそういう層に正しい型システムと型付き言語によるプログラミングを浸透させるきっかけにもなるだろう』「正しい」とは

[otherworld]

良い。

[zyzy]

ただ、全ての基準がJavaってタイプの人に限って、Javaの新しめの機能を取り入れたがらないような……

[devorgachem]

いい…

[swdrsker]

C++はクソザコ型？？？