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

mukakenmukaken のブックマーク 2023/12/31 11:03

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

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

    回答 (4件中の1件目) まず例を2つ挙げてみます。いずれも「難解言語」と呼ばれるもので、実用性は低いです。 * Unlambda - Wikipedia * Lazy K - Wikipedia (型を宣言しうる変数や関数がそもそもない場合を動的型...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう