flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
csakatoku has joined #ocaml
sheijk_ has joined #ocaml
pango has quit [Ping timeout: 252 seconds]
tlockney has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
tlockney has left #ocaml []
sheijk has quit [Ping timeout: 246 seconds]
tlockney has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
tlockney has left #ocaml []
michael_lee has joined #ocaml
NoNNaN has joined #ocaml
avsm has quit [Quit: Leaving.]
sheijk_ has quit [Ping timeout: 240 seconds]
groovy2shoes has joined #ocaml
avsm has joined #ocaml
zpe has joined #ocaml
sheijk has joined #ocaml
ygrek has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 272 seconds]
nikki93 has quit [Remote host closed the connection]
k4nar has quit [Remote host closed the connection]
k4nar has joined #ocaml
k4nar_ has joined #ocaml
k4nar has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
boogie has quit [Remote host closed the connection]
k4nar_ has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
k4nar has joined #ocaml
qingant has joined #ocaml
palomer has joined #ocaml
qingant has quit [Quit: Leaving.]
k4nar has quit [Remote host closed the connection]
k4nar_ has joined #ocaml
zpe has joined #ocaml
avsm has joined #ocaml
k4nar_ has quit [Remote host closed the connection]
k4nar has joined #ocaml
CamelFodder has quit [Read error: Connection reset by peer]
cesar_ has joined #ocaml
cesar_ is now known as Guest74206
qingant has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
avsm has quit [Ping timeout: 272 seconds]
sheijk has quit [Quit: .]
boogie has joined #ocaml
qingant has quit [Quit: Leaving.]
talzeus_ has joined #ocaml
MigX has quit [Ping timeout: 260 seconds]
MigX has joined #ocaml
qingant has joined #ocaml
palomer has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
avsm has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
boogie has quit [Remote host closed the connection]
Guest74206 has quit [Remote host closed the connection]
csakatoku has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 272 seconds]
csakatoku has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
<phix> lets ocaml
qingant has quit [Ping timeout: 272 seconds]
qingant has joined #ocaml
avsm has joined #ocaml
wolfnn has quit [Ping timeout: 252 seconds]
qingant has quit [Quit: Leaving.]
avsm has quit [Ping timeout: 246 seconds]
csakatok_ has quit [Remote host closed the connection]
groovy2shoes has quit [Quit: It is now safe to turn off your Groovebot.]
Xenasis has joined #ocaml
michael_lee has quit [Quit: Ex-Chat]
adrien has quit [Ping timeout: 252 seconds]
Asmadeus has quit [Ping timeout: 252 seconds]
osa1 has quit [Ping timeout: 240 seconds]
adrien has joined #ocaml
Asmadeus has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest51445
csakatoku has joined #ocaml
zpe has joined #ocaml
avsm has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
avsm has quit [Ping timeout: 272 seconds]
mcclurmc_ has quit [Remote host closed the connection]
yacks has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 246 seconds]
Xenasis has quit [Remote host closed the connection]
introom has joined #ocaml
boogie has joined #ocaml
ygrek has joined #ocaml
dant3 has joined #ocaml
avsm has joined #ocaml
avsm has quit [Ping timeout: 264 seconds]
Guest51445 has quit [Remote host closed the connection]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
introom has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
zpe has joined #ocaml
dant3 has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 248 seconds]
boogie has quit [Remote host closed the connection]
cdidd has quit [Ping timeout: 245 seconds]
* Kakadu is reading article about Scala DSL for defining html forms
* Kakadu doesn't understand why all this shit is introduced. Why not eliom's approach without any DSL?
zpe has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
dant3 has joined #ocaml
Simn has joined #ocaml
mateNz has joined #ocaml
mateNz has quit [Remote host closed the connection]
avsm has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
ttamttam has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
zpe has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
pango has joined #ocaml
ttamttam has quit [Quit: ttamttam]
csakatoku has joined #ocaml
pango has quit [Ping timeout: 248 seconds]
pango has joined #ocaml
dant3 has quit [Remote host closed the connection]
AltGr has joined #ocaml
Arsenik has joined #ocaml
ollehar has quit [Quit: ollehar]
zpe has quit [Ping timeout: 248 seconds]
ulfdoz has joined #ocaml
dant3 has joined #ocaml
avsm has joined #ocaml
avsm1 has joined #ocaml
avsm1 has quit [Client Quit]
avsm has quit [Ping timeout: 272 seconds]
pminten has joined #ocaml
Kakadu_ has joined #ocaml
clog has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
<oriba> orbitz, thanks.
avsm has quit [Quit: Leaving.]
rand000 has joined #ocaml
dant3 has joined #ocaml
kyrylo has joined #ocaml
abc has joined #ocaml
ocp has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
ggole has joined #ocaml
nikki93 has quit [Ping timeout: 240 seconds]
wolfnn has joined #ocaml
kyrylo has quit [Ping timeout: 248 seconds]
angerman has quit [Quit: Gone]
darkf has quit [Quit: Leaving]
qingant has joined #ocaml
lasts_ has quit [Ping timeout: 246 seconds]
talzeus_ has joined #ocaml
talzeus_ has quit [Read error: Connection reset by peer]
talzeus__ has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
osa1 has joined #ocaml
lasts has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
mcclurmc has joined #ocaml
mort___ has joined #ocaml
abc has quit [Quit: Page closed]
qingant has quit [Quit: Leaving.]
testcocoon has joined #ocaml
nikki93 has joined #ocaml
yacks has joined #ocaml
dant3 has quit [Remote host closed the connection]
pminten has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
dant3 has joined #ocaml
<gasche_> orbitz: I'm reading your blog post
<gasche_> a trick if you have too many type parameters, which you may be interested in, is to use object-types as type-level records
<gasche_> type 'a server = ... constraint 'a = < init : 'i; state : 's; msg: 'm; errinit: 'ie; errhandle: 'ih >
<gasche_> it makes type more readables, but also much larger (which may hurt readability) and isn't supported very well by ocamldoc (which tends to inline anything)
<gasche_> so it's not perfect, but it's one design option
angerman has joined #ocaml
lasts has quit [Read error: Connection reset by peer]
lasts_ has joined #ocaml
avsm has joined #ocaml
dch has quit [Ping timeout: 246 seconds]
dch has joined #ocaml
rand000 has quit [Quit: leaving]
zarul has quit [Ping timeout: 252 seconds]
aggelos has joined #ocaml
ia0 has joined #ocaml
Qrntz_ has joined #ocaml
pango_ has joined #ocaml
zarul has joined #ocaml
Derander has joined #ocaml
yacks has quit [Ping timeout: 264 seconds]
rs0_ has joined #ocaml
nikki93_ has joined #ocaml
introom has joined #ocaml
angerman has quit [Read error: Connection reset by peer]
nikki93 has quit [Ping timeout: 272 seconds]
lasts_ has quit [*.net *.split]
Simn has quit [*.net *.split]
pango has quit [*.net *.split]
PM has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
Qrntz has quit [*.net *.split]
ia0_ has quit [*.net *.split]
Derander_ has quit [*.net *.split]
rs0 has quit [*.net *.split]
brendan has quit [*.net *.split]
lasts_ has joined #ocaml
Simn has joined #ocaml
PM has joined #ocaml
brendan has joined #ocaml
chris2 has quit [Ping timeout: 240 seconds]
chris2 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
nikki93_ has quit [Read error: Connection timed out]
nikki93 has joined #ocaml
introom has quit [Ping timeout: 272 seconds]
nikki93 has quit [Ping timeout: 272 seconds]
pminten has joined #ocaml
pyon has quit [Quit: usa usa, pyon pyon... bye]
nikki93 has joined #ocaml
<orbitz> gasche_: ah thank you. So far the i've found teh type looks scary to see, but working with it isn't so bad, you hardly notice it except in some error messages
WraithM_ has joined #ocaml
yacks has joined #ocaml
WraithM has quit [Ping timeout: 252 seconds]
dant3 has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 240 seconds]
dant3 has joined #ocaml
oriba_ has joined #ocaml
oriba has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
travisbrady has joined #ocaml
Xenasis has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
travisbrady has quit [Quit: travisbrady]
ulfdoz has joined #ocaml
zpe_ has quit [Ping timeout: 248 seconds]
oriba_ has quit [Quit: oriba_]
angerman has joined #ocaml
pango_ has quit [Ping timeout: 252 seconds]
Kakadu__ has quit [Quit: Page closed]
angerman has quit [Quit: Gone]
rwmjones has quit [Read error: Operation timed out]
rwmjones has joined #ocaml
pminten has quit [Remote host closed the connection]
pango_ has joined #ocaml
tobiasBora has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest67703
noplamodo_ has quit [Ping timeout: 245 seconds]
noplamodo has joined #ocaml
tobiasBora has quit [Ping timeout: 246 seconds]
jbrown has quit [Remote host closed the connection]
Simn has quit [Ping timeout: 246 seconds]
dant3 has quit [Remote host closed the connection]
ocp has quit [Quit: Leaving.]
pminten has joined #ocaml
smerz has joined #ocaml
Kakadu has joined #ocaml
kyrylo has joined #ocaml
Guest67703 has quit [Remote host closed the connection]
mort___ has joined #ocaml
avsm has quit [Quit: Leaving.]
boogie has joined #ocaml
avsm has joined #ocaml
talzeus__ has quit [Read error: Connection reset by peer]
avsm has quit [Ping timeout: 248 seconds]
angerman has joined #ocaml
malvarez has joined #ocaml
nikki93 has quit [Remote host closed the connection]
wwilly has joined #ocaml
nikki93_ has joined #ocaml
angerman has quit [Quit: Gone]
avsm has joined #ocaml
nikki93_ has quit [Ping timeout: 240 seconds]
boogie has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 252 seconds]
cdidd has joined #ocaml
pminten has quit [Remote host closed the connection]
boogie has joined #ocaml
osa1 has quit [Remote host closed the connection]
osa1 has joined #ocaml
nikki93 has joined #ocaml
pango_ has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 240 seconds]
pango_ has joined #ocaml
tlockney has joined #ocaml
avsm has joined #ocaml
zpe has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
saml has quit [Quit: Leaving]
pango__ has joined #ocaml
pango__ is now known as pango
pango_ has quit [Ping timeout: 272 seconds]
qingant has joined #ocaml
mort___ has quit [Quit: Leaving.]
mcclurmc has quit [Ping timeout: 240 seconds]
skchrko has quit [Quit: Leaving]
mcclurmc has joined #ocaml
zpe has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
qingant has quit [Quit: Leaving.]
WraithM_ has quit [Ping timeout: 248 seconds]
boogie has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
snyp has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
qingant has joined #ocaml
nikki93 has joined #ocaml
shinnya has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest23548
malvarez has quit [Remote host closed the connection]
tane has joined #ocaml
zpe has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
snyp has quit [Quit: K Bye]
zpe has quit [Remote host closed the connection]
Guest23548 has quit [Remote host closed the connection]
Xenasis has quit [Remote host closed the connection]
Xenasis has joined #ocaml
nikki93 has quit [Read error: Connection timed out]
ggole has quit []
zpe has joined #ocaml
angerman has joined #ocaml
Xenasis has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
smerz has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
sillyotter has joined #ocaml
avsm has joined #ocaml
Eyyub has joined #ocaml
Kakadu has quit []
cesar_ has joined #ocaml
cesar_ is now known as Guest77287
Eyyub has quit [Ping timeout: 272 seconds]
Eyyub has joined #ocaml
Guest77287 has quit [Remote host closed the connection]
boogie has joined #ocaml
boogie has quit [Remote host closed the connection]
nikki93 has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
sheijk has joined #ocaml
tlockney has left #ocaml []
kyrylo has quit [Read error: Connection reset by peer]
osa1 has quit [Ping timeout: 240 seconds]
tlockney has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
qingant has quit [Quit: Leaving.]
sheijk has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
tlockney has left #ocaml []
kyrylo has joined #ocaml
sheijk has joined #ocaml
nikki93 has quit [Ping timeout: 248 seconds]
kyrylo has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]
kyrylo has joined #ocaml
sheijk has quit [Ping timeout: 246 seconds]
osa1 has joined #ocaml
osa1 has quit [Client Quit]
mcclurmc has quit [Remote host closed the connection]
Eyyub has quit [Ping timeout: 260 seconds]
Eyyub has joined #ocaml
smerz has joined #ocaml
smerz_ has joined #ocaml
osa1 has joined #ocaml
mcclurmc has joined #ocaml
osa1 has left #ocaml []
mcclurmc has quit [Remote host closed the connection]
nikki93 has joined #ocaml
avsm has quit [Quit: Leaving.]
Xenasis has joined #ocaml
sillyotter has quit [Quit: Leaving]
meiji11 has joined #ocaml
darkf has joined #ocaml
jbrown has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
Xenasis has quit [Read error: Connection reset by peer]
Xenasis has joined #ocaml
meiji11 has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
qingant has joined #ocaml
qingant has quit [Quit: Leaving.]
smerz has quit [Ping timeout: 252 seconds]
smerz_ has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
AltGr has left #ocaml []
sheijk has joined #ocaml
nikki93 has quit [Ping timeout: 248 seconds]
Xenasis has quit [Remote host closed the connection]
tlockney has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
mcclurmc has joined #ocaml
ygrek has joined #ocaml
wagle_ is now known as wagle
mcclurmc has quit [Remote host closed the connection]
robert_ has quit [Quit: Connection reset by traffic clause.]
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
mcclurmc has joined #ocaml
Arsenik has quit [Remote host closed the connection]
Arsenik has joined #ocaml