<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html lang=ja>
  <head>
    <title>ML$B$N4pK\E*$J;H$$J}(B</title>
    <meta http-equiv="Content-Style-Type" content="text/css">
    <style type="text/css">
      <!--
      BODY{background-color :white;}
      H1 {
      color: #1111aa;
      background-color:white; 
      border-color :#226;
      margin: 4px 0 4px 0;
      border-style    : none none solid none;
      padding : 2px;
      padding-left : 30px;
      }
      H3 {background-color: #c9ffc9; 
          border-color :#226;
          border-style : none none solid none;
          border-width : 1px;}
      H4 {background-color:#aaffaa; border-color :#000080;}
      -->
    </style>
  </head>

  <body>
    <h1>ML$B$N4pK\E*$J;H$$J}(B</h1>
    <OL>
      <LI><H3>let in$BJ8(B</H3>
         # let x =3 in x + x;;
      <LI><H3>$B%9%H%j%s%07k9g(B</H3>
        # "str" ^ "ing" ;;
      <LI><H3>Tuple</H3>
        # ( 3 + 5 , 5.0 -. 1.0);;
      <LI><H3>function($B4X?t(B)</H3>
        # let f x = x + 2;;
      <LI><H3>$B:F5"4X?t(B</H3>
        # let rec even x = ... and odd x = ... ;;
      <LI><H3>$B%Q%?!<%s%^%C%A%s%0(B</H3>
        # match v with<br>
           0 | 1 -&gt 1<br>
           x | -&gt 0
      <LI><H3>$B%j%9%H(B</H3>
        # 100::[1;2;3];;<br>
        # [1;2;3]@[4;5;6];;
      <LI><H3>$B%3%a%s%H(B</H3>
        (* $B$H(B *)$B$N4V$K=q$/!#F~$l;R$K$G$-$k!#(B
      <LI><H3>Reference</H3>
	$BJQ992DG=$J%;%k(B<br>
	# let a = ref 0;;<br>
	# !a;; $B;2>H(B<br>
	# a := 5 ;; $BBeF~(B<br>
      <LI><H3>$BJQ992DG=$J%l%3!<%I(B</H3>
	# type mutable_point = { mutable x:int ; mutable y:int};;<br>
	# let p1 = {x = 5;y =3};;<br>
	# p1.x &lt - 6;; $BBeF~(B<br>
    </OL>
    
    
    <hr>
    <A href="ocaml.html">Ocaml$B%H%C%W$X(B</A><br>
    <hr>
    <address><a href="mailto:ganat@ise42.is.s.u-tokyo.ac.jp">NAGATA Akihito</a></address>
<!-- Created: Thu Oct  4 20:13:07 JST 2001 -->
<!-- hhmts start -->
Last modified: Mon Apr 15 04:57:44 JST 2002
<!-- hhmts end -->
  </body>
</html>
