jemfinch` changed the topic of #ocaml to: nob: it's not an option keyword. It's a datatype. 'a option. It can be either "None" or "Some data" -- it represents either data that's not there (None) or data that's there (Some data)
johntb has joined #ocaml
johntb has quit ["Client Exiting"]
Yurik is now known as Yurik[away]
Yurik[away] is now known as Yurik
Yurik has left #ocaml []
Yurik has joined #ocaml
Yurik has quit ["sleep a little"]
MegaWatS has joined #ocaml
<MegaWatS>
hi there^^
<MegaWatS>
anyone can help me?
<MegaWatS>
i tried to compile the regexp library for windows
<MegaWatS>
but it doesnt work :(
<MegaWatS>
ahhh I got it working it seems :>
jao_ has joined #ocaml
jao has quit [Read error: 113 (No route to host)]
jao_ has quit [Read error: 113 (No route to host)]
nyoshi has joined #ocaml
MegaWatS has quit [Read error: 104 (Connection reset by peer)]
nyoshi is now known as nyo_away
nyo_away has quit [Remote closed the connection]
nyoshi has joined #ocaml
nyoshi is now known as nyo_away
Submarine has joined #ocaml
nyo_away is now known as nyoshi
Yurik has joined #ocaml
nyoshi has quit ["CHOCOA"]
<Yurik>
btw, owll, re :)
malc has joined #ocaml
<Verbed>
Hi
owll has quit ["Client Exiting"]
Cryptor has joined #ocaml
Cryptor has quit ["Leaving"]
nyoshi has joined #ocaml
malc has quit ["no reason"]
nyoshi has quit ["bye"]
_neuron_ has quit [Read error: 104 (Connection reset by peer)]
Submarine has quit [carter.openprojects.net irc.openprojects.net]
Submarine has joined #ocaml
smkl has quit [Remote closed the connection]
smkl has joined #ocaml
Yurik has quit ["reboot"]
graydon has joined #ocaml
two-face has joined #ocaml
tmcm has quit ["using sirc version 2.211+ssfe"]
tmcm has joined #ocaml
two-face has left #ocaml []
malc has joined #ocaml
jao_ has joined #ocaml
Submarine has quit ["Client Exiting"]
<jao_>
hi, i'm looking for an ocaml project to hack, and learn the language 'comme il faut'... any suggestion?
<malc>
jao_: i suggest adding static interpretation of modules to ocaml, quite a project, will keep you busy for a while
<jao_>
malc: what do you mean by 'static interpretation of modules' ?
<malc>
jao_: compilation time specialization of functors
<jao_>
uh? it is done during runtime now?
<malc>
yep
<malc>
you basically have a big closure (the way i understand things) which is being parametrized with higher order functions
<jao_>
hmmm... interesting, what this would be more a c project than an ocaml one, i think...
<jao_>
(i mean, this affects the implementation of ocaml)
<malc>
ocaml is implemented in ocaml
<malc>
so no
<jao_>
of course, you're right!
<malc>
are you taking the job? :)
<jao_>
not sure if i'm the right person: i'm an ocaml newbie! :)
<malc>
heh, excuses excuses :)
<jao_>
:) don't you have an easier one?
<malc>
jao_: well that sorta depends on what you want to do(programming habbits etc), no?
<jao_>
malc: i've done quite a bit of imperative programming (including a gnu project) and would like to learn fp and, at the same time, contribute to the free sw movement
<jao_>
malc: my pet project is a Knuth's MIX compiler/virtual machine, so i guess that's the kind of things i'd like
<malc>
jao_: all my ocaml projects where naturally born children, they didnt apear out of the blue
<malc>
jao_: MIX? not MMIX?
<jao_>
malc: yeah, MIX... i was thinking of MMIX, but not sure: knuth already has an implementation around...
<malc>
6bit bytes.. sigh
<malc>
jao_: i think MIX in OCaml will be quite fun project actually
<jao_>
malc: MIX? not MMIX?
<malc>
yeah, MIX...
<jao_>
why not MMIX?
<jao_>
(just curious)
<malc>
because and i quote 'yeah, MIX... i was thinking of MMIX, but not sure: knuth already has an implementation around...'
<malc>
its just as fine for MMIX
<Verbed>
I'd contribute to the conversation, but I have no idea what you two are talking about.
<jao_>
oh, yes, but i already have an implementation for MIX!, so... :-)
<jao_>
Verbed: i was asking for suggestions about an ocaml project to learn the language well...
<Verbed>
jao_: Yes, that much I got :P
<jao_>
Verbed: oh, sorry... you mean MIX/MMIX then?
<Verbed>
jao_: Mainly that, and how the two differ :)
<jao_>
Verbed: as you probably know, they are 'mythical' computers invented by D. Knuth for use in his books
<Verbed>
I actually really didn't know that.
<jao_>
MIX is a CSIC-like computer of the sixties, while MMIX is a more modern, RISC-like one
<jao_>
you have an assembly language for them, and knuth presents his algorithms written in that language
<Verbed>
Interesting, does he constantly use that within his books?
<jao_>
yes, all the time. i wrote the MIX implementation because i wanted to run his examples...
<Verbed>
I recall seeing a new TAOCP boxed set, perhaps it's time I finally read them :)
<jao_>
highly recommended! :)
<jao_>
malc: thanks for the suggestion... i will reconsider MMIX... and static modules as well :)
<malc>
jao_: way cool :)
<malc>
Verbed: i guess just reading them is not enough(at least for me)..
<jao_>
another question: would you use the 'traditional' or the revised syntax for new projects?
<malc>
if you='Daniel de Rauglaudre' then yes otherwise(sans statistical error) no
<jao_>
does it mean that the revised syntax is not 'widely accepted'?
<malc>
camlp4 is bundled with ocaml only since version 3.04, i guess some people havent used it for the reasons of easier acceptance
<malc>
but its highly subjective matter
<jao_>
i see... since i am very new to ocaml i don't have strong opinions... i thought the revised was meant to eventually become the 'standard' one...
<malc>
i guess it means that Daniel revised it ;) there was a looong thread on mailing list not so long ago on the subject
<jao_>
any conclusions? (i guess subjective matter = no conclusions :)
<malc>
conclusion 'camlp4 pa_r.cmo pr_o.cmo moo.ml' and vice versa :)