1回答
榆树是否有一个能产生底部/发散的表达式，如哈斯克尔的error或锈蚀的unimplemented!()
例如：
map : (a -> b) -> List a -> List b
map = unimplemented
浏览 2提问于2018-01-11得票数 5
回答已采纳
在F#中，是否有一个内置函数在没有参数的情况下调用时返回返回给定值的函数？
也就是说，具有以下定义或等效定义的函数：
let ret v =
fun () -> v
浏览 0提问于2014-03-12得票数 2
回答已采纳
1回答
对榆树类型的认识
、、
试图学习Elm，有JS的背景，很少有强类型和静态类型语言的经验，我发现主要的困难在于类型语法(以及在Elm中哪些类型是有用的)。不幸的是，我觉得这些文档在这方面没有多大帮助。
如果我在这里举一个简单的例子：，行：
type Msg = Increment | Decrement
将联合类型Msg定义为Increment或Decrement。这似乎表明Increment和Decrement也是类型。他们到底是什么？(在示例的其他地方没有定义它们，也没有预定义的类型)。
然后，在view函数中使用它们作为onClick的参数。现在，他们的行为似乎是一种“信息”(不管这意味着什么)。在JS中，这很可
浏览 3提问于2016-10-04得票数 5
回答已采纳
20年前，函数式编程世界都是关于Lisp和Scheme的。当我在2001年上大学时，我的秋季学期新生CS 101课程是用OCaml授课的。
然而，如今谈论FP的人似乎总是在谈论Haskell。
Haskell是什么原因导致它在FP世界的专家中越来越受欢迎？它有什么优势呢？
相关但不重复的：
对Haskell进行函数式编程的介绍？
哈斯克尔和Lisp诉Haskell或Lisp
函数式编程在上升？
函数编程语言的选择
哈斯克尔还是初学者的标准ML？(StackOverflow)
浏览 0提问于2015-05-07得票数 3
我想在哈斯克尔建立一个生物系统模型。我想这样做如下。
每个单元格都是一个实体；就像面向对象编程中的一个对象。该实体可以读取全局变量并更新它们。每个实体可以有多个函数。当某些全局变量达到一定值时，每个函数都会计算某些值。根据计算结果，每个函数都会更新一些全局变量。类似于硬件描述语言，如VHDL、Bluespec和Verilog。
在Haskell中，推荐的方法是什么。我很了解基本的Haskell。我对Monad和Arrow也很满意。当我阅读反应性香蕉库时，我能掌握很多东西。
浏览 4提问于2014-02-07得票数 1
我读到过，可以使用foldr定义map，即它是一个原始的递归函数。至少对于列表是这样的。
现在我的问题是:为什么Functor不是Foldable的子类型类？如果fmap只能根据列表的foldr定义，那么它们的特殊之处在于什么呢？
使用foldr查看map的定义：
myMap f xs = foldr step [] xs
where step x ys = f x : ys
我可以使用Monoid来达到以下目的：
myMap f xs = foldr step mempty xs
where step x ys = f x : ys
但遗憾的是，我不是一个足够的哈斯克尔魔术师
浏览 3提问于2017-03-17得票数 0
1回答
这个月咖喱是本月最流行的语言。和一些用户开始进入它，所以让我们一起来一些提示。
Haskell和Curry在很多方面都是相似的，而Haskell的许多技巧在咖喱中也很管用，反之亦然。因此，在这个问题中，我想收集一些关于咖喱中的密码-高尔夫的技巧，这对于那些已经广泛阅读了我们哈斯克尔提示的人来说是有用的。
这将涵盖你可以做的酷的事情，你不能在哈斯克尔，以及技巧，以绕过你不能做的酷的事情，你可能会习惯从哈斯克尔。
请每个答复只发一条小费。
浏览 0提问于2022-04-05得票数 11
考虑一个成员为* -> *类型的类型类。例如：Functor类型。这是一个众所周知的事实，在哈斯克尔，有一个对应的类型和它的数学(即范畴理论)类比。概括：
问题1:是哈斯克尔的每一个类型，其成员都是* -> *，它们对应于类别之间的某些功能吗？
现在考虑一个类型类型的类型，其成员为*类型。例如，可以想象一个类型类Group，它对应于组的类别(从技术上讲，Group将是Hask的一个子类别，其对象包含Haskell的所有类型)。概括：
问题2:，哈斯克尔的每一种类型的*成员是否都对应于某个类别(技术上：Hask的某些子类别)？
由此，可以提出下一个一般性问题：
问题3:的类型是否等于
浏览 1提问于2016-05-21得票数 8
我是哈斯克尔的新手，现在<*>惹上麻烦了：
((==) <*>) :: Eq a => (a -> a) -> a -> Bool
我如何理解这一点，以及如何推断？
浏览 2提问于2013-09-15得票数 27
回答已采纳
3回答
为什么可以在Haskell列出这样的清单：
slist = [ [], [[]], [[],[[]]] ]
据我所知，这里的每个元素都有不同的类型(例如，在数学中，{}等等)。而ghci说：
> :t []
[] :: [t]
> :t [[]]
[[]] :: [[t]]
正式地说，我看到了不同的音符。
换句话说，第一个元素是一个简单的空列表，第二个元素是list (!)列表。诸若此类。
怎么啦？为什么哈斯克尔认为他们是相同的类型？
浏览 1提问于2018-09-23得票数 12
回答已采纳
1回答
我是第一次尝试F#，没有多少先验的理论函数式编程知识。
我写了一个小函数，所以在列表上计算简单的移动平均线。下面是：
let rec sma n data =
let length = List.length data
if length < n then data
else (sma n data.[..length-2]) @ [List.average data.[length - n .. ]]
我对这个结果并不满意。它看上去笨手笨脚，我原以为会有一个更优雅的解决办法，但却找不到。然后我有了一个疯狂的想法，然后倒过来了。我计算了SMA，从清单的第一步开始移动到前面：
浏览 0提问于2018-12-07得票数 4
回答已采纳
正如泰斯说的，我没有完全理解哈斯克尔是怎么解释的
1:[[]]
为什么它似乎要做(1:[]):[]呢？
我从以下几个方面得到了这样的想法：
part'::[a] -> [[a]]
part' [] = [[]]
part' (x:xs) = p ++ [x:ys | ys <- p]
where p = part' xs
专门来自p ++ [x:ys | ys <- p]
part'[1]：我的思路正确吗？
part'[1] = (part'[]) ++ [1:ys | ys <- part'[]]
浏览 2提问于2017-12-15得票数 1
回答已采纳
为什么我们不用其他编程语言来讨论虚拟环境呢？像java，c++，javascript这样的语言有什么等价吗？
在其他语言中，这个概念和python一样重要吗？我注意到，虚拟人最初是在2007年发布的。在那之前人们用了什么？甚至在2000年之前？
浏览 1提问于2019-06-26得票数 5
回答已采纳
我刚刚安装了GNUStep，MSYS，代码和开发，允许我开发目标C在Windows上的应用程序。我按照所有的指示，意识到我遇到了一个问题。当我这样做:控制台中的C:\Users\Marcelo> g++ o.m时，我得到以下内容：
=>g++: CreateProcess: No such file or directory
我在StackOverflow中看到了4个类似的问题，但没有一个问题与目标C有任何关系，也没有一个答案能让我解决这个问题。我已经做了所有被要求的事：
重新启动计算机
检查环境路径
访问C:\GNUStep\bin\g++以执行操作
我的可变
浏览 1提问于2014-08-26得票数 0
回答已采纳
1回答
不能仓促安装镜头
、、
我正试着安装镜头包和haskell一起工作。
$ haste-inst install lens
我得到以下错误：
Resolving dependencies...
cabal: Could not resolve dependencies:
trying: base-4.6.0.1/installed-4.6... (user goal)
trying: containers-0.4.1.0/installed- (user goal)
trying: lens-4.9.1 (user goal)
next goal: template-haskell (dependency of len
浏览 5提问于2015-04-23得票数 1
回答已采纳
2回答
目前我只使用哈多克，但是在看到一些非常有趣的例子(例如)后，我对在一个项目中尝试它感兴趣。
我要问的问题是：
你写什么作为哈多克注释，你写什么在识字部分？
如何将识字编程扩展到多个文件？有人能给我举一个例子，在一个包含多个模块的包中使用识字编程吗？您在较大的包中使用识字编程的经验是什么？
哪种味道(标记，乳胶，.)识字的哈斯克尔更好？
你为什么要用识字的Haskell或普通的香草Haskell编程？您是否使用这两种样式进行编程，如果是的话，原因何在？
你喜欢块式(\begin{code})还是鸟式(>)？为什么？
浏览 4提问于2010-04-25得票数 41
回答已采纳
1回答
是否有执行转换Seq[Option[T]] -> Option[Seq[T]]的Scala方法
Haskell的等价物是sequence :: Monad m => [m a] -> m [a]。
浏览 3提问于2014-03-26得票数 1
回答已采纳
1回答
创建一个万能计算器
、、、
灵感。 倒过来。
计算给定的总括表达式。
Omnifix就像普通数学的infix表示法，但是每个符号的附加副本都围绕着参数。外部符号代替括号，因此不需要额外的括号。
您必须支持加法、减法、乘法、除法和正数实数(负数可以写为-0-n-)，为您的语言提供合理的范围。
加号和减号必须是+和-，但是您可以使用*或×表示时间，使用/或÷表示除法。其他合理的符号将被允许根据要求。
用于解释和附加功能的布朗尼点(如附加操作、负数、字符串等)即使你的答案没有这些特性，你也可以自由地展示它是如何做到的。
如果可能的话，请提供一个链接来测试您的解决方案。
示例
为了清晰起见，下面的解释使用高负数(¯)来表示负数。
浏览 0提问于2017-07-27得票数 16
2回答
我有一个脚本运行，并告诉我，如果一个用户属于一个特定的AD组，将识别他正在使用的VPN。当脚本遇到不属于它破坏的域的用户时，我想请求您帮助添加一个将打印出该用户不在系统中的输出文件，并继续检查其余部分。
另外，当我只为我所知道的系统中的用户运行它时，它会多次将他们的名字与他们不属于的AD组放在一起。
Get-Content D:\Scripts\VPNGroup\List1.txt | Foreach-Object {
$name = ( ( net user $_ /domain | select-string 'full name' | out-string ).T
浏览 0提问于2019-05-17得票数 0
回答已采纳
假设我有一个Data.ByteString和一个所需的更改列表，[(Int, Word8)]，其中Int是一个索引，而Word8是一个新的字节值。如何以最有效的方式应用这些变化？
在C中，它将是更改列表上的一个简单循环，并在其中直接进行就地突变：buffer[pos] = value。但我不能在哈斯克尔发生变异，是吗？这是否意味着，如果我有一个100 to的二进制blob，并且需要更改一个字节，在Haskell中，我必须制作一个完整的副本？
浏览 2提问于2021-03-02得票数 1
回答已采纳
我可以在JS中使用PureScript类型吗？例如：
type SomeType = /*type declaration*/
func :: SomeType
func = /*type construction*/
然后在JS做这样的事情：
let a = module.func()
a instanceof module.SomeType === true
如果没有，如果有任何Haskellish语言，我可以实现它(榆树，GHCJS，Idris?)
浏览 2提问于2019-12-26得票数 3
回答已采纳
2回答
BNFC安装错误
、、、
我正在尝试在我的Mac上安装BNFC (运行OS塞拉利昂)。我已经安装了(v.8.0.1)，我已经安装了阴谋，然后使用它来安装alex (v3.2.1)和高兴(v1.19.5)。然后，我运行阴谋安装bnfc，并正确安装。问题是，当我输入bnfc或尝试使用我得到的任何bnfc命令时：
-bash: bnfc:未找到命令
这里有什么东西我遗漏了吗？当我再次尝试安装BNFC时，我得到：
所有请求的软件包都已安装: BNFC-2.8.1
有什么想法吗？谢谢!
浏览 4提问于2016-11-23得票数 1
回答已采纳
2回答
我的代码：
map head $ map (splitOn ":") inputlines
运行正常，inputline是一个列表；但是，以下代码不起作用：
map head . (splitOn ":") inputlines
Nor
map head . (splitOn ":") $ inputlines
我的想法是，head . (splitOn ":")使它等同于一个单一的函数。然后使用map将单个函数应用于列表inputlines。但是它不工作，有什么问题吗？
浏览 3提问于2014-10-14得票数 0
2回答
我正在学习哈斯克尔，在互联网上，我从菲利普·瓦德勒那里找到了。
我读了它，一点也不理解，但它以某种方式与多态函数联系在一起。
例如：
polyfunc :: a -> a -> a
它是任何类型的多态函数。
与示例polyfunc相关的自由定理是什么
浏览 0提问于2017-08-03得票数 2
3回答
首先，我很抱歉，如果这里不是这个问题的合适位置，但我认为th.CS不是正确的地方，StackOverflow也不是。
我非常喜欢函数式编程，我认为我是F#中的一个中等水平的人，对Haskell的基本概念有很好的理解-是的，我想我知道/感觉就像我知道Monad是什么。
现在我真的想把这个带到下一个层次，想了解所有关于函子和其他东西的讨论是关于什么的。我只是不知道从哪里开始。
读过关于兰达微积分的文章吗？范畴理论？两者我都知道一点，我不认为这是正确的/最快的方式来启发。
也许你能给我一些提示。
PS:我不害怕数学，我也不会轻易地对摘录感到沮丧，但我会先写一些简介/文本，这样你就可以把一些代码写下来
浏览 0提问于2011-08-20得票数 12
回答已采纳
我是haskell的初学者，我的问题可能很明显。我想在xmonad中加上褪色。守则：
xmonad $ defaultConfig
{ manageHook = manageDocks <+> manageHook defaultConfig
, layoutHook = smartSpacing 7 $ avoidStruts $ layoutHook defaultConfig
, borderWidth = 1
浏览 5提问于2015-12-30得票数 1
回答已采纳
下面是可扩展AST的代码。我的目标是允许以后在Expr类中添加更多的表达式类型，而不是在单个数据块中添加所有类型。
data Constant o = Constant o deriving (Show)
data Add l r o = Add (l o) (r o) deriving (Show)
class Expr e where
simplify :: (Expr a, Num o) => (e o) -> (a o)
instance Expr Constant where
simplify (Constant a) = Constant a
instan
浏览 1提问于2018-03-11得票数 1
回答已采纳
1回答
人们说Haskell没有状态。我认为实际的计划需要国家。哈斯克尔也是如此。Haskell没有保存状态的变量，haskell如何保存状态？我认为haskell在头脑中使用lambda变量作为记忆！
someAction1 >>= \result1 ->
( someAction2 >>= \result2 ->
( someAction3 >>= \result3 -> return (somef result1 result2 result3)))
最后一个函数通过someAction1，someAction2，someAc
浏览 4提问于2022-01-30得票数 3
回答已采纳
我使用stack new <name>，然后使用hpack-convert，并将依赖项添加到package.yaml中，以便跳过仪式并开始编写Haskell代码。
为什么总是有一个Setup.hs文件？据我所知，我不使用自定义设置。我是否需要在某个时刻包含此文件？
浏览 5提问于2017-09-24得票数 1
1回答
我正在使用Text.XML.Light编写XML (反)序列化程序，并废弃样板(at )，到目前为止，我已经得到了用于“普通”at的工作代码，但我仍然坚持反序列化存在性。
我得到了存在主义数据类型
data DataBox where
DataBox :: (Show d, Eq d, Data d) => d -> DataBox
我正试着让这个编译
instance Data DataBox where
gfoldl k z (DataBox d) = z DataBox `k` d
gunfold k z c = k (z DataBox) -- not OK
浏览 5提问于2010-05-15得票数 8
回答已采纳
1回答
Haskell中的有向图
、、、
我现在在和Haskell做斗争。甚至，我对命令式语言也有一些经验，使用OOP，但Haskell似乎与它们不同。我低估了哈斯克尔，认为学习一门新语言对我来说不是问题。然而，在花了整整一周的新概念(类型，函子，应用程序，一元，单.阅读这个的所有14个章节，我注意到它们使我如此困惑，不知道如何开始与Haskell一起编写一个程序。一些专家说你需要几个月的时间才能掌握Haskell。但我只有两周的时间来完成一个大项目。
因此，我的第一个问题是如何学习Haskell
( 2)当我需要使用应用函子时，当我需要使用单数时？
3)我的项目是处理基于许多演示文稿的有向图：
邻接矩阵
二值搜索树
浏览 1提问于2012-11-20得票数 0
回答已采纳
1回答
给定包含小写字母的文本字符串，将其编码如下：(我将使用abcdef)
首先，对字母密码进行编码，但这次是0索引.000102030405
倒过来。504030201000
通过字符串循环。
如果下两个数字加在一起是25或更小，则对这两个数字进行编码。5 04 03 02 01 00 0
否则，对一个数字进行编码。f e d c b a a
加入。fedcbaa
测试用例
abcdef fedcbaa
abcdefghijklmnopqrstuvwxyz fyxwvucjsrqponmlktihgfedcbaa
helloworld
浏览 0提问于2016-11-06得票数 4
为什么哈斯克尔有Data.Sequence？(懒惰的)列表不是已经是最通用的前向迭代器了吗(由于是自由的么半群)？
浏览 0提问于2013-06-29得票数 3
我有一个.NET库，目标是.NET 4.5，其中包含一些
Debug.Assert (condition);
甚至是
Debug.Fail ("foo");
然后，我让UnitTests项目(仍然是.NET 4.5，nunit 2.6.2)引用我的库。当我运行测试或调试测试时，当其中一个断言失败时，执行不会停止。Debug.Assert()应该抛出的异常被吞并并忽略。
我正在运行Xamarin Studio 4.2。这些项目在Visual上的行为与预期相同。
如果我的库是在Xamarin.iOS上构建的，而我是从一个Xamarin.iOS应用程序中引用它的话，也会发生同样的事情
浏览 1提问于2013-11-16得票数 0
我是哈斯克尔的新手；只是为了一个项目，我应该理解源代码:我一直在看Udemy课程，“学习你一个哈斯克尔”，还有其他人，但在这一点上我仍在挣扎：。
我想知道“命名指令”代表什么，以及代码片段是做什么的：
maybeReportBug :: Named Instruction -> Int -> Checker Uninits UninitBug ()
maybeReportBug ni lineno = do
s0 <- getState
let allTainted = tainted s0
allFields = bitfields s0
unle
浏览 8提问于2022-10-07得票数 0
回答已采纳
大多数数学学生和Haskellers熟悉的指出：
给定两个整数a和b，对于b≠0，存在唯一的整数q和r，使得a= bq +r和0≤r< two _x。
这给出了商和余数的传统定义。这个认为它们是用编程语言实现的最好的方法。那么，为什么divMod总是绕过负无穷大的红利呢？
表明，divMod已经在quotRem上做了一些额外的工作；似乎不太可能很难把它做好。
代码
我编写了以下基于GHC.Base实现的欧几里德风格的GHC.Base实现。我很确定这是对的。
divModInt2 :: Int -> Int -> (Int, Int)
divModInt2 (I# x)
浏览 2提问于2014-06-13得票数 11
回答已采纳
2回答
我正在尝试计算递归代码列表中的非空列表的数量。我的目标是写一些简单的东西，比如：
prod :: Num a => [a] -> a
prod [] = 1
prod (x:xs) = x * prod xs
我已经有了关于边缘条件的信息和想法：
nonEmptyCount :: [[a]] -> Int
nonEmptyCount [[]] = 0
我不知道怎么继续，有什么建议吗？
浏览 3提问于2019-10-09得票数 2
回答已采纳
因此，我刚刚开始从“真实世界Haskell”一书中教自己Haskell，在做其中一个练习的过程中，我编写了以下代码：
step acc ch | isDigit ch = if res < acc
then error "asInt_fold: \
\result overflowed"
else res
where res
浏览 5提问于2009-08-22得票数 3
回答已采纳
1回答
在阅读哈德利·韦翰的高级R时，我了解了原子向量和列表、矩阵/数组和数据格式之间的区别。这是我以前没有真正意识到的，而且似乎是有道理的。
我的问题是，如果列表和数据更灵活(即它们允许多种数据类型)，那么如果原子向量和矩阵更具有限制性，为什么还要使用它们呢？
我想这可能会影响表演，但我不知道。
浏览 0提问于2015-03-18得票数 3
回答已采纳
在搜索雷蒙德·斯穆里安“模仿一只知更鸟”的信息时，我偶然发现了。我认为这是一个有趣的想法，并决定用这些组合子实现从第24章到“模仿一只知更鸟”中的“会算术的鸟”。我已经定义了真理、虚假、后继、前任和零检查组合子，再加上将组合布尔转换为Haskell布尔的函数，反之亦然。但是，当我试图创建一个函数，它接受一个组合数并返回一个整数时，我总是会遇到一些问题。我想知道如何使这个函数工作。到目前为止，我得到的是：
-- | The first 7 combinators below are from Stephen Tetley's Data.Aviary.Birds
-- | (http://
浏览 3提问于2014-02-04得票数 6
回答已采纳
2回答
我感兴趣的是，在其他语言(跳过.Net)中是否可以使用类似LINQ的内容来编写声明性查询和编译时检查查询，这些查询可以翻译成SQL：
强类型语言
对lambdas/clousures有很好的支持
能够生成表达式树/引用
在Lisp、Haskell、F#等地有可能吗？
浏览 3提问于2012-05-23得票数 0
1回答
我正在熟悉python，但我刚刚发现了，即使我目前正在尽可能多地阅读文档，我也很难为我的简单问题找到简单的答案：
如何对一段音乐(例如从.wav或.aup文件中)进行特定速率的采样，以获得时间和频率(或log2)，最终使用？
这里的想法是指定速率(比方说每0.1秒)并得到行。
Time, Frequency
.1,441.223
.2,441.266
.3,441.488
etc.
我猜music21.audioSearch.autocorrelationFunction工具应该没问题，但我不确定我是否确切地理解它的作用.
如果有帮助的话-，我的目标是通过计算分析把这些音乐放在一起，以
浏览 0提问于2017-12-07得票数 0
1回答
具有给定度序列的多图
、、、
此挑战将以偶数的分区形式向您提供度序列的输入。您的目标将是编写一个程序，它将输出具有这个度序列的无循环标记多图的数量。
示例
例如，给定输入[3,3,1,1]，您应该在四个顶点\{v_1, v_2, v_3, v_4\}上输出标记多图的数目，例如\deg(v_1) = \deg(v_2) = 3和\deg(v_3) = \deg(v_4) = 1。在这个例子中，有三个这样的多图：
📷
有关更多示例，请参见Gus关于OEIS序列A209816的链接。
目标数据
input | output
----------------+--------
[6,2] |
浏览 0提问于2019-10-28得票数 8
回答已采纳
2回答
我用榆树做了一项调查，用单选按钮来回答不同的问题。用户可以在问题之间来回单击，并选择不同的无线电选项。然而，如果用户回溯调查，我会有一些不稳定的行为。
如果你做了一些选择，点击“下一个问题”做几个选择，然后点击“前一个问题”你之前的选择“消失”。
我创建了一个可以在上查看的示例。
浏览 0提问于2018-04-25得票数 5
回答已采纳
1回答
C++中的空间泄漏？
、、、
在中，我的眼睛读到：
。。立即从当前函数返回，可能跳过后面的清理代码，可能会导致空间泄漏。
而我的大脑预计会有记忆泄漏。
这是C++中使用的术语吗？如果是这样的话，这意味着什么(换句话说，它与内存泄漏的区别)？
在中，空间泄漏是指程序或特定计算使用比所需内存多得多的情况。
在中，使用“空间泄漏”这个短语是没有意义的。
浏览 4提问于2018-12-20得票数 5
回答已采纳
1回答
我试图在第一行中读取n，然后从n行输入，并从每一行中打印前2个元素的和，例如：
输入：
2
1 2
3 4
输出：
3
7
到目前为止，我的代码看起来是：
import Control.Monad
fromDigits = foldl addDigit 0
where addDigit num d = 10*num + d
first (x:xs) = fromDigits x
second (x:xs) = fromDigits xs
main = interact processInput
processInput input = unlines [perL
浏览 3提问于2016-03-03得票数 1
回答已采纳
我喜欢哈默斯彭 for macOS，我想切换到Linux。对于Linux，是否有类似于哈默斯彭的东西？
浏览 0提问于2020-05-10得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
