Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
Haskell/GHC:使用相同模式匹配多个一元构造函数
所以我正在尝试定义 TrieSet 数据类型 尽管我知道我不需要 http hackage haskell org package TrieMap module Temp where import Data Map data TrieSet
Haskell
constructor
patternmatching
ghc
我可以获得有关过度限制类型签名的警告吗?
当我为可能更具多态性的函数提供类型签名时 GHC 或某些 lint 工具可以告诉我吗 GHC 不这样做 快速搜索 Hackage 也没有发现任何结果 实现这样的事情的一个简单但可能非常有效的方法是在 GHCi 中加载模块 使用 browse
Haskell
ghc
GHC 可以为 monad 转换器派生 Functor 和 Applicative 实例吗?
我正在尝试实施MaybeT本着mtl图书馆 使用这个非编译解决方案 LANGUAGE FlexibleInstances MultiParamTypeClasses UndecidableInstances import Control M
Haskell
monads
ghc
monadtransformers
使用通用元组函数一次进行多次折叠
如何编写一个接受类型函数元组的函数ai gt b gt ai并返回一个函数 该函数接受类型元素的元组ai 类型的一个元素b 并将每个元素组合成一个新的元组ai 那是签名应该是这样的 f a1 gt b gt a1 a2 gt b gt a2
Haskell
ghc
fold
higherorderfunctions
unsafeInterleaveIO 什么时候不安全?
与其他不安全 操作不同 文档 http hackage haskell org packages archive base latest doc html System IO Unsafe html v unsafeInterleaveIO
Haskell
ghc
lazyevaluation
更新 mtl 后找不到模块“Control.Monad.State”
我想用Control Monad Except模块 但结果发现我有一个过时的 mtl 包 它导致了导入错误 我有一个过时的模块Control Monad Error 所以我做了 sudo cabal install mtl 并且安装了2 2
Haskell
ghc
cabal
作用域类型变量需要显式 foralls。为什么?
如果你想使用 GHC词法作用域类型变量 http www haskell org ghc docs 7 6 2 html users guide other type extensions html scoped type variable
Haskell
ghc
typesystems
quantifiers
typeextension
使用 Rank2Types 相比 RankNTypes 有什么优势吗?
据我所知 仅 针对 2 级类型存在可判定的类型检查算法 GHC 是否以某种方式利用了这一事实 它有任何实际意义吗 是否还有 2 级类型的主要类型概念和类型推断算法 如果是的话 GHC 使用它吗 与Rank 2类型相比 Rank 2类型还有其
Haskell
ghc
typeinference
higherranktypes
使用 haskell 构建动态库并从 C++ 中使用它
我想构建一个包含 haskell 函数的动态库 我在 Linux 上工作 想从 C 代码中调用这个动态库 我用的例子是http wiki python org moin PythonVsHaskell http wiki python or
c
Haskell
g
ghc
FFI
符号 __module_registered 错误的重复定义
我从 GHCi 收到一条关于 符号 module registered 的重复定义 的错误消息 如下所示 GHCi runtime linker fatal error I found a duplicate definition for
Haskell
Linker
ghc
ld
COMPLETE pragma 不会阻止不完整模式警告
我为类似列表的类制作了两个模式视图 infixr 5 lt pattern lt Stream s gt Token s gt s gt s pattern b lt bs lt uncons gt Just b bs where b lt
Haskell
ghc
如何在 Haskell 中使用 TypeApplications?
With XTypeApplications在 GHC 8 0 中 您可以使用显式指定类型 前面的函数参数 它到底指定了什么类型 尤其是当有多个类型时 有介绍吗 如果你看一下函数的类型 elem Foldable t Eq a gt a g
Haskell
types
ghc
languageextension
在 ghci 中跟踪历史
历史管理在 GHCI 或其他基于 Haskell 的 REPL 中如何工作 由于 Haskell 是一种纯语言 我猜它是使用 monad 实现的 也许是状态单子 http learnyouahaskell com for a few mon
Haskell
State
ghc
readevalprintloop
ghci
分析/改善内存使用和/或 GC 时间
Original 我正在尝试聚合 CSV 文件并遇到 我认为 过多的内存使用和 或 GC 工作 当团体数量增加时 这个问题似乎就会出现 当键达到数百或数千时没有问题 但当键达到数万时很快就会开始在 GC 中花费大部分时间 Update 搬家
Haskell
ghc
模棱两可的出现“只是”
我是一个绝对的初学者 使用 emacs 浏览 LYAH 我当前的设置 Ubuntu 12 04 LTS 使用体验 初学者 GNU Emacs 23 Use Experience beginner 能够在 haskell 主要模式下工作 发现
Haskell
emacs
ghc
ghci
haskellplatform
Haskell 中的融合是什么?
我时不时地注意到 Haskell 文档中的以下内容 例如在Data Text https hackage haskell org package text 1 2 2 1 docs Data Text html 受融合影响 What is
Haskell
Optimization
ghc
streamfusion
如何让“ghci”使用我的“show”功能?
假设您想使用自己的显示函数 例如 let show take 1000 Prelude show 你怎么可以允许ghci使用它来代替内置的打印show 您可以定义自己的交互式打印 https downloads haskell org gh
Haskell
ghc
readevalprintloop
ghci
Haskell GHC 动态编译仅适用于第一次编译
按照发布的 GHC 教程here http www bluishcoder co nz 2008 11 dynamic compilation and loading of html并按照以下建议对此代码进行更改我之前问过的一个堆栈溢出问题
Haskell
compilerconstruction
ghc
dynamiccompilation
ghcapi
了解 STG
GHC 的设计基于 STG 它代表 无脊椎 无标签的 G 机器 现在G machine显然是 图缩减机 的缩写 它定义了惰性是如何实现的 未评估的 thunk 存储为表达式树 执行程序涉及reducing这些都归结为正常形式 Atree是一
Haskell
Compilation
ghc
bytecode
intermediatelanguage
GHC如何实现unsafePerformIO?
从 开始unsafePerformIO并以 RTS libc 或操作系统 API 结束 GHC 如何实现 IO 我试图了解当标准前奏不可用时 IO 在 Haskell 中如何工作 例如 如果我们出于某种原因自己实现标准前奏 我原本希望在 G
Linux
Haskell
ghc
1
2
3
4
5
6
7
»