von Neuman スタイルのプログラミングについて説明している論文を読みました。論文の名前はCan Programming Be Liberated from the von Neumann Style? です。関数型スタイルとそのプログラム代数
関数型スタイルのプログラミング言語 (著者のジョン・バッカスが参照) についての私の質問は次のとおりです。
この論文の関数型スタイルは、HASKELLやERLANGなどの関数型プログラミング言語の関数型スタイルを参照するとき、正確にまたはほぼ同じことを意味しますか?
その論文で説明されているFP言語から直接インスピレーションを得た言語を見たい場合は、 Jを見たいと思うかもしれません。
ここに役立つブログ投稿があります：連結プログラミングが重要である理由。
要するに、これらは2つの異なる手法です。ウィキペディアでは、それらをそれぞれ関数型プログラミングと関数レベルプログラミングと呼んでいます。また、ポイントフリーのポイントフリープログラミング、連結言語、スタック指向言語があります。そのため、正確な名前は、誰に尋ねるかによって異なる場合があります。
ブログの投稿が指摘しているように、関数型（または適用可能な）言語（Erlang、Haskell、ML、Scheme）は、関数レベル（または連結）プログラミングにはあまり適していません。ただし、 Haskellで関数レベルのプログラムを作成するのに役立つ無意味なHaskellライブラリがあります。空のリストなどの通常のものの型アノテーションがプレリュードとどのように異なるかに注意してください。ライブラリは、cabalinstallpointlessによってHackageからインストールできます。例を参照してください。
関連する言語については、Forth、APL、Joy、Catを参照してください。Jorgが言及しているJ言語は、APLとFPの子孫です。