Mercurial > hg > Papers > 2014 > toma-master
diff paper/chapter1.tex @ 5:658281be77ec
describe the abstract
author | Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 19 Jan 2014 09:35:05 +0900 |
parents | d8b94e828d79 |
children | 37efb7dc0bda |
line wrap: on
line diff
--- a/paper/chapter1.tex Sat Dec 28 11:59:35 2013 +0900 +++ b/paper/chapter1.tex Sun Jan 19 09:35:05 2014 +0900 @@ -1,4 +1,10 @@ -\chapter{序論} +\chapter{Haskellとは} +Haskellとは純粋関数型プログラミング言語である。 -\section{はじめに} -はじめに +\section{関数型プログラミング} +関数型プログラミング言語では、引数を関数に作用させていくことで計算を行う。 +Haskellは純粋であり、参照透過性を持つ。 +参照透過性という性質は、引数が同じならば関数は必ず同じ値を返すことを保証する。 +\section{データ型} +\section{Monad} +\section{並列実行}