静的型付け関数型プログラミング言語を使わない10の理由

関数型プログラミングの誇大宣伝にうんざりしていませんか？私もです！今回は、私たちのような分別のある人間が関数型プログラミングに手を出さない方が良い理由として、いくつか不満を述べてみたいと思います。 はっきりさせておきたいのですが、ここで言う「静的に型付けされた関数型プログラミング言語」とは、型推論、デフォルトでの不変性なども含んだ言語のことです。実際には、HaskellやMLファミリー（OCamlやF#を含む）がこれに当たります。 ほとんどのプログラマーと同じように、私は生まれつき保守的で、新しいことを学ぶのは好きではありません。だから私はIT業界で働く道を選びました。 私は、「クールな人たち」がやっているからといって、最新の流行に飛びつくことはありません。私は、物事が成熟し、ある程度の展望が得られるまで待ちます。 私にとって、関数型プログラミングは、まだ定着していると言えるほど長い間存在

[otchy210]

何かの翻訳かな？こういうタイプの皮肉、欧米の人たち大好きだよね。

[turanukimaru]

私がなぜ静的型付け関数型言語が嫌いかというと、関数型言語を使う人は自分が話したいことだけを話し、賛同しない人を嘲笑するからだ。言語以前に数学好き…もとい関数型言語好き人間みたいにはなりたくないんだわ。

[mas-higa]

波かっこはダメ。かっこは () でないと。S式最高。

[xll]

なるほど、皮肉記事か。理由2辺りで薄ら、3,4で確信になった。

[tomokatz]

この手の文章はお腹いっぱいです。地質学者のあたりのくだらない言い回しが20年前のLinux関連の文章みを感じる。

[aya_momo]

型推論できても型を書きたい時がある。

[ryskosn]

好き嫌いは分かれるかもしれませんが F# はいい言語だと思います | see also https://qiita.com/cannorin/items/59d79cc9a3b64c761cd4

[ton-boo]

“まだ7歳ですよ！確かに、地質学者にとっては長い時間かもしれませんが、インターネットの世界では、7年なんてほんの一瞬です” ここらへんで気付きました

[circled]

common lispみたいに型付けするとコンパイル時のエラーチェックに始まり、実行時の型チェックが不要故に実速度の爆速化みたいな絶大なる恩恵があると良いのだが、他の動的言語はエラーチェック程度しか恩恵が無い

[mohno]

ナニコレ？と思ったらサイト名が「F# for fun and profit」だし、「F#を見てください。まだ7歳ですよ」←割と古いネタみたいだ（F#が登場したのは2005年）

[strawberryhunter]

これが書かれてから何年経ったのか。諸行無常だよね。

[aike]

こういうこと言う人たちと一緒にされたくない。目の前の問題に適した言語を使う。

[tettekete37564]

でもcpuは関数型で動くわけじゃ無いんですよ

[nida3001]

懐かしい気持ちになった

[Helfard]

“理由3：波かっこが大好き” にょろ〜ん。

[hogetax]

おもろいｗ

[htsign]

Console.WriteLine に対比させるなら printf ではなく printfn では（クソリプ）

[UhoNiceGuy]

なんかインターネッツ初期の頃のようなノリだな

[morita_non]

そのとおり。動的型付けLispこそが最高なのだよ。知らんけど

[vndn]

私は4、あと3だな

[kagerouttepaso]

細かな成約や一方方向のデータフローなら関数型は強いけど、ユーザーインタラクションを含むワークフローなどの表現が辛い印象がある。

[suka6411144]

見ていて共感性羞恥になる

[urtz]

ASDを感じる

[xlc]

私はアプリを作りたいのであって、何かを極めたい訳ではないな。「極める」系の人がいるとプロジェクトが空転するしね。

[kkobayashi]

皮肉なのか本気なのか半々くらいに見えてしまうな

[kazyee]

理由4と7が他の理由を内包しているような気もした。

[door-s-dev]

🫣

[cinq_na]

なんかオナニーを見せつけられてるみたいでツラい。単金3～40万位のが沢山いる案件で使えるようになったらもう一回来て下さい。

[atico]

欠点があるとすればLLMとの相性ぐらい？あんまりいい感じに作ってくれないっぽい。ただ単に学習量が少ないためだけかもだけど、言語よりも数学よりなのが大規模言語モデルと相性が良くない？

[ooblog]

#FSharp #型推論 #ぬるぽ 「波かっこ~型宣言~関数シグネチャ~nullチェック~書く必要がなくなり~17行がたった2行に」"1ページで本当のメリットを教えてくれる"リンク先にある"F# を使う理由"が本編。メートルでヤーポンを駆逐。

[taguch1]

www