higher-order-types

1熱

1答えて

制約のある現実的に修飾された高次型のマッピング

私は用語が正しいことを願っています。 私は次の操作を実行したい： data Hide a = ∀ b. (A.ToJSON (a b), A.ToJSON b) ⇒ Hide (a b) mapHide ∷ (∀ c. (A.ToJSON (b c), A.ToJSON c) ⇒ a c → b c) → Hide a → Hide b mapHide f (Hide a) = (Hide

haskell higher-kinded-types higher-order-types rank-n-types 2017-03-08

---

8熱

2答えて

型レベルの関数のパターンマッチングは可能ですが、値レベルではできません。なぜこの違いがありますか？ SPJによって<a href="http://research.microsoft.com/en-us/um/people/simonpj/papers/assoc-types/fun-with-type-funs/typefun.pdf" rel="nofollow noreferrer">this</a>論文で

は、ページ3および4に、それが書かれている： class Mutation m where type Ref m :: * -> * newRef :: a -> m (Ref m a) readRef :: Ref m a -> m a writeRef :: Ref m a -> a -> m() instance Mutation IO where

haskell type-families higher-order-types 2015-12-31

---