Mercurial > hg > Papers > 2014 > toma-master
annotate paper/chapter1.tex @ 6:37efb7dc0bda
describe introduciton
author | Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 19 Jan 2014 10:55:59 +0900 |
parents | 658281be77ec |
children | f354d23bd80d |
rev | line source |
---|---|
6
37efb7dc0bda
describe introduciton
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
5
diff
changeset
|
1 \chapter{Haskellとは} \label{ch:haskell} |
5
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
2 Haskellとは純粋関数型プログラミング言語である。 |
2 | 3 |
5
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
4 \section{関数型プログラミング} |
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
5 関数型プログラミング言語では、引数を関数に作用させていくことで計算を行う。 |
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
6 Haskellは純粋であり、参照透過性を持つ。 |
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
7 参照透過性という性質は、引数が同じならば関数は必ず同じ値を返すことを保証する。 |
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
8 \section{データ型} |
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
9 \section{Monad} |
658281be77ec
describe the abstract
Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
parents:
2
diff
changeset
|
10 \section{並列実行} |