什么是合法的文化Haskell？正式语法在哪里？

Question

有人将Literate Haskell和Markdown结合起来了.对我有意义,所以我想尝试一下.但是Haskell对Markdown'#'标头语法不喜欢:

Hello World

> main = putStrLn "hello, world"

作品...

$ runhaskell hello_world.lhs 
hello, world

而...

# Hello World #

> main = putStrLn "hello, world"

不...

$ runhaskell hello_world.lhs
hello_world.lhs:1:3: lexical error at character 'H'

什么是合法的定义？Haskell语法仅通过示例提及Literate Haskell,并且没有任何暗示Markdown语法无效.

Answer 1

第一列中的"#"会导致GHCi出现问题,即使代码块前后有空行也是如此.如果您使用的是Pandoc,则可以使用标题下划线来解决此问题.

Hello World
-----------

>  main = putStrLn "hello, world"

这是一个已知问题:http://hackage.haskell.org/trac/ghc/ticket/4836