【问题标题】:Haskell ghci lambda symbol in prompt提示中的 Haskell ghci lambda 符号
【发布时间】:2015-04-09 12:30:50
【问题描述】:

在 Haskell ghci 中是否有可能(以及如何)在提示符中获取 lambda 符号,例如这样

λ> 

使用 Linux Ubuntu 终端。

【问题讨论】:

    标签: haskell terminal prompt ghci


    【解决方案1】:

    您要查找的命令是:set prompt。按照您想要的提示进行操作。你可以把这个放在.ghci,我相信。

    :set prompt "λ> "
    :set prompt2 "λ| "
    

    【讨论】:

    • 谢谢大家,是否可以在设置提示中使用 unicode,例如值 03BB 表示 lamda 符号?
    • 要添加到 MathematicalOrchid 的答案,您应该在 .ghci 文件中写入以下两行::set prompt "λ> ":set prompt2 "λ| "
    • Q: But where do I put the .ghci file? 答:downloads.haskell.org/~ghc/latest/docs/html/users_guide/…
    • 至少从 GHC 版本 8.2.1 开始,prompt2 已被 prompt-cont 取代。
    【解决方案2】:

    您可以使用以下命令来使用 lambda 字符:

    :set prompt "\x03BB: "
    

    【讨论】:

    • 或者类似:set prompt "%s\n\x03BB ",如果你想在第一行看到加载的模块,在第二行看到λ
    猜你喜欢
    • 2018-07-31
    • 2011-12-18
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2017-04-17
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多