動的型の純粋関数型言語というのはありえますか？

回答 (4件中の1件目) まず例を2つ挙げてみます。いずれも「難解言語」と呼ばれるもので、実用性は低いです。 * Unlambda - Wikipedia * Lazy K - Wikipedia (型を宣言しうる変数や関数がそもそもない場合を動的型というのか？？という指摘にびくびくしつつ…) 話題からずれつつ、ですが、純粋関数型言語とは、参照透過ではない操作を禁止する言語です。そのような禁止の如何にかかわらず、「参照透過ではない操作を自主的にしないようにする」ことは、どんな言語でも可能です。 もし「動的型の純粋関数型言語」が利用できないとしても、「動的型の純粋関数型プログラミ...

[mukaken]

“あり得るか、という質問ならもちろんあり得ます。形無しラムダ計算をそのまま実装すればそうなりますね。”