smkl changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/, A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
reltuk has quit [Read error: 104 (Connection reset by peer)]
taw has joined #ocaml
async_ has quit ["leaving"]
* taw playing with ocaml module system
<taw> is there a way to parametrize a module by integer ?
<Riastradh> 'By integer?'
<Smerdyakov> There is in SML.
<Smerdyakov> I don't know about OCaml.
<Smerdyakov> Hopefully you see it is just a syntactic convenience, yes?
<taw> y'know, like in c++ with templates ^^
<Smerdyakov> Riastradh, he meant "by an integer"
<taw> everything except asm is just a syntactic convenience
<Riastradh> Smerdyakov, I still don't understand that.
<taw> template<int N> module { }
<Smerdyakov> Riastradh, in SML: functor F(val x : int) = struct val y = x + 6 end
<mellum> Doesn't seem terribly useful to me
<Riastradh> Why not just pass a structure with x?
<Smerdyakov> Like I said: a syntactic convenience.
<Riastradh> module F = functor (S : sig val x : int end) -> struct let y = S.x + 6 end
<Riastradh> ...or something like that.
Nutssh has joined #ocaml
ita has joined #ocaml
gim_ has quit ["dodo"]
mimosa has quit ["J'ai fini"]
buggs is now known as buggs^z
wazze has quit ["Learning about how the end letters on French words are just becoming more and more silent, I conclude that one day the French"]
Etaoin has quit ["Client exiting"]
Smerdy has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
ita is now known as ita|zzz
taw has left #ocaml []
cjohnson has quit ["Drawn beyond the lines of reason"]
Smerdy has quit ["ugh"]
Smerdyakov has joined #ocaml
Nutssh has quit ["Client exiting"]
Etaoin has joined #ocaml
Nutssh has joined #ocaml
Swynndla_wk has quit ["Leaving"]
housetier has quit [Nick collision from services.]
housetier has joined #ocaml
Nutssh has quit ["Client exiting"]
mattam_ is now known as mattam
Nutssh has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
<vect> ls
<cleverdra> . .. camel-porn/
<Nutssh> *hmms* Is that like the devil&penguin porn? :)
buggs^z is now known as buggs
smklsmkl has joined #ocaml
cleverdra has quit ["system"]
shrimpx has left #ocaml []
smkl has quit [Read error: 110 (Connection timed out)]
The-Fixer has quit [Read error: 104 (Connection reset by peer)]
gim_ has joined #ocaml
Nutssh has left #ocaml []
d2004xx has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
tomasso has quit [Read error: 60 (Operation timed out)]
d2004xx has joined #ocaml
d2004xx has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
_JusSx_ has joined #ocaml
d2004xx has joined #ocaml
d2004xx has quit [Client Quit]
d2004xx has joined #ocaml
d2004xx has quit [Client Quit]
d2004xx has joined #ocaml
d2004xx has quit [Read error: 54 (Connection reset by peer)]
d2004xx has joined #ocaml
Nutssh has joined #ocaml
buggs^z has joined #ocaml
mimosa has joined #ocaml
buggs has quit [Read error: 60 (Operation timed out)]
d2004xx has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
d2004xx has joined #ocaml
Nutssh has quit ["Client exiting"]
det has quit [Remote closed the connection]
det has joined #ocaml
ita|zzz is now known as ita
<ita> moin
<housetier> moin
buggs^z is now known as buggs
Demitar has joined #ocaml
The-Fixer has joined #ocaml
__DL__ has joined #ocaml
The-Fixer has quit [Client Quit]
housetier has quit ["#breaks @ irc.highteq.de"]
housetier has joined #ocaml
_JusSx_ has quit ["BitchX: nine out of ten gynecologists recommend it"]
_JusSx_ has joined #ocaml
cjohnson has joined #ocaml
_JusSx_ has quit ["BitchX-1.0c19 -- just do it."]
d2004xx has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
d2004xx has joined #ocaml
__DL__ has quit [Read error: 104 (Connection reset by peer)]
d2004xx has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
d2004xx has joined #ocaml
tomasso has joined #ocaml
__DL__ has joined #ocaml
tomasso has quit [brunner.freenode.net irc.freenode.net]
Demitar has quit [brunner.freenode.net irc.freenode.net]
Demitar has joined #ocaml
tomasso has joined #ocaml
det has quit [Remote closed the connection]
det has joined #ocaml
z0mby has joined #ocaml
<z0mby> fala galera!
mimosa has quit ["J'ai fini"]
mimosa has joined #ocaml
<z0mby> Alguém fala português aqui?
z0mby has left #ocaml []
rox has joined #ocaml
__DL__ has quit [Read error: 54 (Connection reset by peer)]
__DL__ has joined #ocaml
skylan has quit [Read error: 104 (Connection reset by peer)]
systems has joined #ocaml
<systems> sup ocaml ppl
<Maddas> not much
whiskas has joined #ocaml
<whiskas> Hi.
<ita> who wants to start a vim-like editor in ocaml with me ? :)
<whiskas> :-))
<Riastradh> Bah! Efuns!
<systems> but then i think efuns is emacsianistic
<systems> anything emacs must die
<whiskas> Right. I firmly second that.
<whiskas> :-)
<Riastradh> vi doesn't have a built-in psychiatrist.
<whiskas> :-))
<__DL__> Long live to emacs, you heretic
<systems> thank God it doesnt
<whiskas> No, but vim oughta have.
<Maddas> ed! ed is the standard!
<ita> Riastradh: but it'd be easy to add
<ita> Riastradh: do you really need an irc client in your editor btw ?
<whiskas> :-)))
<systems> but the kind of person who would do it, would probably be using emacs
<Riastradh> ita, of course I do.
<systems> and needing a psychiatrist
<Riastradh> But please, it's not an 'editor.'
<Riastradh> It's an OS that uses libraries such as Linux to communicate with hardware.
<whiskas> :-))))))
<ita> vim really needs to be recoded (ever looked at its source code ?)
<systems> it's a developement env/platform
<Maddas> heh, Riastradh
<systems> vim certainly dont need to be recoded, you just have to trust your feelings, that writing a text editor is boring, and thank God someone is doing it for free
rox has quit [Connection timed out]
* Maddas just notices that it's "Riastradh" and not "Riadstrah"
<ita> systems: yep .. however i can't do all i want with vim (embed it in other apps easily, etc)
<systems> well, i dunno, about the embed part
<systems> what does that involve
* whiskas notes that real programmers use echo, cat, and sometimes, ed
Nomme has joined #ocaml
<Nomme> hi
<whiskas> Hello Nomme.
<systems> let thinks outloud, vim be embeded in other program
<systems> means vim must communicate with other programs
<ita> yep
<systems> vim produced output, you need to get this output in another program
<systems> vim doesn allow that ?
<ita> not really
<systems> i dunno
<Maddas> whiskas: "This page was brought to you by cat and ^D"
<systems> not really how, like not always
<Riastradh> There also isn't any HTCPCP code for vi.
<systems> htcpcp ?
<systems> define it please
<Riastradh> HyperText Coffee Pot Control Protocol.
<Riastradh> RFC 2324, I think.
<whiskas> :-))
<systems> bleh
<Maddas> haha
<Nomme> can somebody help me with camllex ?
<__DL__> Nomme: well may be
<Nomme> i try to delete comment while lexing with a rule like : ';'_*'\n'
<Nomme> it's scheme's comment
mimosa has quit [Remote closed the connection]
<Nomme> like in: "(define x 2); this is a comment\n"
mimosa has joined #ocaml
<__DL__> _ mean any char, that is \n to
<__DL__> lex (and ocaml lex) look for the longer match
<Nomme> how can i do ?
<__DL__> so ';'_*'\n' will contain everything but ther last line (and may be every thing)
<__DL__> ';' [ ^ '\n' ] \n should work
<__DL__> (well, I not sure of the syntax, but I'm of the idea)
<Nomme> ok :)
<Nomme> thanks :)
<Nomme> i'll try
systems has quit ["Client Exiting"]
<Nomme> # ; comment
<Nomme> Unknow failure : lexing: empty token.
<Nomme> rules are : | ';'[^ '\n']'\n' { lexer lexbuf }
<Nomme> | [' ' '\t' '\n'] { lexer lexbuf }
<Nomme> where "lexer lexbuf" stands for ignoring
<__DL__> first, you need a kleen star after [^ '\n']
<Nomme> <- stupid
<Nomme> # ;
<Nomme> Unknow failure : lexing: empty token.
<__DL__> your lexer seem strange : there is nothing where it can be sucefful
<__DL__> are there any other rule ? as the rule for end of file for example ?
<Nomme> there are many other rules :)
<__DL__> I do not see where is the pb...
<Nomme> is this version there isn't the "';'[^ '\n']*'\n' { lexer lexbuf }"
<Nomme> *in
<Nomme> in this release there isn't this rule.
<__DL__> I know...
_JusSx_ has joined #ocaml
YveDeLarc has joined #ocaml
<YveDeLarc> hi
<Nomme> i see !
<Nomme> no, sorry
<Nomme> hi you
<__DL__> What was the problem ?
<_JusSx_> hi Nomme
<Nomme> the "\n" i think
<__DL__> I don't see why...
<Nomme> if i really find the solution, i'll give it to you...
owll has joined #ocaml
owll has quit [Client Quit]
rox has joined #ocaml
<Nomme> "| ";comment" { lexer lexbuf }" work but "| ";comment\n" { lexer lexbuf }" doesn't
<Nomme> (even if a such rule is stupid)
<__DL__> seem strange
The-Fixer has joined #ocaml
<Nomme> __DL__ : it was my fault
<__DL__> why ?
<Nomme> i used input_line in order to get lines
<Nomme> and input_line doesn't let the final '\n'
<Nomme> ...
<Nomme> sorry
<Nomme> | ';'[^'\n']*('\n'|eof) { lexer lexbuf }
<Nomme> this works perfectly
wazze has joined #ocaml
<ita> any advice on how to start writing my own vi clone in ocaml ?
<ita> (existing things, tutorials to read..)
<Riastradh> ita, go into Emacs and do C-h t.
<Nomme> why do you want to make a vi clone ? for fun ?
<ita> not for fun
<ita> the original vim cannot be embedded properly and its source code is unreadable
<__DL__> ita: you have first to look to ncurses lib for ocaml.
<Nomme> there is one ?
<__DL__> yes and no, you could find some.
<__DL__> but partial
<ita> now where is that ?
<Nomme> which is the more advanced one ?
<__DL__> I do no of tmk
<__DL__> (text mode kit)
<__DL__> then I remeber having play with other (simpler) one, but I don't know where there are anymore
<ita> merci
<ita> err .. thanks
<Nomme> :)
<__DL__> simpler (may be to simple)
<Nomme> i prefer this one :)
<ita> ca programme bcp en caml à l'ens on dirait ..
<__DL__> sur
<Nomme> j'aurai bien aimé aller à l'ens, mais mon qi ne me l'aurai toute façon pas permis :/
<mimosa> on ne fait pratiquement QUE du caml...
<__DL__> a l'ensl j'ai fait du caml, du c, du caml, du java, du caml, du prolog et du caml, on fait d'autre chose parfois...
<gim_> du coq aussi :)
<mimosa> __DL__: on fait un peu de tout en fait mais caml est le seul langage que l'on approfondisse un peu
<__DL__> c'est sur.
<__DL__> gim: y'en avais pas de mon temp, alors pour l'apprendre je l'ai enseigner (pov étudiant quand même)...
<ita> c'est sympathique
<ita> dans mon école (je tairai le nom) on fait que du java :-/
<__DL__> c'est beau nante ?
<Nomme> :)
<ita> ouais, très beau :)
Diablo has joined #ocaml
Diablo is now known as DiabloEMN
<ita> (tiens, un autre mineur)
<DiabloEMN> :p
<Nomme> a la fac on fait pas de caml
<__DL__> je t'assure que il y en a a bordeaux 1
<__DL__> (et même du coq...)
<Nomme> pardon
<Nomme> je vais être moins ambigüe
<Nomme> à lille 1 en MIAS on ne fait pas de caml
<Nomme> on fait que du scheme, mais j'aime bien
<__DL__> si c'est du scheme, vous êtes encore sauvable :)
<Nomme> pourquoi c'est quoi le pire ?
<Nomme> le C ? :)
<whiskas> Je ne parle pas francais, mon amis.
<Nomme> ok, sorry
<whiskas> Thank you.
<Nomme> we are talking about language teached in french high-school and university
<Nomme> *languages
<whiskas> I find the conversations on this channel very interesting most of the times, so I'd like to try to understand them as much as I can :-)
<ita> Nomme: taught :)
<whiskas> So you'll pardon me for my request :-)
<Nomme> no, it's our fault, it's an english-speaking channel, we shouldn't speak french
<Maddas> exactement!
* Maddas giggles
<whiskas> :-)
<ita> Nomme: c'est écrit où qu'on doit parler qu'Anglais ici ?
<whiskas> I've reached chapter 7 on Hickey's book :-)
<whiskas> Congratulate me.
<Maddas> whiskas: What chapter is that?
<whiskas> Umm, exceptions.
<Nomme> we're all proud of you
<Maddas> Congratulations!
<whiskas> So far, I think I understood most of the things presented in the book.
<whiskas> Hmm, why did you all go quiet?
pattern has quit [Read error: 104 (Connection reset by peer)]
pattern has joined #ocaml
<Maddas> whiskas: Doing other things, not related to what you said, so don't worry :)
<Nomme> idem
<__DL__> idem
<ita> idem
<mimosa> idem
<Riastradh> idem?
<Riastradh> Qu'est-ce que c'est?
<__DL__> idem : evolved way to say "me too"
<ita> __DL__: c'est pas du latin ?
<__DL__> probably
<vect> a orsay on fait du caml
<vect> (a outrance)
<Nomme> idem it's "[the] same" in latin
<Nomme> how do you read " ' " in english ?
<Nomme> quote ?
<mimosa> single quote, I think
<Nomme> thank
mattam_ has joined #ocaml
mattam has quit [Read error: 60 (Operation timed out)]
mattam_ is now known as mattam
Swynndla has joined #ocaml
buggs is now known as buggs^z
_JusSx_ has quit [Read error: 54 (Connection reset by peer)]
__DL__ has quit ["Bye Bye"]
housetier has quit [Nick collision from services.]
blahme has joined #ocaml
blahme is now known as housetier
skylan has joined #ocaml
mattam has quit ["Lost terminal"]
mattam has joined #ocaml
whiskas has quit ["Leaving"]
Nutssh has joined #ocaml
housetier has quit ["ab in die heia"]
tomasso has quit [Remote closed the connection]
mr_jim has joined #ocaml
mr_jim has left #ocaml []
<ita> unfortunately when i try "val priority_uop : unr_op -> int = <fun>" it won't work :-/
cjohnson has quit ["Drawn beyond the lines of reason"]
<ita> it says syntax error on characters 0-3, any idea why ?
reltuk has joined #ocaml
YveDeLarc has quit [Read error: 54 (Connection reset by peer)]
mr_jim has joined #ocaml
<reltuk> someone in my programming languages class asked why we use ocaml, which looks like a horrible language to him, and then hailed C as his favorite...
<reltuk> people are so closed minded...
<mr_jim> he fears change.
<reltuk> I suppose...he just comes off as ignorant
<Nutssh> Its familiarity. People claim that CS is full of people who strive to use the most modern technology. Bullshit. Its one of the most backward-facing field I know. (Then again, its about the only one I know)
<mr_jim> i just started a class that uses ocaml. It'll take some getting used too, but I like what I've seen so far.
<reltuk> what school?
<mr_jim> university of illinois
<reltuk> yeah, same class
<reltuk> how's it going?
<mr_jim> haven't had any assignments yet
<reltuk> yeah, mp1 will be easy...
<reltuk> they'll ask us to write things like map and fold_right...
<mr_jim> yeah
<reltuk> What do you think of Rosu? It's his first year teaching it...I hope it goes well
<ita> any idea of why ? "val priority_uop : unr_op -> int = <fun>" doesn't work and perhaps how to modify it ?
<mr_jim> seems alright. my math TA last semester was russian, so I'm getting used to the accent
<mr_jim> except when he starts mumbling
<reltuk> heh, yeah...Beckmann was a good lecturer, I'll give him that
<reltuk> ita: doesn't work as advertised, or what?
<ita> reltuk: yes, it doesn't work
<mr_jim> did beckmann graduate or something?
<reltuk> he got picked up by IIT I think
<reltuk> ita: just a second...
<reltuk> what kind of results are you getting?
<ita> it says syntax error on characters 0-3, any idea why ?
<reltuk> you working through the orielly book?
<reltuk> yeah, that's just the response from teh interpreter
<reltuk> you only enter the stuff above that
<reltuk> it should give you back those lines
<ita> damn
<ita> there is something wrong with this manual
<reltuk> why?
<ita> because i can't extract code for the example - it won't work
<mr_jim> do you mean cutting and pasting the text?
Kinners has joined #ocaml
<ita> mr_jim: that, and because the orange frames are br0ken (aren't rendered properly under mozilla or konq)
<mr_jim> if you are just cutting out entire blocks, that could be the problem
<mr_jim> if you are also copying the # prompts
<ita> right
<ita> mm i think i've found out
<ita> mr_jim: reltuk: thanks for your help
<mr_jim> no problem
cjohnson has joined #ocaml
mr_jim has quit ["Leaving"]