小编v21*_*217的帖子

purescript中的Eff-monad是否受到www.eff-lang.org的启发?

阅读有关Eff语言的内容,我想知道是否有类似的想法已经在使用中.Eff-Language提到了一篇名为"推断代数效应"的论文,该论文描述了Eff用于推断效果的算法.有相似之处吗?

functional-programming purescript

6
推荐指数
1
解决办法
539
查看次数

除了Haskell和Miranda之外,还有其他默认的懒惰评估语言吗?

维基百科页面上只提到了Haskell和Miranda.

我不确定榆树.

其他一些语言使得声明一个懒惰的函数变得特别容易.

是否有编程语言,您有一个全局开关,比如懒惰地评估模块或脚本文件?

haskell lazy-evaluation miranda

5
推荐指数
0
解决办法
166
查看次数

我在哪里可以下载Dart的离线文档?

有没有比使用网络爬虫更好的下载Dart文档进行离线观看的方法?

我还没找到任何东西!谢谢!

dart

3
推荐指数
2
解决办法
2289
查看次数

3
推荐指数
1
解决办法
280
查看次数

什么是最接近的等价物:在ghc源文件中输入ghci?

如果我想在Haskell源文件中比较类型或只打印类型信息,我有哪些选项?

debugging haskell types

3
推荐指数
1
解决办法
117
查看次数

如何在bash中的多字符分隔符上拆分字符串?

为什么不能使用以下bash代码?

for i in $( echo "emmbbmmaaddsb" | split -t "mm"  )
do
    echo "$i"
done
Run Code Online (Sandbox Code Playgroud)

预期产量:

e
bb
aaddsb
Run Code Online (Sandbox Code Playgroud)

bash shell ubuntu gnu-coreutils

3
推荐指数
4
解决办法
2万
查看次数

如何在崇高文本中显示幻像?

我读了这个描述:https://forum.sublimetext.com/t/dev-build-3118/21270/23

所以我在sublime控制台中尝试了这个:

view.erase_phantoms("test"); view.add_phantom("test",
view.sel()[0], "<img src=/home/v/4.png>",
sublime.LAYOUT_BLOCK)
Run Code Online (Sandbox Code Playgroud)

不幸的是,图片没有显示!

sublimetext3

3
推荐指数
1
解决办法
1467
查看次数

如何告诉runhaskell模块不在同一个文件夹中?

我想将一个模块放在不同的文件夹中.是否有可能在import语句中告诉模块的路径?注意我不想使用cabal,因为在我使用的编辑器中,runhaskell是haskell的默认可执行文件.

haskell module haskell-platform

2
推荐指数
1
解决办法
451
查看次数

以下 cmdline 参数的最短 `shell.nix` 等价物是什么?

shell.nix以下 cmdline 参数的最短等效项是什么?

nix-shell -p "haskell.packages.ghc865.ghcWithPackages (p: [p.ghci-pretty])"
Run Code Online (Sandbox Code Playgroud)

这有效,但它很冗长:

# contents of shell.nix file
# run with the following cmd:
# nix-shell shell.nix
{ nixpkgs ? import <nixpkgs> {} }:
let
  inherit nixpkgs;
  inherit (nixpkgs) haskellPackages;
  haskellDeps = a: with a; [
    ipprint
    base
    hscolour
    ghci-pretty
  ];
  ghc = nixpkgs.haskellPackages.ghcWithPackages haskellDeps;

  nixPackages = [
    haskellPackages.cabal-install
    ghc
  ];
in
nixpkgs.stdenv.mkDerivation {
  name = "profile_name";
  buildInputs = nixPackages;
}
Run Code Online (Sandbox Code Playgroud)

nixos nix nix-shell

0
推荐指数
1
解决办法
413
查看次数