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
MrEvil has quit [Quit: Leaving]
drk-sd has joined #ocaml
drk-sd has quit [Quit: foo]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
Shoggoth has joined #ocaml
pad has quit [Remote host closed the connection]
<orbitz> hello
<contrafunktal> it's an orbitz
<orbitz> you have no proof!
<contrafunktal> nominatively
<orbitz> is type 'a foo = 'a;; a common trick ot give a type variabel more emaning ina module?
mutewit has joined #ocaml
MrEvil has joined #ocaml
<orbitz> is there a better ocaml REPL out there?
<orbitz> by better i mean supports history and arrows and allthat stuff?
<thelema> yes, it's called 'rlwrap ocaml'
<thelema> as to 'a foo = 'a, I don't use it much.
maskd has quit [Quit: leaving]
mutewit has quit [Quit: leaving]
fraggle_ has quit [Ping timeout: 276 seconds]
fraggle_ has joined #ocaml
<dark> <thelema> yes, it's called 'rlwrap ocaml' < why no integration?
Amorphous has quit [Ping timeout: 265 seconds]
<dark> irb has it (and much more, such as syntax highlighting and custom hooks)
<dark> what's the problem with linking with readline? isn't ocaml gpled? the link could be optional and disabled by default btw
<dark> orbitz, 'a foo = 'a seems nice ^^ better than 'a foo = Something of 'a imo
<orbitz> I don't reallyw ant a ctor either
<orbitz> i just want to give a nicer name
<Associat0r> guys with toplevel is meant the REPL or also the toplevel of compiled programs?
<orbitz> I personally use it in a bunch of palces Associat0r
Amorphous has joined #ocaml
<orbitz> Amorphous: when I say top level i usualy am referring to the defintions of a module
<orbitz> but it hink Ocaml uses it to refer to what you type into the repl
<orbitz> perhaps the repl itself..
<Associat0r> since in F# toplevel means the toplevel of the program
<Associat0r> also in compiled apps ;; is not needed at the toplevel right?
<orbitz> nope
<orbitz> assuming you use let () = ...; for the 'main' entry point
<orbitz> ;; is onlye *needed* in the REPL AFAIK
enthymeme has joined #ocaml
<Associat0r> orbitz: doing a side effect at the toplevel of compiled, it also supports: do print_line "bla" ?
<orbitz> Associat0r: what?
<Associat0r> or do you have to use let () = print_line "bla" ?
<orbitz> Associat0r: let () = print_endline "hello world" (* no need ;; *)
<orbitz> but just print_endline "hello world" does
<Associat0r> orbitz: do in top is supported right?
<orbitz> i'm not aware of 'do'
<Associat0r> ok must be an F# thing then
<orbitz> workflows are not part of Ocaml if that is what you are refering to
<Associat0r> no not workflows
<Associat0r> just side effects at the toplevel of an app
<orbitz> sounds like an F# thing
<Associat0r> toplevel can also be without do
<Associat0r> do is only needed for side effects in class constructors actually
<orbitz> Ok
asurai has quit [Quit: asurai]
<Associat0r> orbitz: http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/manual/spec.html#_Toc257733767 does any of the #indent "off" syntax differ from OCaml here?
<orbitz> what is #indlued "off"?
<orbitz> oh
<orbitz> no i think those all apply
<orbitz> you can replace begin/end with () thouhg
<Associat0r> yes
<Associat0r> also the ; after done is that needed?
<orbitz> yes but only because they are sequencing instructions
<Associat0r> thanks understood
<Associat0r> orbitz: simple let bindings like "let pi = 3.14" don't need ;; right?
<orbitz> Associat0r: top level ones don't
<thelema> dark: ocaml is QPLed.
mutewit has joined #ocaml
bzzbzz has quit [Quit: leaving]
<dark> thelema, hmm.. qpl? q public license? but why? ("This is a non-copyleft free software license which is incompatible with the GNU GPL. It also causes major practical inconvenience, because modified sources can only be distributed as patches." o.O)
<dark> is this true? o.o
<dark> qt itself is now using gpl, so why ocaml compiler don't switch?
aja has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
mutewit has quit [Ping timeout: 246 seconds]
joewilliams is now known as joewilliams_away
mutewit has joined #ocaml
aja has quit [Read error: Connection reset by peer]
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
ulfdoz has joined #ocaml
ttamttam has joined #ocaml
<flux> dark, I'm not sure how that follows..
<flux> perhaps INRIA wants to have a better control over the compiler. also, I understand you get special priviledges if you join the consortium9~
mbishop has quit [Ping timeout: 264 seconds]
enthymeme has joined #ocaml
mbishop has joined #ocaml
ttamttam has quit [Quit: Leaving.]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
mutewit has quit [Ping timeout: 276 seconds]
avsm1 has quit [Quit: Leaving.]
<dark> flux, hmm.. qpl gives better control? o.o'
<dark> it's copyleft..
<dark> i mean, non-copyleft
MrEvil has quit [Quit: This computer has gone to sleep]
ttamttam has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
<flux> dark, with QPL it is clear what is created by INRIA and what is not
Yoric has joined #ocaml
<flux> (now, I too would be happier with a GPL release, but the current situation doesn't get me too worried)
<dark> flux, it is...? version control systems are supposed to take care of this
<flux> dark, is it the GPL-incompatibility that annoys you the most? (btw, QT is LGPL)
<dark> flux, yes..
<dark> flux, no, i learned this now, but..
<dark> the ledit code couldn't be integrated with ocaml toplevel?
<flux> what kind of code you would like to integrate with the compiler so that GPL-compatibility is an issue?
<dark> this is unfortunate
<dark> readline! :P
<flux> that's a decent reason. although I think libedit would have no such issues.
<dark> rlwrap will hardly provide decent tab completion
<flux> have you tried enhtop?
<dark> no
<flux> (I don't know if it does that)
<flux> but I need to pick up my pants and move my butt ->
<dark> flux, and surely i can submit patches to ocaml. it's up to them to accept it, but if they accept, they will risk "not being clear what was created by inria" (a too large price?)
<dark> ->..
<dark> i'm going to sleep
ulfdoz has quit [Ping timeout: 246 seconds]
ftrvxmtrx has joined #ocaml
avsm has joined #ocaml
alpounet has quit [Quit: ``Do what you think you can't do.'']
valross has quit [Quit: Ex-Chat]
<flux> dark, I think part of the problem is that apparently one cannot assign copyright fully in France..
<dark> what you mean?
<flux> some 'moral rights' still stay in the original author
<flux> I guess you could later say that ocaml couldn't be used for a nuclear weapon because it has your code in it :)
<flux> actually that's not part of it :-)
protz has joined #ocaml
<dark> flux, and what this has to do with qpl being selected over gpl?
<flux> dark, it doesn't, it has got to do with them accepting outside contributions
<dark> they will *not* accept it? o.o'
<dark> bye
dark has quit [Quit: Leaving]
myu2 has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
myu2 has quit [Remote host closed the connection]
Associat0r has quit [Read error: Connection reset by peer]
myu2 has joined #ocaml
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
alpounet has joined #ocaml
Submarine has joined #ocaml
avsm has joined #ocaml
ikaros has joined #ocaml
avsm has quit [Client Quit]
Yoric has quit [Quit: Yoric]
Associat0r has joined #ocaml
Demitar has quit [Ping timeout: 245 seconds]
Demitar has joined #ocaml
pimmhogeling has joined #ocaml
onigiri_ has joined #ocaml
onigiri_ has left #ocaml []
lvillani has joined #ocaml
seafood has joined #ocaml
Demitar has quit [Ping timeout: 245 seconds]
Demitar has joined #ocaml
Demitar has quit [Ping timeout: 245 seconds]
Demitar has joined #ocaml
_unK has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Shoggoth has quit [Remote host closed the connection]
Demitar has quit [Excess Flood]
Demitar has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
schme has quit [Read error: Operation timed out]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
myu2 has quit [Read error: Connection reset by peer]
myu2 has joined #ocaml
spearalot has joined #ocaml
ztfw has quit [Read error: Operation timed out]
ztfw has joined #ocaml
_andre has joined #ocaml
mbishop has quit [Ping timeout: 245 seconds]
drk-sd has joined #ocaml
yakischloba has quit [Quit: Leaving.]
munga has quit [Quit: Ex-Chat]
mbishop has joined #ocaml
myu2_ has joined #ocaml
myu2 has quit [Ping timeout: 258 seconds]
myu2_ has quit [Ping timeout: 245 seconds]
myu2 has joined #ocaml
ikaros has joined #ocaml
myu2 has quit [Remote host closed the connection]
ikaros has quit [Remote host closed the connection]
myu2 has joined #ocaml
lvillani has quit [Quit: Leaving]
ikaros has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
myu2 has quit [Ping timeout: 246 seconds]
prince has joined #ocaml
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
munga has joined #ocaml
myu2 has quit [Read error: Connection reset by peer]
myu2 has joined #ocaml
drk-sd has quit [Quit: cya]
Shoggoth has joined #ocaml
mutewit has joined #ocaml
seafood has quit [Quit: seafood]
mutewit_ has joined #ocaml
boscop has joined #ocaml
mutewit_ has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
ftrvxmtrx has quit [Remote host closed the connection]
pimmhogeling has joined #ocaml
ftrvxmtrx has joined #ocaml
hyperboreean has quit [Remote host closed the connection]
hyperboreean has joined #ocaml
inkbottle has joined #ocaml
inkbottle has left #ocaml []
bzzbzz has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
fraggle_laptop has joined #ocaml
myu2_ has joined #ocaml
myu2_ has quit [Remote host closed the connection]
myu2 has quit [Read error: Connection reset by peer]
myu2 has joined #ocaml
waltz_fx has joined #ocaml
mutewit has quit [Ping timeout: 260 seconds]
ftrvxmtrx has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
waltz_fx has quit [Ping timeout: 248 seconds]
ccasin has quit [Quit: Leaving]
ccasin has joined #ocaml
xavierbot has quit [Remote host closed the connection]
myu2 has quit [Ping timeout: 240 seconds]
joewilliams_away is now known as joewilliams
mutewit has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
yakischloba has joined #ocaml
sepp2k has joined #ocaml
boscop_ has left #ocaml []
protz has quit [Read error: Operation timed out]
mutewit has quit [Ping timeout: 276 seconds]
krankkatze has joined #ocaml
spearalot has quit [Quit: -arividerchi]
thieusoai has quit [Quit: Leaving]
smimou has joined #ocaml
ttamttam has quit [Quit: Leaving.]
Mr_Awesome has quit [Ping timeout: 245 seconds]
Mr_Awesome has joined #ocaml
ikaros has joined #ocaml
thieusoai has joined #ocaml
pimmhogeling has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
Submarine has quit [Ping timeout: 276 seconds]
lvillani has joined #ocaml
fraggle_laptop has quit [Ping timeout: 248 seconds]
alpounet has quit [Quit: ``Do what you think you can't do.'']
smimou has quit [Quit: bli]
Yoric has quit [Quit: Yoric]
hcarty has joined #ocaml
pimmhogeling has quit [Remote host closed the connection]
pimmhogeling has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
yakischloba has quit [Quit: Leaving.]
myu2 has joined #ocaml
Shoggoth has quit [Quit: Ex-Chat]
Submarine has joined #ocaml
barismetin has quit [Remote host closed the connection]
yakischloba has joined #ocaml
enthymeme has joined #ocaml
derdon has joined #ocaml
smimou has joined #ocaml
Yoric has joined #ocaml
ulfdoz has joined #ocaml
lvillani has quit [Quit: Leaving]
ttamttam has joined #ocaml
lvillani has joined #ocaml
lvillani has quit [Remote host closed the connection]
drunK has joined #ocaml
_unK has quit [Ping timeout: 245 seconds]
lvillani has joined #ocaml
pad has joined #ocaml
drk-sd has joined #ocaml
SEcki has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
ulfdoz has joined #ocaml
yakischloba has quit [Quit: Leaving.]
ftrvxmtrx has joined #ocaml
Submarine has quit [Quit: Leaving]
komar_ has joined #ocaml
pimmhogeling has quit [Ping timeout: 245 seconds]
_andre has quit [Quit: *puff*]
ttamttam has quit [Quit: Leaving.]
bzzbzz has quit [Quit: leaving]
bzzbzz has joined #ocaml
travisbrady has joined #ocaml
alpounet has joined #ocaml
<Camarade_Tux> has anyone looked at Basile Starynkevich's gcc plugin MELT? ( http://gcc.gnu.org/wiki/MiddleEndLispTranslator )
yakischloba has joined #ocaml
<Camarade_Tux> I wanted to have it to take advantage of the code parsing functionnality of gcc but it looks too complicated for that, frama-c (same author) looks a better match
cognizant-cog has joined #ocaml
matthias_gorgens has quit [Remote host closed the connection]
cognizant-cog has quit [Quit: ChatZilla 0.9.86 [Firefox 3.5.8/20100214235838]]
lvillani has quit [Quit: Leaving]
pimmhogeling has joined #ocaml
fraggle_ has quit [Ping timeout: 260 seconds]
Associat0r has quit [Quit: Associat0r]
ulfdoz has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
RaphaelJ has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
RaphaelJ has quit [Read error: Connection reset by peer]
RaphaelJ has joined #ocaml
RaphaelJ has left #ocaml []
ccasin has quit [Quit: Leaving]
pimmhogeling has quit [Ping timeout: 265 seconds]
onigiri_ has joined #ocaml
Yoric has quit [Quit: Yoric]
derdon has quit [Ping timeout: 276 seconds]
SEcki has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
drunK has quit [Remote host closed the connection]
Narrenschiff has joined #ocaml
krankkatze has quit [Remote host closed the connection]
Narrenschiff has quit [Quit: Narrenschiff]
ikaros has quit [Quit: Leave the magic to Houdini]
yakischloba has quit [Quit: Leaving.]
ergodick has joined #ocaml
ergodick has left #ocaml []
yakischloba has joined #ocaml
sepp2k has quit [Quit: Leaving.]
struktured has quit [Remote host closed the connection]
yakischloba has quit [Quit: Leaving.]
valross has joined #ocaml