为什么定义MonadReader需要FunctionalDependency?

问题描述我刚刚理解了类的定义MonadReaderclassMonadm=>MonadReaderrm|m->rwhere...阅读了Haskell中的函数依赖文档,现在我可以理解|m->r指定类型变量r由m唯一决定。根据我目前所见的几个典型的MonadReader实例(例如Re

发布:2022-10-16 标签:type-systemsmonadshaskellghc


你在 Haskell 中发现了更高级别的类型有什么用途?

问题描述更高等级的类型看起来很有趣.这个例子来自Haskellwikibook:Higherranktypeslooklikegreatfun.FromtheHaskellwikibookcomesthisexample:foo::(foralla.a->a)->(Char,Bo

发布:2022-10-16 标签:typestype-systemspolymorphismhaskellhigher-rank-types


Milner 是否让多态性成为 2 级特征?

问题描述leta=binc可以被认为是(a->c)b的语法糖,但在一般的类型化设置中它不是案子.例如,在Milner演算中leta=x->;xin(aTrue,a1)是可键入的,但看似等效的(a->(aTrue,a1))(x->x)不是.leta=binccanbethought

发布:2022-10-16 标签:type-systemspolymorphismhaskell


Haskell 的多态风格是什么?

问题描述使用Haskell的类型类,它似乎启用了即席多态,但它的函数声明似乎是参数多态.我是否混合了我对不同事物的理解?WithHaskell'stypeclassesitalmostseemsthatitenablesadhocpolymorphism,butitsfuncti

发布:2022-10-16 标签:type-systemspolymorphismfunctional-programminghaskell


如何轻松应对 Haskell 上的类型系统?

问题描述Haskell的类型系统功能强大,因其数学严谨性和逻辑合理性而广受喜爱,另一方面,像下面这样幼稚的东西让我想知道为什么它不能按直觉预期工作?Haskell'stypesystemispowerfulandlikedforitsmathematicalrigorousnes

发布:2022-10-16 标签:type-inferencetype-systemspolymorphismhaskell


为什么 Haskell 代数数据类型是“封闭的"?

问题描述如果我错了,请纠正我,但Haskell中的代数数据类型似乎在许多情况下很有用,您将在OO语言中使用类和继承.但是有一个很大的区别:代数数据类型一旦声明,就不能扩展到其他地方.它是封闭的".在OO中,您可以扩展已经定义的类.例如:CorrectmeifI'mwrong,bu

发布:2022-10-16 标签:ooptypestype-systemsfunctional-programminghaskell


为什么我不能对结构使用 as 关键字?

问题描述我定义了以下结构:publicstructCall{publicSourceFilecaller;publicSourceFilecallee;publicCall(SourceFilecaller,SourceFilecallee){this.caller=caller

发布:2022-10-16 标签:.netc#castingtype-systemsas-operator


编译时和运行时强制转换 c#

问题描述我想知道为什么在编译时检查C#中的某些强制转换,而在其他情况下则将责任转储到CLR上.如上所述,两者都不正确,但处理方式不同.IwaswonderingwhysomecastsinC#arecheckedatcompile-timewhereasinothercasest

发布:2022-10-16 标签:.netc#castingtype-systems


说一个类型是“装箱的"是什么意思?

问题描述我听说类型在某些语言中被称为盒装".Ihaveheardoftypesbeingreferredtoas"boxed"insomelanguages.在Java中,我听说过自动装箱".这是什么?它是否具有类型的包装类?如果我使用装箱或未装箱类型,我的代码将如何更改?InJ

发布:2022-10-16 标签:javatypestype-systemsterminologyautoboxing


什么是“总和与积"?数据结构?

问题描述数据类型代数快速介绍,http://blog.lab49.com/archives/3011(链接似乎已失效.互联网档案链接:http://web-old.archive.org/web/20120321033340/http://blog.lab49.com/archi

发布:2022-10-16 标签:data-structurestypestype-systemsprogramming-languagesalgebraic-data-types