flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
mcclurmc has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
mcclurmc has quit [Ping timeout: 256 seconds]
mfp has joined #ocaml
malo has quit [Remote host closed the connection]
gnuvince has joined #ocaml
darkf has joined #ocaml
breakds has joined #ocaml
jcao219 has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
q66 has quit [Remote host closed the connection]
Drup has quit [Quit: Leaving.]
jcao219 has quit [Ping timeout: 248 seconds]
dsheets has quit [Ping timeout: 256 seconds]
talzeus has joined #ocaml
raichoo has quit [Quit: leaving]
zarul has quit [Read error: Operation timed out]
zarul has joined #ocaml
osnr has quit [Quit: Leaving.]
breakds has quit [Quit: Konversation terminated!]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
weie has quit [Quit: Leaving...]
weie has joined #ocaml
osnr has quit [Quit: Leaving.]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
caligula has joined #ocaml
yacks has quit [Quit: Leaving]
yacks has joined #ocaml
Neros has quit [Ping timeout: 264 seconds]
jcao219 has joined #ocaml
jcao219 has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
ggole has joined #ocaml
mort___ has joined #ocaml
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
mort___ has quit [Client Quit]
mort___ has joined #ocaml
Kakadu has joined #ocaml
talzeus has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
mort___ has quit [Quit: Leaving.]
Snark has joined #ocaml
tane has joined #ocaml
jkl has joined #ocaml
<jkl> hi, would someone be willing to explain to me what the purpose of something like "let () = foo 1 2 3" is? Like why do we need the "let () =" part?
<Kakadu> if return type of foo will be changed you will get an error
<Kakadu> and if foo will start to accept 1 more parameter you will get an error too
<Kakadu> in case 'foo 1 2 3;;' you will get a warning only
cdidd has joined #ocaml
mort___ has joined #ocaml
<ggole> Usually you would use ignore for that
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
<adrien> or
<adrien> foo 1 2 3;
<adrien> but you can prefer the former style (matter of taste) and for if/then/else, it allows you to do "let ... in" and removes the need for parenthesis or begin/end
zarul has quit [Ping timeout: 248 seconds]
zarul has joined #ocaml
Arsenik has joined #ocaml
<companion_cube> it's also useful in the toplevel of a file, if you don't write trailing ";;"
ttamttam has joined #ocaml
Watcher7 is now known as Watcher7|off
jkl has quit [Ping timeout: 276 seconds]
Anarchos has joined #ocaml
cdidd has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
* Kakadu is looking at CalendarLib.Date and has no idea how to convert date to string
Snark has quit [Ping timeout: 264 seconds]
Snark has joined #ocaml
<Kakadu> found!
<orbitz> wheeee
<Kakadu> :)
ttamttam has left #ocaml []
<orbitz> hrm i really need to work on my sshmux app
malo has joined #ocaml
eni has joined #ocaml
dezzy has quit [Read error: Connection reset by peer]
dezzy has joined #ocaml
jkl has joined #ocaml
osnr has quit [Quit: Leaving.]
Drup has joined #ocaml
ttamttam has joined #ocaml
ollehar has joined #ocaml
q66 has joined #ocaml
wmeyer has joined #ocaml
<wmeyer> hi
<adrien> o/
<wmeyer> \o
<rks_> o/
<wmeyer> \o
<eni> o/
<Kakadu> ave!
<wmeyer> \o
ttamttam has left #ocaml []
dsheets has joined #ocaml
breakds has joined #ocaml
Neros has joined #ocaml
<ousado> hehe, hi all
<wmeyer> hi ousado !
<wmeyer> how is your Fan going, I think the repo got outdated now.
<ousado> wmeyer: not at all :(
<wmeyer> I'm not going to look at it, only if time allows
<ousado> not enough time
<wmeyer> oh, don't worry
<ousado> yes..
<ousado> wmeyer: what do you mean outdated?
<wmeyer> I thought it's good to keep it as an alternative to Camlp4, therefore at some point would like to see it. Because some people like it.
<wmeyer> I think Hongbo has been developing it.
<ousado> ah you mean updated
<wmeyer> yes, means that my local copy is outdated :-)
<ousado> yes, he's working pretty constantly
<wmeyer> good to hear
<wmeyer> OK ousado, how is your funky db stuff going?
<ousado> wmeyer: well, evolving slowly
<wmeyer> ah OK
<ousado> wmeyer: I need to finish the schema-evolution stuff so I can go on
<wmeyer> I see
<ousado> but I'm also migrating my code from haxe 2.x to haxe 3
<wmeyer> hm, yes it can be tricky :-)
<wmeyer> I always see benefit, of upgrading (but only when it's needed)
<ousado> well, in this case there are very good reasons - haxe 3 has actual pattern matching, for instance
<wmeyer> ousado: I see
<ousado> and I'm using a hacked version of the compiler, which I'd like to get rid off
<wmeyer> ousado: hmm
<ousado> I prototyped an extension mechanism, so macros could be written in ocaml, too, but the main devs use ocaml 3.11 which makes a clean implementation tricky, and it hasn't been done
<wmeyer> it really makes sense now to try not use the hacked compiler
<wmeyer> oh 3.11
<ousado> .. and I started using one plugin for my production code
<wmeyer> yep, OK
<ousado> the functionality of that is available in haxe 3 now anyway, so it's no big deal
<wmeyer> I'd like to see it's slowly evolving into shape :-)
<ousado> yes, me too..
<ousado> I'll sleep a lot better
<wmeyer> great to hear ousado
<ousado> and I want to reimplement it in ocaml
<wmeyer> makes sense
<wmeyer> well, just if it's inline with your plans
<ousado> using ocaml has many benefits
<ousado> not just the language
<wmeyer> yes indeed!
<Drup> just by curiosity, what is this "funky db stuff" exactly ?
<wmeyer> that's why going to OCaml makes sense quite often (even if the language is still capable)
<ousado> roughly it's a thing that generates a database from types
cdidd has joined #ocaml
<Drup> like the sqlite orm ?
<ousado> wmeyer: I mean I like all the haxe people, but what camlers are doing, the kind of projects, the kind of knowlendge in the community, that's hard to find elsewhere
<ousado> Drup: it actually generates the whole database code, there's no external db involved
<ousado> well, depends on the version, really, I have a few prototypes, some of which use an external K/V store
<rks_> ousado: that was in OPA years ago #troll
<Drup> that's quite interesting
<wmeyer> ousado: yes, that's what makes this language so different
<Drup> rks_: not relational :/
<ousado> what's OPA?
* wmeyer needs his coffee now :-)
<Drup> they have fancy stuff with a great integration between a noSQL db (mongodb) and the language. It's very neat but it's limited to noSQL :/
<ousado> I also have no sql stuff in there
<Drup> ok
<ousado> query-language-wise at least
<Drup> is it public ?
<ousado> not yet
<ousado> it's written in haxe
<ousado> (btw)
<ousado> I have a prototype that produces C
<ousado> and another produces haxe-code and uses libgit2 as backend
eikke has joined #ocaml
<wmeyer> rks_: and I think OPA is great!
<rks_> wmeyer: good for you :)
<Drup> ousado: when you translate it to ocaml and make it public, I will be very interested ! ocsidb is convenient, but it lacks a lot of features
cdidd has quit [Remote host closed the connection]
jkl has quit [Ping timeout: 245 seconds]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
<ousado> Drup: ocsidb? is that something from ocsigen?
<ousado> it's hard to google
<Drup> ousado: http://ocsigen.org/ocsigenserver/api/Ocsipersist it's even harder if I don't give you the real name :D
<ousado> haha
<Drup> it's not exactly the same goal, but the use cases are very close :)
<ousado> ah yes, that's similar
Arsenik has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 246 seconds]
eikke has quit [Ping timeout: 276 seconds]
karswell` has joined #ocaml
karswell has quit [Ping timeout: 245 seconds]
eikke has joined #ocaml
osnr1 has joined #ocaml
osnr has quit [Ping timeout: 252 seconds]
eni has quit [Ping timeout: 276 seconds]
ollehar has joined #ocaml
Smerdyakov has joined #ocaml
brendan has quit [Ping timeout: 252 seconds]
brendan has joined #ocaml
brendan has quit [Ping timeout: 248 seconds]
Yoric has quit [Read error: Operation timed out]
malc__ has joined #ocaml
brendan has joined #ocaml
ttamttam has joined #ocaml
eni has joined #ocaml
weie_ has joined #ocaml
weie has quit [Ping timeout: 245 seconds]
talzeus has joined #ocaml
talzeus has quit [Quit: where is the love...]
talzeus has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
darkf has quit [Quit: Leaving]
talzeus has quit [Remote host closed the connection]
ttamttam has left #ocaml []
Kakadu has quit []
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
osnr1 has quit [Ping timeout: 245 seconds]
osnr1 has joined #ocaml
osnr has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
osnr1 has quit [Read error: Connection reset by peer]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
osnr has quit [Read error: Connection reset by peer]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
osnr1 has joined #ocaml
osnr has quit [Ping timeout: 248 seconds]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
<Drup> does someone know how to use ermine's xmpp binding ? I have a "exception XMPP.Make(M)(XmlParser)(IDCallback).Error("bind")" and the "documentation" is not very helpfull !
osnr1 has quit [Ping timeout: 248 seconds]
osnr has quit [Ping timeout: 276 seconds]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
osnr1 has joined #ocaml
osnr has quit [Ping timeout: 276 seconds]
osnr has joined #ocaml
osnr1 has quit [Read error: Connection reset by peer]
osnr has quit [Changing host]
osnr has joined #ocaml
ollehar has joined #ocaml
eni has quit [Quit: Leaving]
ollehar1 has joined #ocaml
osnr has quit [Read error: Connection reset by peer]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
iZsh has quit [Quit: Coyote finally caught me]
iZsh has joined #ocaml
jobseeker has quit [Ping timeout: 256 seconds]
jkl has joined #ocaml
milosn has quit [Ping timeout: 256 seconds]
jkl has quit [Ping timeout: 252 seconds]
ollehar1 has quit [Ping timeout: 256 seconds]
madroach has quit [Quit: leaving]
RagingDave has joined #ocaml
milosn has joined #ocaml
madroach has joined #ocaml
mort___ has joined #ocaml
sysop_fb has joined #ocaml
osnr1 has joined #ocaml
ousado has quit [Ping timeout: 248 seconds]
osnr has quit [Ping timeout: 246 seconds]
sysopfb has joined #ocaml
ousado has joined #ocaml
ollehar has joined #ocaml
sysop_fb has quit [Ping timeout: 264 seconds]
<ousado> opa is great indeed
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
osnr1 has quit [Read error: No route to host]
emmanuelux has quit [Ping timeout: 252 seconds]
<ousado> but does it have ADTs?
<Drup> yes
<ousado> ah there.. sum types
<Drup> sum types are a bit ... hidden, so that js programmers are not too confused.
<ousado> it looks a little weird, but conceptually it's the right thing to do
osnr has quit [Read error: Connection reset by peer]
osnr1 has joined #ocaml
<Leonidas> Opa means Grandfather in german :-)
<ousado> and above that it's written in ocaml ..
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
<ousado> sheesh
<ousado> how could I miss that..
osnr1 has quit [Ping timeout: 256 seconds]
<Drup> in the beginning, the syntax was very ml-like and the server part was compiled to ocaml
<ousado> Drup: are you using it?
<Drup> no
<ousado> but you seem to follow it quite closely
<ousado> does it have metaprogramming features?
<Drup> now, it's in a ugly js-like syntax (you can't even do partial application because of the syntax) and it's compiled to node.js ...
<Drup> afaik, no
<ousado> mm ok.. strange
<ousado> nodejs isn't that bad, if you can target it in a sane language
<ousado> it has quite powerful APIs
<ousado> I'm mostly looking at the ocsigen stuff for an alternative to my current stack, at the moment
<Drup> I was very enthusiastic in the beginning but I think they got a bit lost in the process and tried to evolve to "new" technologies to fast. I have to admit that the type system is really cool, though.
<Drup> too fast*
<ousado> it's somewhat an hommage to the dynamic guys
<ousado> quite some overlap with haxe there
<ousado> Drup: are you doing web-related programming?
<Drup> sort of, internship in the eliom team right now :p
<ousado> wow
<ousado> jesus christ #ocaml is full of people doing nice things..
sysop_fb has joined #ocaml
<ousado> .. gotta walk the dog
munga has joined #ocaml
trep has joined #ocaml
<asmanur_> Drup: are you gabriel ? :-°
<Drup> yes x)
sysopfb has quit [Ping timeout: 276 seconds]
* Drup is not anonymous anymore.
<asmanur_> :)
sysopfb has joined #ocaml
<Drup> asmanur_: and you are ?
sysop_fb has quit [Ping timeout: 264 seconds]
munga has quit [Client Quit]
<asmanur_> and are you living in a shitty residence near pir2 ?
<asmanur_> Drup: simon, the guy interested in macaque recently
<Drup> oh :D
<companion_cube> hey, I'm the real simon
<companion_cube> asmanur_: prefix your name with a module, please :p
trep has quit [Ping timeout: 276 seconds]
Smerdyakov has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
gamme has joined #ocaml
Snark has quit [Quit: leaving]
gustav_ is now known as gustav___
<gamme> has anyone seen nza?
gamme has quit [Ping timeout: 248 seconds]
beginner42 has joined #ocaml
<beginner42> i am trying to write to a postgresql database, but i am getting this error
<beginner42> Fatal error: exception Postgresql.Error(_)
<beginner42> does someone have an idea where the problem might be?
<ollehar> lol
<ollehar> pastebin code?
<beginner42> ollehar: i will paste my function, one second
<flux> beginner42, catch that exception and use the module's string conversion functions
hto has quit [Quit: Lost terminal]
<flux> expect:[Copy_in] looks wrong
<flux> I don't remember what it exactly is, but I think something like ~expcet:[`Success] or something.
<flux> or
<flux> you can (IIRC) just not give ~expect at all
<flux> it's there to make it easier to write code that doesn't fail without you noticing it
cdidd has joined #ocaml
<flux> (also you iirc don't need to put ;s inside single-line queries)
<flux> good luck :)
<beginner42> flux: is there an open source project using this postgresql binding so i can learn from them?
<flux> can't think of one off-hand
<flux> iirc :) the .mli is pretty descriptive
<beginner42> i tried to follow the examples, but it didnt really work, i guess will just have to try more
<beginner42> thanks for your help, i will check out the mli more carefully
beginner42 has quit [Quit: irc2go]
Neros has quit [Ping timeout: 240 seconds]
SuperNoeMan has quit [Ping timeout: 256 seconds]
sysopfb is now known as sysop_fb
sysop_fb has left #ocaml []
SuperNoeMan has joined #ocaml
<ousado> hum how do opam and oasis/odb relate?
malc__ has quit [Quit: leaving]
jkl has joined #ocaml
mort___ has quit [Quit: Leaving.]
ggole has quit []
eni has joined #ocaml
Neros has joined #ocaml
<ousado> wmeyer: I'm compiling omonad, and I'm getting a few errors, some things seem to have changed since you've written this
ttamttam has joined #ocaml
<ousado> I've added Ppat_extension to 'is_exhaustive' and ppat_attributes to the return type of patt_of_expr, but I don't know where that E comes from
ttamttam has left #ocaml []
<ousado> hm.. it's still in Ast_mapper, any idea why it doesn't pick it up?
weie_ has quit [Quit: Leaving...]
Yoric has quit [Ping timeout: 252 seconds]
mfp has quit [Read error: Connection reset by peer]
<ousado> ok, there's an mli that doesn't export it .. :s
Watcher7|off is now known as Watcher7
<ousado> which is wrong, so I a have an old/broken installation here it seems
<ousado> ok, works now
eni has quit [Ping timeout: 260 seconds]
hto has joined #ocaml
tchell_ is now known as tchell
RagingDave has quit [Quit: Ex-Chat]
cdidd has quit [Remote host closed the connection]
jkl has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
dwmw2 is now known as dwmw2_gone
dezzy_ has joined #ocaml
dezzy has quit [Read error: Connection reset by peer]
ollehar has quit [Ping timeout: 256 seconds]
jkl has joined #ocaml
malo has quit [Quit: Leaving]