标签: ghc

如何卸载Cabal软件包的版本？

Happstack Lite打破了我,因为它获得了blaze-html版本0.5,它需要版本0.4.Cabal表示安装了0.4.3.4和0.5.0.0 两个版本.我想删除0.5.0.0并仅使用旧版本.但是cabal没有"卸载"命令,当我尝试时ghc-pkg unregister --force blaze-html,ghc-pkg说我的命令被忽略了.

我该怎么办？

更新:不要相信.虽然ghc-pkg声称忽略该命令,但该命令不会被忽略.在Don Stewart接受的答案中,您可以删除您想要删除的版本.

haskell ghc cabal

Nor*_*sey

2012 05-16

81
推荐指数

4
解决办法

4万
查看次数

我应该使用GHC Haskell扩展吗？

在我学习Haskell时,我发现在现实代码中使用了很多语言扩展.作为初学者,我应该学会使用它们,还是应该不惜一切代价避免使用它们？我看到它破坏了与Haskell 98的兼容性,并且仅将代码限制为几乎GHC.但是,如果我在Hackage上浏览软件包,我发现大多数软件包都是GHC的.

那么,社区对使用语言扩展的态度是什么？

如果扩展的使用是可以的,我如何区分我可以"安全地"使用的扩展(那些可能成为下一个Haskell标准的一部分的扩展)与那些主要是"实验性"的扩展？例如,我认为-XDisambiguateRecordFields很好用,但未来很可能会得到支持吗？

haskell ghc

sas*_*nin

lucky-day

78
推荐指数

4
解决办法

5707
查看次数

如何在解释模式下运行haskell文件

我被告知你可以解释haskell文件(我认为这意味着它们将像Ruby/Python/Perl一样工作).但是,无法在ghc上找到命令行选项来执行此操作.它总是想编译我的文件.看看ghci也是如此,但它总是把我扔进一个repl.

我基本上只想做ghc -i MyFile.hs(其中-i是一个组成的标志,我假装与解释模式相关)并让它执行以便我可以在我尝试创意和学习时获得快速反馈.

haskell interpreted-language ghc ghci

Jos*_*eek

2018 06-20

70
推荐指数

3
解决办法

3万
查看次数

外国primop的cmm调用格式(integer-gmp示例)

我一直在检查integer-gmp源代码,以了解如何根据GHC Primops页面上记录的cmm实现外部primops .我知道使用llvm hack或fvia-C/gcc 实现它们的技术- 这对我来说是理解interger-gmp库使用的第三种方法的更多学习经验.

所以,我抬头一看CMM教程MSFT页(PDF链接),经历了GHC CMM页,仍然存在一些悬而未决的问题(很难保持在头所有这些概念没有挖掘到CMM这就是我现在所做的).这是来自integer-bmp cmm文件的代码片段:

integer_cmm_int2Integerzh (W_ val)
{
   W_ s, p; /* to avoid aliasing */

   ALLOC_PRIM_N (SIZEOF_StgArrWords + WDS(1), integer_cmm_int2Integerzh, val);

   p = Hp - SIZEOF_StgArrWords;
   SET_HDR(p, stg_ARR_WORDS_info, CCCS);
   StgArrWords_bytes(p) = SIZEOF_W;

   /* mpz_set_si is inlined here, makes things simpler */
   if (%lt(val,0)) {
        s  = -1;
        Hp(0) = -val;
   } else {
     if (%gt(val,0)) {
        s = 1;
        Hp(0) = val; …

Run Code Online (Sandbox Code Playgroud)

haskell ghc

Sal*_*Sal

lucky-day

63
推荐指数

1
解决办法

991
查看次数

GHC-7.6中的数据构造函数升级

我有这个代码:

class SymbolSet tpe where
  data Symbol tpe :: *

data SSet tpe where
  Identity :: tpe -> SSet tpe
  And :: SSet tpe -> Symbol tpe -> SSet tpe

class HasElem a b where

instance (SymbolSet tpe) => HasElem (And (Identity tpe) s) s
instance (HasElem sset s) => HasElem (And sset s) s

Run Code Online (Sandbox Code Playgroud)

这是在GHC-7.4中编译的.但是,在转向GHC-7.6时,它开始出现编译错误:

'And' of tpe `forall tpe. tpe -> Symbol * tpe -> SSet tpe' is not promotable

Run Code Online (Sandbox Code Playgroud)

在挖掘文档时,我发现在GHC-7.6与GHC-7.4的 "数据类型升级"页面中添加了一个新的条款

我们不会提升其构造函数是多态的,涉及约束或使用存在量化的数据类型.

我的问题是:

不推广此类构造函数背后的理由是什么？ …

constructor haskell ghc

rab*_*isg

2014 02-15

63
推荐指数

1
解决办法

1583
查看次数

混合Erlang和Haskell

如果你已经购买了函数式编程范例,那么你很可能同时喜欢Erlang和Haskell.两者都具有纯粹的功能核心和其他优点,如轻量级线程,使其非常适合多核世界.但也存在一些差异.

Erlang是一种商业上经过验证的容错语言,具有成熟的分发模型.它具有看似独特的功能,能够通过热代码加载在运行时升级其版本.(太酷了!)

另一方面,Haskell拥有任何主流语言中最复杂的类型系统.(我将'主流'定义为任何已发布的O'Reilly书籍的语言,因此Haskell很重要.)它的直线单线程性能看起来优于Erlang,其轻量级线程看起来更轻.

我正在尝试为我的编码生涯中的其余部分组建一个开发平台,并且想知道是否有可能将Erlang和Haskell混合以实现最佳的平台.这个问题有两个部分:

我想使用Erlang作为一种容错MPI来将GHC运行时实例粘合在一起.每个GHC运行时会有一个Erlang进程.如果"不可能发生"并且GHC运行时死亡,那么Erlang进程会以某种方式检测到并且也会死亡.Erlang的热代码加载和分发功能将继续工作.GHC运行时可以配置为仅使用一个核心,或本地计算机上的所有核心,或其间的任何组合.一旦编写了Erlang库,Erlang级别代码的其余部分应该是纯粹的样板,并在每个应用程序的基础上自动生成.(例如,可能是通过Haskell DSL.)如何实现这些方面的至少一部分？
我希望Erlang和Haskell能够共享同一个收集器.(这是一个比1更远的想法.)在JVM和CLR上运行的语言通过共享运行时实现更大的质量.我知道在JVM或CLR上运行Erlang(热代码加载)和Haskell(更高的kinded多态)存在技术限制.但是如果只拆分垃圾收集器呢？(对函数式语言的运行时的开始排序.)分配显然仍然必须非常快,所以也许这个位需要静态链接.并且应该有一些机制来区分可变堆和不可变堆(因为GHC需要这个,所以一直存在懒惰的写入内存.是否可以修改HIPE和GHC以便垃圾收集器可以共享堆？

请回答任何经验(积极或消极),想法或建议.事实上,任何反馈(没有直接滥用!)都是受欢迎的.

更新

感谢迄今为止的所有4个回复 - 每个回复教我至少一个我不知道的有用的东西.

关于其余的编码生活事物 - 我把它略微舌头放在脸颊上引发争论,但实际上是真的.我有一个项目,我打算继续工作直到我死,它需要一个稳定的平台.

在我上面提到的平台中,我只会编写Haskell,因为将自动生成样板Erlang.那么Haskell会持续多久？好吧Lisp仍然和我们在一起,看起来不会很快消失.Haskell是BSD3的开源软件,已达到临界质量.如果编程本身在50年左右仍然存在,我预计Haskell或者Haskell的一些不断演变仍将存在.

更新2 以回应rvirding的帖子

同意 - 实现一个完整的"Erskell/Haslang"通用虚拟机可能并非绝对不可能,但确实非常困难.尽管如此,将垃圾收集器级别作为VM之类的东西共享虽然仍然很难,但听起来要小一些.在垃圾收集模型中,函数式语言必须有许多共同点 - 不可变数据(包括thunk)的无处不在和非常快速分配的要求.因此,将通用性与单片VM紧密捆绑在一起这一事实似乎有些奇怪.

虚拟机确实有助于达到临界质量.看看像F#和Scala这样的"精简"功能语言是如何起飞的.Scala可能没有Erlang的绝对容错能力,但它为许多与JVM绑定的人提供了一条逃生路线.