假设我在Haskell中有一个约定，其中我定义了一系列如下函数： data Node = MkNode
s0 a _ = a
s3 a b c d e = d (a e) (b e) (c e) 如果可能，我希望定义一个函数sn，该函数接受可变数量的参数，始终采用这种模式。在使用类
浏览 2提问于2020-04-26得票数 1
回答已采纳
如何向Haskell专家解释Scala的类型系统？有哪些例子展示了Scala的优势？
如何向高级Scala实践者解释Haskell的类型系统？在Haskell中可以做哪些在Scala中不能做的事情？
浏览 1提问于2009-11-29得票数 64
回答已采纳
2回答
我试图理解Haskell中的类型模式和泛型类，但似乎无法理解。“为了将函数普遍应用于所有数据类型，我们以统一的方式查看数据类型:除了基本的预定义类型(如浮点数、IO和→)之外，每个Haskell数据类型都可以被看作是可能被标记的产品的标记和。上面
浏览 6提问于2010-03-12得票数 0
回答已采纳
3回答
有两个类是很自然的：
fixedSize :: p a -> Int
用于可变大小值的类。函数采用一个值来确定大小。列表中的值可以是固定的，也可以是可变的。
浏览 9提问于2022-11-17得票数 4
即使没有扩展ExistentialQuantification，Haskell也通过类型同构为任何类型的C支持一些存在类型，因此，函数f :: C a => a -> b需要一个类型为exists a. C a的参数x。但是Haskell不允许模式匹配x与某些类型的C (由野生匹配_完成，因为类型
浏览 1提问于2017-03-02得票数 1
回答已采纳
在OOP语言中，我可以编写一个数据库包装器，它封装数据库连接，管理模式，并提供很少的核心操作，如exec、query、prepare_and_execute。我甚至可能有一个单独的数据库助手类，它将处理数据库模式，只留下数据库抽象来处理连接。然后，模型包装器/工厂将使用该数据库抽象类来创建模型类的实例。类似于下面的UML图：
在惯用的haskell中设计这样一个系统的</em
浏览 4提问于2011-04-27得票数 9
回答已采纳
1回答
您可以将模板应用于C++CX中的引用类，也可以将其应用于普通类。显然，您不能将模板应用于委托并引用它，这样编译器就会根据需要多次实现它。您可以尝试在ref类中定义模板委托，但这样就不能将其设置为公共的，甚至是内部的，这就违背了您的目的。但是，您可以在本机类中引用委托实例。例如，您可以接受C++CX委托作为本机类
浏览 1提问于2015-11-26得票数 0
2回答
模拟和建模的FP
、、、、
我已经知道OOP用于这类项目。然而，Haskell的研究让我考虑使用FP范式来建模一个组件系统。让我详细说明：
假设我有一个A型的成分，特征是一组数据(温度或压力、PDE和一些边界条件等参数)。和B型部件，其特征是一组不同的数据(不同或相同的参数、不同的PDE和边界条件)。我们还假设将应用于每个组件的函数/方法是相同的(例如，Galerkin方法)。对象
浏览 0提问于2012-10-02得票数 12
回答已采纳
在Scala中使用一些较新的语言特性，可以实现一个可组合的组件系统，并使用所谓的蛋糕模式创建组件，Martin Odersky在论文和中对此进行了描述。Cake模式中使用的几个Scala特性具有对应的Haskell特性。例如，Scala隐含对应于Haskell类型类，而Scala的抽象类型成员似乎对应于Haskell的<
浏览 5提问于2012-10-18得票数 20
回答已采纳
2回答
在Haskell中，类Functor声明为：fmap :: (a -> b) -> f a -> f b
类型变量a和b可以是函数类型，还是必须是非函数类型？如果它们可以是函数类型，那么在使Functor能够应用于任意数量的参数的函数方面，类fmap是否与类App
浏览 1提问于2019-07-17得票数 4
回答已采纳
我正在尝试使用dhall重写一个在Haksell应用程序中使用的大型yaml配置文件。为此，我使用了json-to-dhall，它需要一个属于结果表达式类型的模式。问题是实际的模式几乎不可能手动编写，因为它涉及许多sum类型(以及嵌套的sum类型)。我尝试通过手动将yaml的某些部分转换为dhall来生成模式，然后运行dhall type。这提供了一个模式，稍后我
浏览 16提问于2019-06-30得票数 6
回答已采纳
当试图用Scala中的代数数据类型来描述Sql的一部分时，我遇到了创建代表数据类型的根特征的子特征的必要性。由于满足这一要求产生了一个代码，我不确定它是否可以用Haskell的ADT来表示，而且与Haskell不同，ADT不是Scala的原生构造，所以我现在想知道：
我说得对吗?在Haskell中，不可能表示一个模型，比如具有“子类型
浏览 7提问于2012-08-21得票数 6
回答已采纳
6回答
我看过各种报纸/文章/博客，还有一些不是关于Monad的东西。人们在不同的语境中谈论它们，比如范畴理论(在世界上是什么？)无论是Haskell中的do表示法，还是F#中的计算表达式，甚至LINQ选择多个运算符(记住LINQ语法在C#/VB中也是一种语法糖)。我的问题是，如果有人相信monads比语法糖(而不是嵌套的方法调用)更多，那么请用“实用性”而不是“理论概念”来启
浏览 19提问于2011-08-30得票数 18
回答已采纳
1回答
我正在创建一个惰性的、功能性的，它允许用户用方法定义不可变的结构(类似于OO语言中的类，但它们不是可变的)。我将这种语言的代码编译成Haskell代码。
最近，我遇到了这个工作流的问题。我不想强迫用户写显式类型，所以我想大量使用Haskell的类型推断器。X (因为它在f签名中硬编码了meth
浏览 0提问于2013-10-20得票数 12
ScalaZ和Cats都有类型类和数据类型的概念。像Kleisi或Either这样的东西被称为“数据类型”--为什么？我的理解是，它们是使用这些类型类“可能”实现的通用功能，但是即使在Scala中的FP编程一书中，它们也不被
浏览 1提问于2019-07-03得票数 3
3回答
在面向对象的语言(例如Java和Python)中，我们可以从类中生成对象/实例。在Haskell中，我们可以从类型类中创建实例，例如：
class：实例在haskell中意味着什么？在java中，我们可以从类中生成实例，但在haskell</
浏览 4提问于2017-07-03得票数 20
回答已采纳
4回答
在这些语言中，类的不可变性可以很容易地被编译、执行和测试。我需要能够做这样的事情： private String name = "Jhon"; // lets say the String is mutablevoid testImmutability() { }
}
浏览 1提问于2011-01-19得票数 6
我试图创建一个函数，该函数将变量函数作为参数，即我怎样才能做到这一点？我读过关于的文章，我相信，然而，我试图将模式应用于一个以变量函数作为参数的函数时，我已经迷失了方向。尤其是Olegs方法似乎只适用于格拉斯哥扩展，我希望解决方案能够在纯Haskell 98中工作(就像一样)。(\x -> x &&
浏览 0提问于2011-12-02得票数 44
回答已采纳
我正在下面的程序hash_lookup.hs中编写一个简单的哈希树结构getKey的目的是检索给定HashTable的根键，lookUp接收字符串列表，并遵循它找到的
浏览 3提问于2012-06-25得票数 5
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
