识字哈斯克尔：参考文献和索引

Question

Literate Haskell 支持索引函数名称、类型类和变量引用吗？是否有一个可以在 Literate Haskell 源上运行的过滤器来执行此操作，并为我提供一份不错的 PDF 手册或超链接的 HTML 文档。

这些是 noweb 和 CWEB 我认为这将刺激 Literate Haskell 的广泛采用。

作为示例，请查看用 CWEB 编写的字数统计程序。第 4 项中第一页上的代码块带有使用该代码的位置的脚注。 LHS 不支持块，但我想知道代码在哪里使用：

1. 描述 func 的注释。

   func=id

   用于：（XYZf、ABCg、第 1.5 节）

   func2 = 未定义

   用于：（ABCx，第 2.1 节）

另外还有一个索引，用于聚合所有函数名称和变量以及它们在文档中和其他函数等中引用的位置。

Answer 1

Latex中有一些可能性，以下使用包 listings，与 makeindex 一起创建所有函数的列表。此外，\label 用于在不同部分之间创建交叉引用：

\documentclass[a4paper,11pt,reqno,twoside,pdflatex,makeidx]{amsart}

\usepackage[a4paper]{geometry}

\usepackage{listings}
\lstloadlanguages{Haskell}

\lstset{
    flexiblecolumns=false,
    basewidth={0.5em,0.45em},
    basicstyle=\ttfamily,
    language=haskell,
    % numbers=left, % optional numbering of code lines
    firstnumber=last,
    numberstyle=\tiny,
    stepnumber=2,  
    numbersep=5pt,
    index={fac,fac2}
}

\lstnewenvironment{code}{}{}

\usepackage{hyperref}

\title{The factorial function}
\author{Federico Squartini}
\date{}


\makeindex

\begin{document}
\maketitle
\section{Factorial function}
\label{code:fac1}
The factorial function can be defined as:

\begin{code}

fac 0 = 1
fac n = n * fac (n-1)

\end{code}
  
\section{Factorial function in constant space}
The code for the factorial defined section~\ref{code:fac1} uses $o(n)$ stack
space. The following function uses constant space:

\begin{code}

fac2 n = go 1 1
    where
      go !acc i| i <= n = go (acc*i) (i+1)
               | otherwise = acc

\end{code}

\printindex
\end{document}

编译为：

pdflatex 示例.tex

makeindex 示例.idx

pdflatex 示例.tex

pdflatex 示例.tex

生成的 pdf 位于 此处。这对于生成 pdf 文件非常有用。对于其他类型的输出（例如 html），您应该将 Latex 与 pandoc 一起使用。

另一种选择是使用 pandoc 的 markdown 语法，与临时乳胶命令（\label 和 makeindex）混合。这应该会简化任务并减少源文件中的语法噪音。