polyvariadic

9熱

1答えて

Haskellで任意のアリティ関数を定義する方法は、0のアリティを含んでいますか？

任意のアリティの関数を定義する私の現在のアプローチは以下の通りです.Aはアキュムレータ、Eは入力引数の型、Rは結果の型です。 combine :: A -> E -> A class X r where foo :: A -> E -> r instance X R where foo :: A -> E -> R instance X r => X (E ->

haskell polyvariadic 2011-07-11

---

7熱

2答えて

ハスケルではどのようにm-ary述語とn-ary述語をとり、（m + n）-ary述語を構築できますか？

今日私は型クラスを使って、入力として任意の型の任意の組み合わせを取って、同じ型の他の述語を返したが基本的な操作をいくつか適用して、任意の型の述語の関数を誘導的に構築しました。例えば conjunction (>2) even は、2と conjunction (>=) (<=) は= すべてが順調と良い返されるよりも、より大きな偶数のために真と評価述語を返すその部分の作業を得たが、それでし

haskell typeclass polyvariadic 2012-10-03

---