<Riastradh>
let rec f () = f could be done with -rectypes.
<async>
in scheme you can do (define (x) (x))
<Smerdyakov>
That wouldn't define a vaue uniquely.
<Smerdyakov>
value
<Smerdyakov>
Making it a dubious sort of definition to allow.
<Riastradh>
async, you can do that in OCaml, too.
<async>
how?
<Riastradh>
Well, not quite, because the function must have an argument.
<Riastradh>
let rec f () = f ();;
<async>
so all functions must have an argument?
<Riastradh>
Yes. That's how curried functions work.
Hipo has joined #ocaml
<async>
i should've known that... i seem to have forgooten all my ocaml
<async>
they've been teaching us scheme
<Riastradh>
Yay!
* Riastradh
prods async into #scheme.
* Riastradh
ducks from Smerdyakov.
<Maddas>
heh
<Smerdyakov>
Why duck?
<async>
can you do normal-order evaluation in ocaml?
<async>
oh wait
<Smerdyakov>
You can if you make everything into thunks. (functions from unit)
buggs|afk has quit [Read error: 104 (Connection reset by peer)]
buggs|afk has joined #ocaml
polin8 has quit [Read error: 54 (Connection reset by peer)]
<jdrake>
anyone here with experience with compiling ocaml?
<jdrake>
i am trying to get ocaml compiled with the tk framework that is located at /Library/Frameworks/Tk.framework, but it complains it can't find tk.h
<jdrake>
i am curious about this, because tk.h is right in the path I give it
<async>
jdrake: what oS?
<async>
OS*
<jdrake>
macosx
__buggs has joined #ocaml
__buggs is now known as buggs
buggs|afk has quit [Read error: 60 (Operation timed out)]