問題タブ [pattern-synonyms]

Haskellでマクロ定数を定義するにはどうすればよいですか? 特に、次のスニペットは、2 番目のパターン マッチが重ならないように実行してほしいと思います。

Let's say I have the following code (text in <> is a shorthand, not actually part of the code):

Now I want to have a function pattern match on defaultA, like this:

However, defaultA in the first line becomes a new variable, not a condition that means the parameter will equal defaultA. The best way I know to achieve something like what I want is:

Does anyone know a better way?

これはコンパイルされません (少なくとも GHC-7.10.2 では)

確かに、単純な直接自己参照パターンの場合、これは理にかなっています。しかし、上記のようなビューパターンを介したレイアウトでさえ不可能な根本的な理由はありますか? これには説得力がありません。結局のところ、ビュー パターンをインライン化して、完全に無害な (まあ... 少なくとも、許可された) 定義を取得することは可能です。

では、そのようなシノニムは技術的な理由でまだ利用できないのでしょうか? 将来的に利用できるようになるのでしょうか?

リストの最後にあるすべてのゼロを削除したいとします。

(++)これは、引数の演算子のために機能しません。パターン マッチングを使用してリストの末尾を判断するにはどうすればよいですか?

タイプレベルのリストを持つ GADT に基づいてパターン シノニムを定義しようとすると、エラーが発生します。

私はそれをこの例に要約することができました:

私に与えます：

これはバグですか、それとも何か間違っていますか?

パターン マッチングを使用してリストの長さ関数を実装したい場合、次のようなことができます。

sで同様のことができますVectorか？

おそらくこれを行う方法はありませんが、念のため質問したかっただけです。

次のような単純なタプルのデータ型があります。

次のようなパターンシノニムがあります。

これは に一致しT x yますが、y の平方根が得られます。それで：

は

コンストラクターとしても使用できるよう:?にしたいので、次のようなクールなことを行うことができます。

に評価する

もちろん、同形を手動で指定する必要がありますが、この動作を可能にする構文または言語機能はありますか?

ベクトルでリスト スタイルのパターン マッチングを使用することは可能ですか?

すなわち

エラーを与える