impredicativetypes

8熱

2答えて

ハスケルの行多型：「変換」を伴うDSLを書くのに問題がある

最近Haskellのブログ活動に触発されて、HaskellでForthのようなDSLを書くのを手伝ってくれました。これは非常にうまく機能し、 {-# LANGUAGE TypeOperators, RankNTypes, ImpredicativeTypes #-} -- a :~> b represents a "stack transformation" -- from stack

haskell polymorphism higher-order-functions concatenative-language impredicativetypes 2012-02-18

---

8熱

2答えて

なぜこの同等のプログラムはコンパイルされませんか？

このプログラム： {-# LANGUAGE RankNTypes, ImpredicativeTypes #-} import qualified Data.Vector.Mutable as MV import qualified Data.Vector as V import Control.Monad.ST import Control.Monad.Primitive unsa

haskell impredicativetypes 2015-09-05

---

12熱

1答えて

F＃の記述型多型

OCamlのHindley-Milner型システムでは、レコード型の多少の拡張を除いては、impredicative polymorphism（System-F）は使用できません。 F＃も同様です。 しかし、忠実な多型（例えば、Coq）を用いて記述されたプログラムをそのような言語に翻訳することが時には望ましい。 OCamlへのCoqの抽出プログラムの解決策は、普遍的な安全でないキャストの一種である

f# polymorphism ocaml coq impredicativetypes 2013-03-28

---

2熱

1答えて

impredicative型を作成する方法クラス型で動作する

ImpredicativeTypesで何ができるかを見ていて、正確に何ができるのか見たいと思っていました。 TypeClassesとのやりとりに関しては、私が気がついたことに遭遇したときには奇妙な振る舞いがあります。 :t mempty mempty :: forall a. Monoid a => a :t Right Right :: forall a b. b -> Either a

haskell typeclass impredicativetypes 2016-07-21

---