コードである私は、以下のLists .hereを使用してunionという名前一つの機能でSet ADTを実装しようとしハスケルとはIAMの初心者です:私はここにタイプの割り当てでひどく間違って何かをやっていると思います import Data.List
data Set a = Set [a]
union' :: Set a -> Set a -> Set a
union' xs [] =
実行時にbiPredicateとして使用される関数の名前を受け取ります。私はこのbiPredicateを渡して評価したい、基本的に結果を得るためにフィルターをかけたい。 次は私のbiPredicatesを定義するユーティリティです。私はMethodHandleとLambda関数を使ってみました。私は new FilterUtility().execute("genericFilter");
を
マイコード: law : ∀ a x → ((suc a) * (suc a) ÷ (suc a) ⟨ x ⟩) →ℕ ≡ (suc a , refl)
law a x = refl
(このコードはちょうど私の考えを説明し、それがコンパイルされません)私はあまりにも多くのsuc aがあると思うと、私は、suc aにのようなものを別名を与えたい: law : ∀ a x → ((s : suc