関数型言語が自然であり当然である世界

手続き型言語が全盛で、関数型言語が、開発効率を変える新しいパラダイムのように言われている……と今更のように言うとずいぶん認識が古いと笑われてしまいそうですが。 関数型言語が後から出てきたのは事実なわけで。えーと、えーと、少なくとも型付きの関数型言語で手続き型同様のパフォーマンスを叩き出せるようになったのってML以降ですよね、ね。LISPコンパイラの中には物凄い最適化を行うものがあるらしいなんて話は忘れてっ。その結果、関数型言語には、refやらIOやら*Worldやら手続き型へのマッピングを行うためのなにかがあるわけです。 じゃあ、関数型言語が先に出来ていたら使われるようになっていたら、どのような世界になっていたのか……。 余談ですが、YTがこのようなことを突然考え出すのは、何かをさぼりながらであることは言うまでもありません。閑話休題。 まず、今の手続き型言語はどのように生まれたか。これは勿

[maple_magician]

【関数型言語が自然であり当然である世界】

[z0rac]

関数型言語が記述するのは論理、手続き型は因果。/世界は因果で廻っている。論理で世界を記述することは不可能。

[mind]

メモリが簡単には上書き不可能な作りだったら ――配列が非効率的だったら…というセカイ! //非破壊的そろばん ――発掘せねばw

[todesking]

これはすごい歴史改変系ハードSFですね

[nanakoso]

「コンピュータのメインメモリがWORM的だったら？」主流のアーキテクチャを所与とせずなぜ今こういう仕組みなのかを考える姿勢。