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

---

-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

---