monad.tex

% !TEX TS-program = xelatex
% !TEX encoding = UTF-8

% This is a simple template for a XeLaTeX document using the "article" class,
% with the fontspec package to easily select fonts.

\documentclass[11pt]{article} % use larger type; default would be 10pt

\usepackage{fontspec} % Font selection for XeLaTeX; see fontspec.pdf for documentation
\defaultfontfeatures{Mapping=tex-text} % to support TeX conventions like ``---''
\usepackage{xunicode} % Unicode support for LaTeX character names (accents, European chars, etc)
\usepackage{xltxtra} % Extra customizations for XeLaTeX

\usepackage[colorlinks=true,pdfstartview=FitH,bookmarks=true]{hyperref}

% other LaTeX packages.....
\usepackage{geometry} % See geometry.pdf to learn the layout options. There are lots.
\geometry{a4paper} % or letterpaper (US) or a5paper or....
%\usepackage[parfill]{parskip} % Activate to begin paragraphs with an empty line rather than an indent

\usepackage{listings}
\lstset{frame=leftline,basicstyle=\sffamily,language=Haskell}
\usepackage{zhspacing}

\title{Undertanding Haskell Monads}

\author{Author: Ertugrul S\"oylemez\\
\url{http://ertes.de/articles/monads.html}\\[2mm]
翻译：李群}

\date{\today\\
Version 1.03}

\zhspacing
\begin{document}
\maketitle

Haskell 是一门流行的现代函数式程序设计语言，它易于学习，语法优美，并且相当富有生产力。可是学习Haskell的过程中有一个最大的障碍，那便是Monad。虽然它们其实相当简单，但初学者很容易对其感到困惑。 我对于将Haskell推广到现实应用深怀兴趣，因此写下这篇介绍。

\clearpage
\renewcommand\contentsname{目录}
\tableofcontents
\clearpage

\input{preamble}\clearpage
\input{motivation}\clearpage
\input{example}\clearpage
\input{monads}\clearpage
\input{properties}\clearpage
\input{state}\clearpage

\section{IO Monad}
\section{语法糖}
\section{更多语法糖}
\section{回溯跟踪Monad}
\section{Monad库函数}
\section{Monad变换器}

\end{document}