Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] Guards vs. conditionals
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Matt Gushee <mgushee@h...>
Subject: Re: [Caml-list] Guards vs. conditionals
On Thu, Dec 26, 2002 at 09:55:09PM -0600, Gurr, David (MED, self) wrote:
> try "ocamlc -dlambda foo.ml"

Wow. That outputs something that looks a lot like LISP. And -dlambda
seems to be undocumented, at least in the man page and the HTML user's
manual. What is it intended for?

Just in case anyone's interested, here are the two programs and the
results of calling the above command on them:

-- foo1.ml ----------------------------------------------------------
let foo =                                                       
  function                                                                  
  | i when i >= 500 -> true                                                 
  | i -> false in
    for i = 1 to 100000 do
      ignore (foo (Random.int 1000))
    done

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

bash-2.05a$ ocamlc -dlambda foo1.ml 
(setglobal Foo1!
  (seq
    (let (foo/56 (function i/57 (if (>= i/57 500) 1a 0a)))
      (for i/59 1 to 100000
        (ignore (apply foo/56 (apply (field 4 (global Random!)) 1000)))))
    (makeblock 0)))


-- foo2.ml ----------------------------------------------------------
let foo i =                                                       
  if i >= 500 then true
  else false in
  for i = 1 to 100000 do
    ignore (foo (Random.int 1000))
  done
  
---------------------------------------------------------------------

bash-2.05a$ ocamlc -dlambda foo2.ml 
(setglobal Foo2!
  (seq
    (let (foo/56 (function i/57 (if (>= i/57 500) 1a 0a)))
      (for i/58 1 to 100000
        (ignore (apply foo/56 (apply (field 4 (global Random!)) 1000)))))
    (makeblock 0)))

I note that the output is identical except on the fourth line: i/59 vs.
i/58 . What does that notation represent, by the way?

-- 
Matt Gushee                 When a nation follows the Way,
Englewood, Colorado, USA    Horses bear manure through
mgushee@havenrock.com           its fields;
http://www.havenrock.com/   When a nation ignores the Way,
                            Horses bear soldiers through
                                its streets.
                                
                            --Lao Tzu (Peter Merel, trans.)
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners