haskell AD模块:模式类型类的困难

文章/答案/技术大牛

发布

1回答

haskell

我是Haskell的新手，很难理解如何使用自动区分模块AD来检查类型。我实现了牛顿方法，如下所示：import Numeric.AD.Rank1.Forward也具有(Double -> Forward Do

浏览 8提问于2018-07-27得票数 5

回答已采纳

2回答

Scala和Haskell类型的系统有什么不同和相似之处？

scala、haskell、type-systems

如何向Haskell专家解释Scala的类型系统？有哪些例子展示了Scala的优势？如何向高级Scala实践者解释Haskell的类型系统？在Haskell中可以做哪些在Scala中不能做的事情？

浏览 1提问于2009-11-29得票数 64

回答已采纳

2回答

为什么类型匹配而不只是模式匹配呢？

haskell、pattern-matching、typeclass

Haskell委员会选择以类型类的形式而不是基于模式匹配的更统一的解决方案来要求显式接口是否有特定的原因？-- 1也就是说，如果Haskell允许对普通数据类型进行模式匹配，那么： (SupportsEqualsEquals a =&

浏览 4提问于2012-02-02得票数 7

回答已采纳

3回答

向Haskell添加ML样式模块的主要理论困难是什么？

haskell、ocaml、sml、ml、type-systems

众所周知，Haskell风格的类型化模块和ML风格模块为指定接口提供了不同的机制。他们(可能)在权力上是对等的，但在实践中，每个人都有各自的优缺点。由于我在语言特性方面有点包容主义，我的问题是:向Haskell添加ML样式模块的主要理论困难是什么？我感兴趣的答案有以下几点：哪些现有的类型系统功能与ML风格的</em

浏览 3提问于2011-04-17得票数 60

回答已采纳

1回答

契约接口如何提供类似Haskell类型类的抽象？

pact-lang

契约文档提到了当模块发出实现时，该模块被称为“实现”所述接口，并且必须提供一个实现。这允许抽象，类似于Java的接口、Scala的特性、Haskell的类型类或OCaML的签名。可以在给定的模块中实现多个接口，允许对行为进行表达性分层。我知道您可以编写一个接口(这对应于在Haskell中声明一个class )，然后您可以为一个或多个模块实现该接口(这对应于<e

浏览 3提问于2022-07-20得票数 1

回答已采纳

1回答

包含代数数据类型的Typeclass风格的默认方法？

haskell

我来自标准ML，对Haskell来说还是个新手，所以我仍然试图把我的注意力集中在精心设计的类型系统上。我想要制作一个模块，公开一个代数数据类型Expression a以及一些可以与Expression a类型的值一起使用的函数。仅此一点也不算太糟。但是，如果a在Integral类型类中，则需要几个函数的一些情况下具有一些备用行为，如果a在Fractional类型<

浏览 2提问于2016-05-15得票数 1

回答已采纳

3回答

Scala的Cake模式可以在Haskell中实现吗？

haskell、module、cake-pattern

在Scala中使用一些较新的语言特性，可以实现一个可组合的组件系统，并使用所谓的蛋糕模式创建组件，Martin Odersky在论文和中对此进行了描述。Cake模式中使用的几个Scala特性具有对应的Haskell特性。例如，Scala隐含对应于Haskell类型类，而Scala的抽象类型成员似乎对应于Haskell的关联<em

浏览 5提问于2012-10-18得票数 20

回答已采纳

2回答

是否可以在Haskell中提供自定义模式分解？

scala、haskell、pattern-matching、type-constructor

在Haskell中，我有一个具有偏序类型的模块：我不导出值构造函数，因为这不是我想要使用的类型，但我仍然希望能够与模块之外的PartialOrder类型匹配；这可能吗？特别是，我希望能够匹配一些不是类型构造函数的模式，而是匹配如下所示的模式： f (

浏览 5提问于2013-12-21得票数 5

回答已采纳

4回答

对于Haskell，有没有反向模式自动区分的工作实现？

haskell、automatic-differentiation

在Haskell中，我所见过的最相关的实现是的转发模式。最相关的研究似乎是与的方案相关的另一种函数式语言的反向模式。我将Haskell中的反向模式视为许多任务的圣杯，希望它可以使用Haskell的嵌套数据并行来在繁重的数值优化中获得良好的加速。

浏览 6提问于2010-04-30得票数 13

回答已采纳

2回答

为什么存在类型没有模式匹配？

haskell

即使没有扩展ExistentialQuantification，Haskell也通过类型同构为任何类型的C支持一些存在类型，这很奇怪，因为存在型是广义和类型。Haskell使用data关键字支持有限和类型，并允

浏览 1提问于2017-03-02得票数 1

回答已采纳

1回答

如何从自动差异化中获得更多的性能？

haskell、automatic-differentiation、hmatrix

我很难对一个依赖ad的conjugateGradientDescent函数的程序进行优化，因为它的大部分工作都依赖于conjugateGradientDescent函数。这是让ad处理矩阵的唯一方法(参见：)。我的猜测是，通过使用像newtype Mat w h a = Mat (Unboxed.Vector a)这样的矩阵类型，通过取消装箱和融合，可以获得更好的性能。我发现有用于未装箱向量的<em

浏览 4提问于2015-06-17得票数 16

回答已采纳

1回答

haskell中类型为2的奇怪案例

haskell

将通用类型Num a => a分配给2而不是缺省为某个特定类型(如Int或Integer )背后的基本原理是什么其次，我在很多地方都读到过2是一个多态的值，但是多态的定义不允许使用约束变量。那么2在Haskell中是多态的吗？

浏览 0提问于2016-11-13得票数 1

3回答

为什么Haskell强制数据构造函数的第一个字母为大写？

haskell、syntax、functional-programming

举个丑陋的例子：在我看来：但在语法形式上，它们几乎是相同的:可以应用，可以求值。一个大问题可能是函数不能改变它的应用

浏览 71提问于2011-06-04得票数 22

回答已采纳

3回答

Haskell多义性发生--如何避免？

haskell、map

那么，当类型明确并且我可以避免时，为什么它声称Prelude.lookup和Data.Map.lookup之间存在歧义呢？

浏览 0提问于2010-02-01得票数 47

回答已采纳

1回答

Ghc:部分编译Haskell代码？

haskell、ghci

当我使用ghci (通常是:load )编译Haskell文件时，如果没有类型错误，所有表达式都会加载到ghc解释器中。它非常好:我可以尝试使用:t来找出各种表达式的类型。我的问题是:如果有一个小错误，ghci不能加载任何东西(甚至不能加载导入的模块！！)，这使得找到正确的类型变得更加困难。我总是做同样的事情:注释掉所有不检查类型的部分，在ghci中用:t找到相关

浏览 16提问于2015-01-05得票数 17

回答已采纳

2回答

Haskell中的类型模式和泛型类

generics、reflection、haskell

我试图理解Haskell中的类型模式和泛型类，但似乎无法理解。“为了将函数普遍应用于所有数据类型，我们以统一的方式查看数据类型:除了基本的预定义类型(如浮点数、IO和→)之外，每个Haskell数据类型都可以被看作是可能被标记的产品的标记和。上面提到的Haskell</em

浏览 6提问于2010-03-12得票数 0

回答已采纳

6回答

解释Haskell中的类型类

java、c++、oop、haskell、functional-programming

我是一名C++ / Java程序员，我在日常编程中碰巧使用的主要范式是OOP。在一些帖子中，我读到一条评论，说Type类在本质上比OOP更直观。有没有人能用简单的语言解释一下类型类的概念，这样像我这样的OOP专家就能理解它？

浏览 0提问于2010-04-22得票数 11

回答已采纳

6回答

Haskell Interactive

shell、emacs、ide、haskell、interpreter

我的Haskell有点生疏了，我正在寻找恢复。我喜欢F#的一件事是与Visual Studio集成的F#交互式外壳:我几乎可以计算任何东西(包括函数和类定义)，并将F#用作外壳。在Haskell中有没有类似的东西？当我使用ghci时，我不能计算函数定义。你是如何解决这个问题的？我目前的首选设置是在haskell模式下使用Emacs，并打开交互式的ghi解释器。然而，有没有一种方法可以只评估文件<e

浏览 2提问于2008-12-04得票数 7

回答已采纳

7回答

为什么哈斯克尔错过了“明显”的台风

haskell、typeclass、abstraction、standard-library

向Haskell的过渡： Haskell有一个类型类系统，它对类型的作用类似于对象上的接口。当类型涉及功能时，Haskell似乎有一个关于函子、应用程序、Monad等的。他们显然想要。然而，当您查看许多Haskell的容器(、、、、)时，它们几乎都具有非常相似(或相同)的函数，而不是通过类型类进行抽象。但是由于

浏览 0提问于2014-08-07得票数 59

回答已采纳

1回答

函数规划中的构造实体几何

haskell、functional-programming、typeclass、raytracing、algebraic-data-types

我正在haskell程序中实现CSG。当我在一个OOP拉赫盖奇(OOP)中这样做的时候，我受到了综合赞助人的启发。我有一个抽象类" Object "，一些具体的对象(Sphere，平面等)，还有一个具体的类"CompositeObject“，它有一个操作符和两个指向对象的指针。为了在Haskell中以这种方式实现CSG树，我考虑的是递归数据类型： data Shape

浏览 2提问于2014-02-16得票数 0

回答已采纳

点击加载更多