[added by sumii on 2005.3.2]

2004ǯMinCamlλͲɤǡ٤ѤäƤޤ

 - boolӤ̤˥ݡ

 - ư黻̤˥ݡȡminiMLRuntime̾

 - OCamlǤlet reclet٤(!)ΤǡκƵؿʳletִ

----------------------------------------------------------------------

[original by Oiwa follows]

** Min-Caml & Objective Caml 
   ѥ顦CPU齬ѥ쥤ȥ졼 **

                                    2001.12.21 Yutaka Oiwa

****************
1. ϲ
****************

ΥץϡKawamichi Ryoji, Motohiko Nagano ξˤ
Chez Scheme ǥ쥤ȥ졼 (1996ǯ)  Min-Caml ˰ܿΤǤ

ܿäƤϡαդƥץ񤭴ƤΤǡ
̤ Caml ΥץȤƤԼޤ

ܥǡȤ͡¿ Τߤѡ

  - ͤ 1, 0 ȤƤ꤬ʤ褦θ

 tuple ʳΥǡ¤ȤäƤʤ

  -   1Ǥ˽񤭴
  - ꥹ  ˽񤭴
  - option (None/Some)   + ̤ѿ

¹ԻեʳǤưŪʥݤԤʤʤ

  - Х˳ݤѤؿ֤μϤ
  - ٥ȥͤΥǡϤ٤ƥХȤ

ӥץߥƥ (=, <, <= etc.) ˤΤ߻ѡ
  ¿Ӥϳؿ (fless, fequal) 

ѿʰ׻ͤޤˤο¿ʤ᤮
  濴ˡХѿȤѤ뤳Ȥ
  ꤵ쥸ѿ︺

ѿ2黻Ҥΰ򺸢ɾݤˡ˾ʤʤ
  褦˰μ let 

¾Min-Caml ιʸ˹碌ץν񤭴

  - begin, end  ( )
  - ؿΤ ; ༡¹Ԥʣμ  ( ) ǳ
  - ñΤǸ  if E then true else false ʤ

****************
 2. Ȥ
****************

* 2-1. Min-Caml ǤΥѥ

min-rt.ml  Min-Caml ιʸ§˱äƤΤǡΤޤ
ѥǤȻפޤminiMLRuntime.mli 򻲹ͤˤơ
ץबɬפȤ󥿥ؿ򵡳줫 Min-Caml 
󶡤Ʋ
ޤХѿɬפΰϡglobals.ml 򸵤ˤ
̤˳ݤƲ

* 2-2. Objective Caml Ǥμ¹

ޤץƬˤ (*NOMINCAML*) ǥȥ
Ƥ2Ԥ褵(*MINCAML*) Τ1ԤƲ
ξ° Makefile ȤХѥǤޤ

    񤭴Τɤͤϡ° preprocess.sh 
    ȤäơMakefile  PP ץͭˤСưŪ
    OCaml Compiler Ƥޤ顼å
    㤦ե (min-rt.ppo) ؤΤǵĤƲ

ƥȷ .sld եɸϤƤȡ
 .ppm եɸϤǤФޤ

* 2-2-1 ץߥƥִؿɲ

Min-Caml ˻äƤä˺ʤ褦ˡmin-rt.ml 
ѥ뤹ݤˤϡminiMLRuntime.mli ؿ
Ȥʤ褦˥ѥ륪ץ -nopervasives 
ꤷƤޤ

Min-Caml ˥ץߥƥ֤ɲäǡץߥƥ֤
ɲäϡΤ褦ˤƲ

(1) OCaml ˴ˤؿɲä硣

| ɤʬʤä Makefile  -nopervasives 
| äƤޤФȤꤢɸδؿȤ褦
| ʤޤξϻȤä㤤ʤΤȤäƤ뤫
| ɤϼʬǥåƲ

㤨С (/) ɲäϡ
Τ褦ˤޤ

 - miniMLRuntime.mli  

    val ( / ) : int -> int -> int

   1Ԥɲá

 - miniMLRuntime.ml Ŭʾ

    let ( / ) = ( / )

   ޤ

    let ( / ) = Pervasives.( / )

   1Ԥɲá

   | Pervasives ⥸塼ϡOcaml 
   | ǥեȤǤΤޤ޻ȤؿƤ⥸塼Ǥ

   | 󶡤 miniMLRuntime.mli ǴƤؿ
   | ؤƤϡ®Τ external ȤäƤޤ
   | ä˵ˤʤƤ⤤Ǥܤ ocaml ޥ˥奢뻲ȡ

(2) OCaml ˴ˤʤؿɲä硣

 - miniMLRuntime.mli Ŭɲá

 - miniMLRuntime.ml (Ƭ) Ǥδؿ
   ӴؿʳǻȤɬƬʤ
   顼ޤ

****************
 3. ¾
****************

ȤȤ Scheme ǤΥ򸫤Ƥ⡢¤ϤΥץ
ޤޤ르ꥺŪˤǽ;Ϥޤ
դˤϤۤȤɼĤƤʤΤǡ;͵Τͤ
ä1ץľȤΤ⤤Ǥ礦

Υץ Objective Caml бʬˤĤƤϡ
䤬ä <oiwa@yl.is.s.u-tokyo.ac.jp> ޤǥ᡼뤷Ʋ

****************
 4. ޤ
****************

ҤäȤȤϤޤ뤫Τʤ :-)

- ֥ȤΥǡ¤ǡͤˤ񤭴褦
  ץƬؿɬȤ褦
  ץ񤤤Ƥޤ (ɤ߹ߥ롼)
  δؿ餤ϥ饤󲽤뤳ȤˤƤޤ
  Υǡ2ʤδܻȤˤʤäƤޤΤǡ
  ˤʤͤϥץɤǺŬƲ

- ֥ɤ߹ߥ롼ϡȤȤ Scheme ΥС
  Ǥϡǡɤ߹ߢǡѴפȤ
  ƤޤΥСǤ
  1ǡɤ߹ߢǡѴפ򷫤֤褦ˤʤäƤޤ

  ꥢ̿νάơ濮Ȥʤ褦
  Ƥ硢ҤäȤѴƤ֤˼Υǡ
  Ȥǽޤߥ󥰤׻꤬
  褦ä顢Scheme Ǥʤɤ򻲹ͤŬ˽񤭴Ʋ

  | 4ǯ˼ʬäϡScheme Ǥ Read-Environ 
  | sin/cos η׻ǸˤϤޤޤ:-)

**** End of Text ****
