Haskell、Lisp、および冗長性[終了]

HaskellといくつかのLispのフレーバーの両方で経験した人にとって、HaskellとLispのどちらでコードを書くのが（恐ろしい用語を使用するのが）どれほど「楽しい」かが気になります。

背景：今はHaskellを学んでいます。以前にSchemeとCLを使用していた（そしてClojureに少し進出した）。伝統的に、あなたは私が動的言語のファンをそれらが提供する簡潔さと迅速さのためにファンであると考えることができました。Lispマクロにすぐに夢中になりました。冗長性とボイラープレートを回避するためのもう1つの方法になったからです。

Haskellは信じられないほど興味深いものだと思います。これは、存在することを知らなかったコーディング方法を紹介するものです。確かに、部分的な関数を簡単に記述できるなど、俊敏性の実現に役立つように見えるいくつかの側面があります。しかし、私はLispマクロ（私はそれらを失うと思います。真実はまだそれらについて学んでいないかもしれないと言われています）と静的型付けシステムを失うことについて少し心配しています。

両方の世界でまともな量のコーディングを行った人は、経験がどのように異なるのか、好みが状況に応じてコメントすることを気にかけますか？

短い答え：

• マクロでできることはほとんど何でも高階関数でできます（そしてモナドや矢印などを含みます）。それのためのより良いプログラマ）、そして
• 静的システムは十分に一般的であり、邪魔になることはありませんが、やや驚くべきことに、実際に「俊敏性の達成を支援する」（前述のとおり）ので、プログラムのコンパイル時に正しいことがほぼ確実になるため、この確実性を試すことができますLispの場合とは異なりますが、プログラミングには「動的」な感覚があります。

[注：Lispと同じようにマクロを記述できる「テンプレートHaskell」がありますが、厳密に言うと、それを必要とすることはありません。]

まず第一に、動的タイピングのような特定の機能を失う心配はありません。非常によく設計された言語であるCommon Lispに精通しているので、言語をその機能セットに限定できないことに気付いていると思います。すべてがまとまりのあるものですね。

この点で、HaskellはCommon Lispと同じくらい明るく輝きます。その機能を組み合わせて、コードを非常に短くエレガントにするプログラミング方法を提供します。マクロの欠如は、モナドや矢印などのより複雑な（ただし、同様に理解および使用が難しい）概念によってある程度緩和されます。静的型システムは、ほとんどのオブジェクト指向言語のように邪魔になるのではなく、あなたの力を高めます。

一方、HaskellでのプログラミングはLispよりもはるかにインタラクティブではなく、Lispのような言語に存在する膨大な量のリフレクションは、Haskellが前提としている世界の静的なビューに適合しません。したがって、使用できるツールセットは2つの言語間でかなり異なりますが、互いに比較することは困難です。

個人的には、プログラミングのLispの方法が一般的に好きです。それは、自分の作業方法に適していると感じているからです。ただし、これはあなたがそうする義務があるという意味ではありません。

そこ多くはモナドを中心に構成することができますので、Common LispではよりもHaskellでメタプログラミングのためのより少ない必要がありますし、追加の構文は、組み込みのDSLが少ないツリー状に見えるのですが、で述べたように、テンプレートHaskellは、常にありますShreevatsaR、とさえLiskell（Haskellのセマンティクス+ Lispの構文）かっこが必要な場合。

マクロに関しては、それについて話すページがあります：Hello Haskell、Goodbye Lisp。Haskellではマクロは必要ないという見方を説明しています。比較のための短い例が付いています。

両方の引数の評価を回避するためにLISPマクロが必要な場合の例：

(defmacro doif (x y) `(if ,x ,y))

Haskellが両方の引数を体系的に評価せず、マクロ定義などを必要としない場合の例：

doif x y = if x then (Just y) else Nothing

そしてボイラ

私はCommon Lispプログラマーです。

少し前にHaskellを試してみて、私の個人的な利益はCLに固執することでした。

理由：

• 動的型付け（動的型と静的型付けの比較— Pascal Costanzaによるパターンベースの分析を確認してください））
• オプションおよびキーワード引数
• マクロを使用した統一ホモニコニックリスト構文
• プレフィックス構文（優先ルールを覚えておく必要はありません）
• 不純であるため、迅速なプロトタイピングに適している
• メタオブジェクトプロトコルを備えた強力なオブジェクトシステム
• 成熟した標準
• 幅広いコンパイラ

Haskellにはもちろん独自のメリットがあり、根本的に異なる方法でいくつかのことを行いますが、長期的にはそれを削減しません。

Haskellでは、LISPでは不可能なif関数を定義できます。これは、プログラムのモジュール化を可能にする遅延のために可能です。この古典的な論文：ジョンヒューズによるFPが重要である理由は、遅延が構成可能性をどのように向上させるかを説明しています。

Haskellで（可能であれば）煩雑なマクロを使用してLispで実現できる本当に素晴らしいものがあります。たとえば、「メモ化」マクロを使用します（Peter NorvigのPAIPの第9章を参照）。これを使用すると、fooなどの関数を定義して、評価（メモ化 'foo）できます。これにより、fooのグローバル定義がメモ化されたバージョンに置き換えられます。高階関数を使用してHaskellで同じ効果を達成できますか？

私がHaskell学習の旅を続けると、マクロを「置き換える」のに役立つ1つのことは、独自のインフィックス演算子を定義し、それらの優先順位と結合性をカスタマイズする機能です。ちょっと複雑ですが、興味深いシステムです！