Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 02-Dec-2021 10:40:26 JST きゅーけー

   関数型言語……。実際のところ、Common Lisp を使っている人の多くは関数型プログラミング言語ではなくてマルチパラダイムなプログラミング言語だと思ってるだろうし、Schemer も別に Scheme はプログラミング言語の種みたいなやつであって関数型プログラミング言語だとは思っていないように思う。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 02-Dec-2021 10:43:49 JST きゅーけー

     in reply to

     いや、それはさすがに過激すぎるか。そもそも関数型ってなんなの？っていうのがいまだに分からない問題がありどうしようもない。再帰関数を良く書く人のことを関数型プログラマって呼ぶんだとしたらたぶん Schemer は関数型プログラマなんじゃないかと思うけどそういうことではないような気がしている。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 02-Dec-2021 10:45:22 JST きゅーけー

     in reply to

     副作用を使わなければ関数型プログラマなのかといわれたらそうなのか？って思うし、その定義でいくとしたら Common Lisp と Scheme はまあ関数型プログラミング言語ではない。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 02-Dec-2021 10:48:49 JST きゅーけー

     in reply to

     Haskell が純粋関数型言語だと自称するのは Haskell 上では副作用が扱えないからだし(なお、IO モナドとか ST モナドの中では副作用が使えるんで、Haskell 上でも手続き型プログラミングは問題なくできる)。