Qiita 7 - キータぞ、来たぞ、キータだぞー

**デフォルトの名無しさん** · 2025/12/20(土) 15:12:20.95

『functionalプログラミングって組込みに適さないかも』という記事への例の先生のコメント
　
＞「関数型プログラミングでは変数を持てない」との主張ですが、ものすごく違和感を感じます。
＞言いたいこととしては、「関数型プログラミングでは内部状態を持てない」なのだろうと思うのですが、それでも違和感を感じます。
＞「純粋関数型プログラミングでは内部状態を持てない」ならば、少しは理解します。
＞ちなみにGenServerについては、ご存知でしょうか？ ElixirやErlangにおいて、内部状態を持たせるための仕組みなのですが。
　
「純粋関数型プログラミングではないElixirやErlangには内部状態を持たせるためのGenServerという仕組みがあります。調べられてはいかがでしょうか?」みたいな書き方できないのかな?
つかメモリ食いすぎでGCも前提の関数型プログラミングが組み込み用途に向かないのは自明なんだが何でもかんでもElixirでできると主張してる先生の精一杯の揚げ足と思えば微笑ましいかｗ

**デフォルトの名無しさん** · 2025/12/20(土) 15:42:05.86

>>590
そこじゃないだろ
まず変数とは何かを理解できていない

✕変数を持てない
○mutableな変数を持てない
○immutableな変数は持てる

**デフォルトの名無しさん** · 2025/12/20(土) 16:07:21.71

関数型プログラミングでは「変数」の意味が違うしどこ視点の話だからそれは問題にすべき点ではない。

**デフォルトの名無しさん** · 2025/12/20(土) 16:12:45.42

>>592
変数の意味は同じだ
mutable変数とimmutable変数を区別してimmutable変数のみを用いるのが関数型プログラミング

**デフォルトの名無しさん** · 2025/12/20(土) 16:20:56.60

関数型プログラミング説明するのにmutable変数持ち出す人がいて腹が痛いｗ

**デフォルトの名無しさん** · 2025/12/20(土) 18:05:20.72

mutable変数を用いないことが関数型プログラミングの特性の根源だぞ
それがメリットを生み出している

**デフォルトの名無しさん** · 2025/12/20(土) 18:46:51.23

関数型に詳しくないから疑問なんだけど、純粋な関数型言語だと配列なんかも全てイミュータブルにするの？
例えば画像の変換みたいなことをしようとするときは、出力先に1画素を書き込むごとに新たな配列を確保する必要があるという感じ？

**デフォルトの名無しさん** · 2025/12/20(土) 21:01:09.53

>>596
各言語の概念や仕様と実行コードの生成コンパイルは別だ
配列でもオブジェクトでも元の値が他で使われていなければ最適化により元の値を更新してそのまま使う実行コードを生成できる

**デフォルトの名無しさん** · 2025/12/20(土) 21:09:40.92

『祝・実験終了 🎉 Linux カーネルの Rust 採用が正式化！ C から Rust へ ─ AI コードエージェントが Linux カーネルコードを書き換えるとどうなるか？』
https://qiita.com/hisaho/items/09362b9efdc5f21ab1f2

LinuxがRustをサポートってモジュールやドライバをRustで書けるようなったってだけで、既存のCコードをRustで置き換えようってものではないんだけどなんか勘違いしてるのかなこの記事。

記事の趣旨は「AIを使えばCコードを容易にRustに移植できますよ」というものだけど、記事自体AIに生成させたためかおかしな個所あるし、AI使っても人力チェックは重要だし容易なことではない証明になってるのは皮肉だな。

**デフォルトの名無しさん** · 2025/12/20(土) 23:47:11.68

>>597
コンパイラではそういう最適化は無理くない？
Haskellにも可変な配列型はあるし、パフォーマンスが必要ならそれを使うでしょ

**デフォルトの名無しさん** · 2025/12/21(日) 13:39:37.60

youtubeもqiitaもAI記事だらけになるとつまらんな
時間の無駄

**デフォルトの名無しさん** · 2025/12/23(火) 00:29:49.91

Brainf**kの命令を直接実行できるCPUを作った話
https://qiita.com/yamatya6/items/3c75020110a73762a53f

WASM となかよくなりたいから Brainfuck をコンパイルしよう
https://qiita.com/tmyt/items/09c473aac186b772128e

スタックベースでmincaml to brainfuckトランスコンパイラ
https://qiita.com/vi_24E/items/43cddb54ece8fc5aa603

なでしこさんで大石泉すき言語のインタプリタ
https://qiita.com/mikecat_mixc/items/2e714dfb9895ea16f147

わたしがプログラミング言語の処理系を作れるわけないじゃん、ムリムリ！（※ムリじゃなかった！？）
https://qiita.com/ssuzzukki/items/5d86d38cb331d55a8ae5

brainf*ckをC++へトランスコンパイルすることで擬似的にbrainf*ckのコンパイラを作成する
https://qiita.com/rotarymars/items/3876ff5ab8f6effdeb1b

今月になってBrainf*ckの記事がなんでか大量投稿されてるんだが、一番高度なことやってる感じの(主観)WASMの記事がバグだらけなのは残念だなｗ