Contents
Chapter 1
1.1 ´Ø¿ô·¿¸À¸ì ML ¤È Objective Caml¤Ë¤Ä¤¤¤Æ
1.1.1 ML¡¦Objective Caml ¤ÎÆÃħ
1.2 »²¹Í½ñ¡¤»ñÎÁ¡¤¥Þ¥Ë¥å¥¢¥ë
1.3 ´Ä¶ÀßÄê
Chapter 2
2.1 ¥¤¥ó¥¿¥é¥¯¥Æ¥£¥Ö¥³¥ó¥Ñ¥¤¥é¤ò»È¤¦
2.1.1 ´Êñ¤Ê»È¤¤Êý
2.1.2 ¤½¤Î¾: ¥Õ¥¡¥¤¥ë¤«¤é¤Î¥×¥í¥°¥é¥à¤ÎÆÉ¤ß¹þ¤ß¡¦¥³¥á¥ó¥È
2.2 ´ðËܥǡ¼¥¿·¿¤È¤½¤Î±é»»
2.2.1
unit
·¿
2.2.2
int
·¿
2.2.3
float
·¿
2.2.4
char
·¿
2.2.5
string
·¿
2.2.6
bool
·¿
2.2.7 ·¿¥·¥¹¥Æ¥à¤È°ÂÁ´À
2.2.8 Îý½¬ÌäÂê
2.3 ÊÑ¿ô¤Î«Çû
2.3.1
let
Àë¸À
2.3.2 ´Ä¶¤ÈÀÅŪ͸úÈϰÏ
2.3.3 Îý½¬ÌäÂê
2.4 ´Ø¿ôÀë¸À
2.4.1 Îý½¬ÌäÂê
Chapter 3 ºÆµ¢Åª´Ø¿ôÄêµÁ
3.1 ¶É½êÊÑ¿ô¤È
let
¼°
3.1.1 Îý½¬ÌäÂê
3.2 ¹½Â¤¤Î¤¿¤á¤Î¥Ç¡¼¥¿·¿: ÁÈ
3.2.1 ÁȤòɽ¤¹¼°
3.2.2 ¥Ñ¥¿¡¼¥ó¥Þ¥Ã¥Á¤ÈÍ×ÁǤÎÃê½Ð
3.2.3 ÁȤòÍѤ¤¤¿´Ø¿ô
3.2.4 Îý½¬ÌäÂê
3.3 ºÆµ¢´Ø¿ô
3.3.1 ´Êñ¤ÊºÆµ¢´Ø¿ô
3.3.2 ´Ø¿ôŬÍѤÈɾ²ÁÀïά
3.3.3 ËöÈøºÆµ¢¤È·«¤êÊÖ¤·
3.3.4 ¤è¤êÊ£»¨¤ÊºÆµ¢
3.3.5 Áê¸ßºÆµ¢
3.3.6 Îý½¬ÌäÂê
Chapter 4 ¹â³¬´Ø¿ô¡¤Â¿ÁêÀ¡¤Â¿ÁêŪ´Ø¿ô
4.1 ¹â³¬´Ø¿ô
4.1.1 ´Ø¿ô¤ò°ú¿ô¤È¤¹¤ë´Ø¿ô
4.1.2 ƿ̾´Ø¿ô
4.1.3 ¥«¥ê¡¼²½¤È´Ø¿ô¤òÊÖ¤¹´Ø¿ô
4.1.4 Case Study: Newton-Raphsonˡ
4.1.5 Îý½¬ÌäÂê
4.2 ¿ÁêÀ
4.2.1 let¿Áê¤ÈÃÍ¿Áê
4.2.2 ¿Áê·¿¤È·¿¿äÏÀ
4.2.3 Case Study: ¥³¥ó¥Ó¥Í¡¼¥¿
4.2.4 Îý½¬ÌäÂê
Chapter 5 ºÆµ¢ÅªÂ¿ÁêŪ¥Ç¡¼¥¿¹½Â¤: ¥ê¥¹¥È
5.1 ¥ê¥¹¥È¤Î¹½À®Ë¡
5.2 ¥ê¥¹¥È¤ÎÍ×ÁǤؤΥ¢¥¯¥»¥¹:
match
¼°¤È¥ê¥¹¥È¥Ñ¥¿¡¼¥ó
5.3 ¥ê¥¹¥ÈÁàºî¤Î´Ø¿ô
5.4 Case Study: ¥½¡¼¥È¥¢¥ë¥´¥ê¥º¥à
5.5 Îý½¬ÌäÂê
Chapter 6 ¥ì¥³¡¼¥É·¿/¥ô¥¡¥ê¥¢¥ó¥È·¿¤È¤½¤Î±þÍÑ
6.1 ¥ì¥³¡¼¥É·¿
6.2 ¥ô¥¡¥ê¥¢¥ó¥È·¿
6.3 ¥ô¥¡¥ê¥¢¥ó¥È·¿¤Î±þÍÑ
6.4 Case Study: ÆóʬÌÚ
6.5 Case Study: ̵¸Â¥ê¥¹¥È
6.6 Îý½¬ÌäÂê
Chapter 7 »²¾È¡¤Îã³°½èÍý¡¤Æþ½ÐÎÏ
7.1 »²¾È¡¢¹¹¿·²Äǽ¥ì¥³¡¼¥É¤ÈÇÛÎó
7.1.1 »²¾È
7.1.2 ¹¹¿·²Äǽ¥ì¥³¡¼¥É
7.1.3 ÇÛÎó
7.1.4 ¿ÁêÀ¤È»²¾È
7.1.5 Case Study: ¥ª¥Ö¥¸¥§¥¯¥È»Ø¸þÉ÷¥×¥í¥°¥é¥ß¥ó¥°
7.2 À©¸æ¹½Â¤
7.3 Îã³°½èÍý
7.3.1 exception Àë¸À¤Èraise ¼°
7.3.2 Îã³°¤Î¸¡ÃÎ
7.4 ¥Á¥ã¥Í¥ë¤ò»È¤Ã¤¿Æþ½ÐÎÏ
7.5 Objective Caml ¤Îʸˡ¤Ë¤Ä¤¤¤ÆÊäÂ
7.6 Îý½¬ÌäÂê
Chapter 8 ñ½ã¤Ê¥â¥¸¥å¡¼¥ë¤È¥Ð¥Ã¥Á¥³¥ó¥Ñ¥¤¥ë
8.1 ¥é¥¤¥Ö¥é¥ê¥â¥¸¥å¡¼¥ë¤Î»È¤¤Êý
8.2 ¥â¥¸¥å¡¼¥ë¡¦¥¤¥ó¥¿¡¼¥Õ¥§¡¼¥¹
8.3 ¥Ð¥Ã¥Á¥³¥ó¥Ñ¥¤¥é¤Ë¤è¤ë¼Â¹Ô²Äǽ¥Õ¥¡¥¤¥ë¤ÎÀ¸À®