mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
derdon has quit [Read error: Operation timed out]
<orbitz> success writin gmyf irst funtor!
<julm> congrat :)
linus5 has quit [Remote host closed the connection]
drk-sd has quit [Quit: bonne nuit.]
<orbitz> hrm my viterbi algorihtm is ooooogly but it appears to work
elehack|afk has quit [Quit: Goodbye...]
ztfw` has joined #ocaml
ztfw has quit [Read error: Connection reset by peer]
_unK has quit [Remote host closed the connection]
boscop_ has joined #ocaml
boscop_ has left #ocaml []
gildor has quit [Ping timeout: 252 seconds]
gildor has joined #ocaml
Amorphous has quit [Ping timeout: 252 seconds]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Amorphous has joined #ocaml
Associat0r has quit [Quit: Associat0r]
maskd has quit [Quit: leaving]
boscop has joined #ocaml
bzzbzz has quit [Quit: leaving]
mbishop has quit [Ping timeout: 245 seconds]
ikaros has joined #ocaml
mariusz_ has quit [Ping timeout: 260 seconds]
mbishop has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
ztfw` has left #ocaml []
ygrek has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
jakedouglas has quit [Quit: Leaving.]
dark has joined #ocaml
gildor_ has joined #ocaml
Morphous has joined #ocaml
Amorphous has quit [*.net *.split]
gildor has quit [*.net *.split]
aij has quit [*.net *.split]
ochameau has quit [*.net *.split]
joewilliams_away has quit [*.net *.split]
ochameau has joined #ocaml
joewilliams_away has joined #ocaml
spearalot has joined #ocaml
drk-sd has joined #ocaml
aij has joined #ocaml
ulfdoz has joined #ocaml
pikachuyann has joined #ocaml
pikachuyann has quit [Read error: Operation timed out]
pikachuyann has joined #ocaml
pikachuyann has quit [Read error: Operation timed out]
pikachuyann has joined #ocaml
Submarine has quit [Quit: Leaving]
Proteus__ has quit [Quit: Leaving]
pikachuyann has quit [Ping timeout: 268 seconds]
komar_ has joined #ocaml
pikachuyann has joined #ocaml
<pikachuyann> ouch, seems I have some connection problems here
<flux> orbitz, M-x font-lock-fontify-buffer perhaps
Associat0r has joined #ocaml
sepp2k has joined #ocaml
julm has quit [Quit: Changing server]
julm has joined #ocaml
_unK has joined #ocaml
drunK has joined #ocaml
_unK has quit [Ping timeout: 265 seconds]
drunK is now known as _unK
gussing has joined #ocaml
derdon has joined #ocaml
ulricha has joined #ocaml
alpounet has quit [Quit: ``Do what you think you can't do.'']
ikaros has joined #ocaml
M| has quit [Ping timeout: 245 seconds]
M| has joined #ocaml
alpounet has joined #ocaml
boscop has quit [Ping timeout: 264 seconds]
boscop has joined #ocaml
M| has quit [Ping timeout: 264 seconds]
M| has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
ulfdoz has quit [Ping timeout: 246 seconds]
smimou has quit [Ping timeout: 252 seconds]
komar_ has quit [Quit: WeeChat 0.2.6]
<julm> http://lists.debian.org/debian-vote/2010/04/msg00057.html « Debian Project Leader Election 2010 : The winner of the election is Stefano Zacchiroli. » :)
<Camarade_Tux> congrats bis ;-)
komar_ has joined #ocaml
gussing has quit [Read error: Connection reset by peer]
gussing has joined #ocaml
alpounet has quit [Quit: ``Do what you think you can't do.'']
onigiri_ has quit [Quit: onigiri_]
maskd has joined #ocaml
onigiri_ has joined #ocaml
onigiri_ has quit [Read error: Connection reset by peer]
onigiri_ has joined #ocaml
ikaros has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
alpounet has joined #ocaml
ulfdoz has joined #ocaml
ulricha has left #ocaml []
alpounet has quit [Ping timeout: 265 seconds]
alpounet has joined #ocaml
psnively has joined #ocaml
spearalot has quit [Quit: -arividerchi]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
mlh has quit [Ping timeout: 246 seconds]
rwmjones has left #ocaml []
rwmjones has joined #ocaml
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
gussing has quit [Quit: Leaving]
mlh has joined #ocaml
sepp2k has quit [Ping timeout: 245 seconds]
sepp2k has joined #ocaml
_unK has quit [Remote host closed the connection]
schme has quit [Ping timeout: 258 seconds]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
psnively has quit [Quit: psnively]
jakedouglas has joined #ocaml
ccasin has joined #ocaml
sepp2k has quit [Quit: Leaving.]
smimou has joined #ocaml
ccasin has quit [Quit: Leaving]
ccasin has joined #ocaml
ccasin has quit [Ping timeout: 265 seconds]
pimmhogeling has joined #ocaml
ccasin has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
<orbitz> is there af unction that basically gives me th eoutput of the REPL? Kind of liek 'repr' in Python? I want to eaisly see what my data structur elook slike inside vairous functions
ttamttam has joined #ocaml
<derdon> orbitz: I once asked for it here
<derdon> the answer was that there is no solution for any type
<derdon> you can write a function which represents a specific type
<orbitz> yeah that' swha ti wante dto avoid :(
<orbitz> i wa shoping whatever teh REPL does is exposed somehow
<orbitz> thanks derdon
<derdon> if you know the differences between the python type system and the one of OCaml, you'll understand the reason
<alpounet> orbitz, you can link with the actual code of the REPL and embed it but ...
<orbitz> derdon: I'm not sure I agree, teh REPL can do it just fine...
<orbitz> alpounet: sounds abit more than I want..
<alpounet> it is
<alpounet> ://
<orbitz> hehe
<derdon> orbitz: maybe you understand the source of the REPL, don't know if thil will help
<orbitz> derdon: what do you mean?
<derdon> orbitz: the source of the ocaml interpreter/compiler (whatever it is)
<orbitz> derdon: i haven' tlooekd at it. i highly doubt i grok it
<orbitz> derdon: but My guess would be it wouldn't be craaaazy harder than Printf.pritnf (which is partially a compiler construct, yes?)
<derdon> orbitz: you didn't understand OCaml's type system yet
<orbitz> derdon: how so?
<orbitz> I'm certainly no pro, but I would like to think I have soem degree ofunderstanding
oc13 has joined #ocaml
sepp2k has joined #ocaml
mutewit has joined #ocaml
oc13 has quit [Quit: Leaving.]
mutewit has quit [Quit: leaving]
drk-sd has quit [Quit: foo]
ftrvxmtrx has joined #ocaml
cizra has left #ocaml []
_unK has joined #ocaml
ttamttam has quit [Quit: Leaving.]
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 276 seconds]
ygrek has quit [Ping timeout: 245 seconds]
onigiri__ has joined #ocaml
onigiri_ has quit [Ping timeout: 276 seconds]
onigiri_ has joined #ocaml
enthymeme has joined #ocaml
onigiri__ has quit [Ping timeout: 240 seconds]
Demitar has quit [Ping timeout: 245 seconds]
Submarine has joined #ocaml
<pikachuyann> bonne nuit
pikachuyann has quit [Remote host closed the connection]
<thelema> orbitz: the function you want is called match in ocaml, and it works by you tagging the values you want to get the type of.
<orbitz> thelema: i thought match was syntax not a function
<orbitz> thelema: what i want is a print_anything that will give sane-human-readable-output for debugging purposes
<thelema> well, it doesn't directly give you a string.
<thelema> sorry, the types of things aren't available at runtime, only their representations (which overlap for different types)
<thelema> i.e. if you have type x = A | B
<orbitz> thelema: i don't want to write any code for this other thant he print:) Just curious if there was somethign liek repr. Extending Show in Haskell gives me teh same free ness too
gildor_ has left #ocaml []
gildor_ has joined #ocaml
gildor_ has quit [Quit: leaving]
gildor has joined #ocaml
<gildor> alpounet: can you take a look at newhope administration
<gildor> alpounet: somemone ask for inclusion
<alpounet> oh
<alpounet> let me take a look
<alpounet> gildor, accepted :)
<alpounet> by the way
<gildor> great
<alpounet> we should really do something about newhope
<alpounet> the idea was good
<alpounet> then we all got busy for a while
<gildor> indeed, I discuss with Florent about the fact that forge.ocamlcore.org can decide to archive inactive projects
<gildor> and I point him to newhope
<gildor> I think this is a good place to manage end of life of inactive project (and possible ressurection) coming from forge.ocamlcore.org
<alpounet> yeah
<alpounet> at least maintaining them
<gildor> this can be of course extended to other sources
<alpounet> so that they are still functional with recent versions of OCaml / dependencies
<gildor> I think you should talk with him to have a plan for action
<gildor> the FAQ we discuss a while ago is a good starting point
ftrvxmtrx has quit [Ping timeout: 252 seconds]
derdon has quit [Ping timeout: 276 seconds]
boscop has quit [Ping timeout: 260 seconds]
<thelema> orbitz: then the only way will be to modify the compiler's debug mode to output tags for everything so types can be discovered at runtime.
<alpounet> gildor, I uploaded it iirc
<alpounet> but yeah
<alpounet> gildor, is he hanging out on #ocaml ?
<gildor> alpounet: I don't think so, but I am not sure of what his nick can be
<alpounet> hm
<alpounet> I guess he plans to write to the newhope ML anyway
<alpounet> hcarty, this discussion might interest you
<gildor> alpounet: maybe you can invite him to talk about his project wrt of newhope on the ML, or just send a welcome message
<orbitz> i miss (.) from haskell sometimes
<alpounet> orbitz, me too...
<alpounet> gildor, yeah
ftrvxmtrx has joined #ocaml
<orbitz> I know i can write it in Ocaml. But sometimes it's just nice to have and i tbeing (.)
<alpounet> orbitz, note that there are some nice stuffs for that in batteries
<orbitz> yeah I'll be checking that out soon
<orbitz> sometimes i'm just confused as to why certain things are mising from various modoules (like a List.zip)
<alpounet> yeah...
<alpounet> again, check out batteries
<alpounet> :)
<orbitz> Hot digity! I can train my HMM
<alpounet> gildor, do you have a valid email address of Florent ?
<alpounet> is the linux-nantes one the one he uses ?
oaoao has joined #ocaml
oaoao has quit [Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401074458]]
<alpounet> gildor, hah, just found it back : http://newhope.forge.ocamlcore.org/faq.html
psnively has joined #ocaml
fraggle_ has joined #ocaml
ikaros has joined #ocaml
psnively has quit [Quit: psnively]
Submarine has quit [Ping timeout: 260 seconds]