monomorphism

4熱度

1回答

基本的Haskell單形/多態問題（HList）

我是一個Haskell和一個Stackoverflow noob，這裏是我的 第一個&可能很基本的Haskell問題。 module M where import Data.HList data R r a r1 = undefined :: R a Int r2 = undefined :: R a Double rPair :: R r a -> R r b -> (R r

haskell polymorphism monomorphism hlist 2011-03-04

---

3熱度

1回答

避免在沒有類型註釋的情況下綁定的單態

我有一些代碼使用類型來消除實例的歧義（真正的代碼是使用GHC.TypeLits類型標記的singletons，但我認爲這不是密切相關的），我想使用let綁定來避免文本級別的重複;不幸的是，這會使結果單調。 以下是問題的一個例子： class Foo a where foo :: a instance Foo Int where foo = 0 instance Foo

haskell polymorphism let monomorphism 2013-02-02

---

0熱度

1回答

算法W和單形類型的強制

我正在嘗試爲玩具語言編寫我自己的類型推理算法，但我遇到了一堵牆 - 我認爲算法W只能用於過於普通的類型。 這裏是表達式： Expr ::= EAbs String Expr | EApp Expr Expr | EVar String | ELit | EConc Expr Expr 打字規則簡單 - 我們繼續使用類型變量抽象和應用。這裏是所有可

type-inference type-theory type-variables monomorphism 2015-05-28

---

-5熱度

2回答

什麼是C++單形類，這是一個例子嗎？

請告訴我，如果下面的類是單形的？ 是什麼使它單形？單形是什麼意思？ class Foo { public: Foo(int n) { this->m = n; } void print() { std::cout << this->m << std::endl; } private: int m

c++ oop class monomorphism 2012-09-24

---