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/
q66 has quit [Remote host closed the connection]
ollehar has joined #ocaml
jkl has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
jkl has quit [Ping timeout: 246 seconds]
tchell has joined #ocaml
Drup has quit [Quit: Leaving.]
ygrek has joined #ocaml
eikke has quit [Ping timeout: 245 seconds]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
jkl has joined #ocaml
talzeus has joined #ocaml
Neros has quit [Quit: http://quassel-irc.org - Discuter simplement. Partout.]
Neros has joined #ocaml
mattrepl has joined #ocaml
mfp has quit [Ping timeout: 256 seconds]
emmanuelux has quit [Quit: emmanuelux]
mfp has joined #ocaml
dsheets has quit [Ping timeout: 256 seconds]
darkf has joined #ocaml
Neros has quit [Ping timeout: 264 seconds]
tianon has quit [Quit: "I'm a very important man. I've got a tower!"]
tianon has joined #ocaml
ygrek has joined #ocaml
* ygrek doesn't get all this opam *.config stuff : asmcomp bytecomp etc
<ygrek> why not make use of ocamlfind here?
dezzy has quit [Read error: Connection reset by peer]
dezzy has joined #ocaml
caligula has quit [Ping timeout: 240 seconds]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Quit: ttamttam]
Watcher7 is now known as Watcher7|off
Derander_ has quit [Read error: Operation timed out]
Derander has joined #ocaml
ggole has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
talzeus has quit [Remote host closed the connection]
caligula has joined #ocaml
talzeus has joined #ocaml
Snark has joined #ocaml
caligula has quit [Quit: Konversation terminated!]
ttamttam has joined #ocaml
caligula has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
wwilly has joined #ocaml
zpe has joined #ocaml
Arsenik has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
wwilly has quit [Quit: Leaving]
djcoin has joined #ocaml
gnuvince has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
jkl has quit [Ping timeout: 240 seconds]
raichoo has joined #ocaml
Arsenik has quit [Remote host closed the connection]
bitbckt has quit [Ping timeout: 252 seconds]
bitbckt has joined #ocaml
weie_ has quit [Read error: Connection reset by peer]
brendan has quit [Ping timeout: 264 seconds]
hkBst has joined #ocaml
weie has joined #ocaml
brendan has joined #ocaml
hkBst has quit [Ping timeout: 256 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Kakadu has joined #ocaml
cago has joined #ocaml
jkl has joined #ocaml
chris2 has quit [Remote host closed the connection]
ygrek has joined #ocaml
Fnar has quit [Quit: Client exiting]
wwilly has joined #ocaml
<wwilly> bonjour
zpe has quit [Remote host closed the connection]
<Kakadu> hey!
mika1 has joined #ocaml
jbrown has joined #ocaml
Fnar has joined #ocaml
<def-lkb> yo
ontologiae has joined #ocaml
jsvgoncalves has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
chris2 has joined #ocaml
ollehar has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
mcclurmc has quit [Ping timeout: 252 seconds]
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
Kakadu has quit [Read error: Connection reset by peer]
cdidd has quit [Read error: Connection reset by peer]
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
mika1 has quit [Ping timeout: 256 seconds]
mika1 has joined #ocaml
cago has quit [Ping timeout: 252 seconds]
sivoais has quit [Ping timeout: 264 seconds]
mort___ has joined #ocaml
sivoais has joined #ocaml
cago has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
caligula has quit [Quit: Konversation terminated!]
zpe has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
mcclurmc has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
zpe has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
jkl has quit [Ping timeout: 264 seconds]
wagle has quit [Read error: Connection reset by peer]
wagle has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
Yoric has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
<flux> is there an ocaml library that will fit a x,y formula to a two-dimensional polynomial?
<flux> actually that's a bit too limiting condition. I'm interested in solving the following problem: given a set of x, y, z points, formulate a surface z = f(x, y) that smoothly touches those points
<flux> (f'(x,y) needs not be 0 at the points)
<flux> (hmm, I mean: it is not required that delta f(x, y) is (0, 0) at those points; it could be)
<def-lkb> GSL could do the job, there are caml-bindings
<flux> thanks
<flux> which one is better?
<flux> gsl -- GSL - Bindings to the GNU Scientific Library
<flux> ocamlgsl -- Interface to GSL (GNU scientific library)
sivoais has quit [Ping timeout: 252 seconds]
<def-lkb> I used the "gsl" one once ( https://bitbucket.org/mmottl/gsl-ocaml )… can't help you much
<flux> hmm, probably the same as 'gsl'
sivoais has joined #ocaml
<flux> def-lkb, how did you feel about the bindings?
hto has quit [Ping timeout: 256 seconds]
<def-lkb> bindings were "OK", though I didn't use them a lot
<flux> gsl seems to be GPL. I suppose fine, but I prefer a LGPL/BSD/MIT :)
sivoais has quit [Ping timeout: 260 seconds]
hto has joined #ocaml
sivoais has joined #ocaml
jsvgoncalves has quit [Ping timeout: 248 seconds]
jkl has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
Drup has joined #ocaml
sivoais has joined #ocaml
q66 has joined #ocaml
jkl has quit [Quit: leaving]
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
_andre has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
karswell` has quit [Remote host closed the connection]
sivoais has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
talzeus has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
Neros has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
<chris2> is there a nice way to call ocamlbuild such that it runs ocamlc -i with the correct findlib, packages etc?
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
<chris2> ocamlbuild foo.mli doesnt not seem to work here
<chris2> oh, ocamlbuild foo.inferred.mli
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
zpe has joined #ocaml
sivoais has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
<ttamttam> chris2: try ocamlbuild -documentation | grep .mli
<ttamttam> You'll find that what you are looking for may be: ocamlbuild my_module.inferred.mli
<chris2> yeah, i didnt see the .inferred. at first
<chris2> ocamlbuild is magic :)
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 276 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 252 seconds]
rixed has quit [Quit: reconf screen]
sivoais has joined #ocaml
rixed has joined #ocaml
hto has quit [Read error: Connection reset by peer]
sivoais has quit [Ping timeout: 246 seconds]
hto has joined #ocaml
sivoais has joined #ocaml
dsheets has joined #ocaml
ben_zen has quit [Read error: Operation timed out]
beckerb has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
dsheets has quit [Ping timeout: 248 seconds]
sivoais has quit [Ping timeout: 261 seconds]
sivoais has joined #ocaml
hsuh123 has quit [Quit: Page closed]
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
ben_zen has joined #ocaml
beckerb has quit [Quit: Konversation terminated!]
beckerb has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
beckerb has quit [Read error: Connection reset by peer]
speredenn has joined #ocaml
sivoais has quit [Ping timeout: 260 seconds]
<rgrinberg> has anyone used js's custom_printf yet?
<rgrinberg> can't get it to work at the toplevel
sivoais has joined #ocaml
speredenn has quit [Client Quit]
<gasche> I'm not sure we actually need a custom printf
<gasche> there was a similar work as part of the Batteries effort
<gasche> but we already have a "built-in" printf that is overly extended in capabilities
<gasche> and I'm not sure there is a justification for using a syntax extension instead
<gasche> by the way
<gasche> Benoît Vaugon has re-implemented the built-in Printf in a very interesting, but also very long, patch submitted on the bug-tracker
<gasche> if people are interested in giving a hand reviewing and commenting it, they're more than welcome
<rgrinberg> gasche: maybe so, i'd have to try it out to make that judgement however
sivoais has quit [Ping timeout: 260 seconds]
<rgrinberg> anyway I almost always use other syntax extensions as well. maybe if this was the only one I'd agree it would be overkill
<rgrinberg> thanks for the link, i'll check it out
sivoais has joined #ocaml
zpe has joined #ocaml
beckerb has joined #ocaml
darkf has quit [Quit: Leaving]
ollehar has joined #ocaml
sivoais has quit [Ping timeout: 276 seconds]
sivoais has joined #ocaml
speredenn has joined #ocaml
smondet has joined #ocaml
raichoo has quit [Quit: leaving]
sivoais has quit [Ping timeout: 276 seconds]
talzeus_ has joined #ocaml
sivoais has joined #ocaml
talzeus_ has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 260 seconds]
beckerb has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
jpdeplaix` has quit [Ping timeout: 246 seconds]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
speredenn has quit [Ping timeout: 246 seconds]
jpdeplaix has joined #ocaml
sivoais has quit [Ping timeout: 245 seconds]
sivoais has joined #ocaml
gnuvince has joined #ocaml
beckerb has joined #ocaml
gnuvince has quit [Ping timeout: 260 seconds]
sivoais has quit [Ping timeout: 245 seconds]
sivoais has joined #ocaml
hkBst has quit [Quit: Konversation terminated!]
ontologiae has quit [Quit: WeeChat 0.4.0]
beckerb has quit [Quit: Konversation terminated!]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
ttamttam has quit [Quit: ttamttam]
beckerb has joined #ocaml
raichoo has joined #ocaml
Arsenik has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
mika1 has quit [Quit: Leaving.]
Kakadu has joined #ocaml
cdidd has joined #ocaml
zpe has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 246 seconds]
sivoais has joined #ocaml
ontologiae has joined #ocaml
wwilly has quit [Remote host closed the connection]
beckerb has quit [Read error: Connection reset by peer]
Neros has quit [Read error: Connection reset by peer]
Neros has joined #ocaml
speredenn has joined #ocaml
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
beckerb has joined #ocaml
ttamttam has joined #ocaml
mort___ has quit [Ping timeout: 276 seconds]
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
sivoais has quit [Ping timeout: 246 seconds]
sivoais has joined #ocaml
tane has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
beckerb has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
mika1 has joined #ocaml
cago has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 264 seconds]
cago has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
zpe has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
Kakadu has quit []
beckerb has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
beckerb has quit [Read error: Operation timed out]
ttamttam has quit [Quit: ttamttam]
ygrek has quit [Ping timeout: 252 seconds]
mika1 has quit [Quit: Leaving.]
<wmeyer> hi
sivoais has quit [Ping timeout: 240 seconds]
<ousado> hello
sivoais has joined #ocaml
Drup has quit [Ping timeout: 252 seconds]
hongboz has joined #ocaml
<wmeyer> ousado: hello
<ousado> wmeyer: o/
<wmeyer> \o
<ousado> wmeyer: how is your day?
<hongboz> hi all, does anyone know how to test the dynlink support without depending on dynlink library?
<ousado> hongboz: hi! you need to write docs!!!!
<ousado> please pretty please
zpe has joined #ocaml
<hongboz> ousado: sure, just be a little patient :-)
<hongboz> I mean how do I know Dynlink.is_native without depending on Dynlink? does anyone know the trick?
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
<smondet> hongboz: in Core.Sys there is `execution_mode` (https://ocaml.janestreet.com/ocaml-core/109.23.00/doc/core/Sys.html )
zpe has quit [Ping timeout: 256 seconds]
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
<ousado> hongboz: actually a very small example that shows how the fan toolchain works would be enough
wwilly has joined #ocaml
<wmeyer> ousado: it's good. I am looking now for the hot tea, and fixing my chromebook.
<hongboz> smondet: thanks, but I don't want to dependent on async either
<hongboz> ousado: I already have several libraries written in Fan, (not fan itself), just take some time to doc it
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
<hongboz> smondet: I would take a look at how they implement it, thanks
<ousado> hongboz: dynlink just uses different implementation files for native and bytecode
<ousado> couldn't you do the same?
<hongboz> ousado: Yes, I see, dynlink and natdynlink, just try to avoid dependency on dynlink for Fan
raichoo has quit [Ping timeout: 264 seconds]
sivoais has quit [Ping timeout: 256 seconds]
dsheets has joined #ocaml
raichoo has joined #ocaml
sivoais has joined #ocaml
<hongboz> smondet: aha, the trick is to make use of the fact that bytecode has a different calling convention from native, nice
dsheets has quit [Ping timeout: 264 seconds]
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
hongboz has left #ocaml []
Yoric has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
<ousado> anyone here using eliom?
<ousado> I have a question regarding client and server scopes
sivoais has quit [Client Quit]
ontologiae has joined #ocaml
<asmanur> ousado: ask away, and you might have an answer one day :)
thelema has joined #ocaml
thelema_ has quit [Remote host closed the connection]
<ousado> ok ;). how can I access top-level client_values defined in one {client{ .. }} scope from another such scope, defined later (in the same file)
tomprince has joined #ocaml
ollehar has joined #ocaml
<asmanur> ousado: well I'd say: either use a caml service or a bus depending on what you want to do
tomprince has left #ocaml []
Kakadu has joined #ocaml
<wmeyer> ousado: try #ocsigen
<ousado> wmeyer: I've asked there already
<ousado> hm, maybe I wasn't clear, I'm just defining some helper functions, I don't really want to send anything over.
<wmeyer> ousado: there are not many people on ocsigen so it might take time, you can also post it, the answers mitght come fastert
<ousado> wmeyer: yes, I've been in that channel for some weeks now, and Drup is basically the only person who answered questions in that time
<ousado> and he's not there, currently
<Kakadu> what happend?
<Kakadu> it seems ousado have become very active last week. <troll>Maybe he have realised which language is beatiful and ehich is not </troll>
<ousado> ;)
sivoais has joined #ocaml
raichoo has quit [Quit: Lost terminal]
ttamttam has joined #ocaml
<ousado> okay, that was a pebkac :)
ttamttam has quit [Remote host closed the connection]
raichoo has joined #ocaml
emmanuelux has joined #ocaml
* wmeyer having fun with dependent types :-)
<orbitz> in which language?
<ousado> last time it was Coq
<wmeyer> of course it's Rooster
<wmeyer> :D
<wmeyer> I admit it's even hard to say this name in any formal occasion :-)
<orbitz> :)
<wmeyer> they made it difficult
<wmeyer> !
<orbitz> I like the name of their mailing list: coq-club
<wmeyer> yeah
_andre has quit [Quit: leaving]
hto has quit [Quit: Lost terminal]
hto has joined #ocaml
hto has quit [Client Quit]
hto has joined #ocaml
beckerb has joined #ocaml
dsheets has joined #ocaml
beckerb has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 264 seconds]
eni has joined #ocaml
speredenn has quit [Quit: Leaving]
cago has quit [Ping timeout: 240 seconds]
Drup has joined #ocaml
ttamttam has joined #ocaml
Snark has quit [Quit: leaving]
Watcher7|off is now known as Watcher7
tane has quit [Quit: Verlassend]
ttamttam has quit [Remote host closed the connection]
<adrien> "I'm attending a big Coq meeting"
<adrien> you really get to wonder what they had in mind
Arsenik has quit [Remote host closed the connection]
<wmeyer> :D
<wmeyer> adrien: "Today I played a little bit with Coq" :-)
<wmeyer> that does not sound to bad in your language
<wmeyer> but sounds terrible in English
<adrien> I can't believe they didn't see it coming
<adrien> and you could also show coq to children
<thizanne> what about using coq to play with zippers ?
<wmeyer> thizanne: the X-monad zippers?
<adrien> that sounds dangerous =/
<wmeyer> they've done it already
<thizanne> I don't want to do it, I just wanted to add one more "terrible" word
<wmeyer> thizanne: it's terrible enough, that i don't want to sleep
<wmeyer> adrien: nope, I'd say "Cute Rooster"
<wmeyer> (if it's roasted or not, that's different story)
ollehar has quit [Ping timeout: 276 seconds]
<companion_cube> wmeyer: it actually doesn't sound that good in french either
<companion_cube> "bit" is similar to "coq" in english ;)
Yoric has quit [Ping timeout: 246 seconds]
Watcher7 is now known as Watcher7|off
<wmeyer> :D
<wmeyer> i am sure if i put on YT a song about Coq it will be banned
ggole has quit []
ollehar has joined #ocaml
ulfdoz has joined #ocaml
Watcher7|off is now known as Watcher7
raichoo has quit [Quit: leaving]
eikke has joined #ocaml
mcclurmc has joined #ocaml
Kakadu has quit []
Anarchos has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
djcoin has quit [Quit: WeeChat 0.4.0]
eni has quit [Ping timeout: 248 seconds]
wwilly has quit [Remote host closed the connection]
emmanuelux has quit [Quit: emmanuelux]
smondet has quit [Ping timeout: 276 seconds]
ollehar has quit [Ping timeout: 240 seconds]
cdidd has quit [Remote host closed the connection]
malo has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
cdidd has joined #ocaml
jbrown has quit [Ping timeout: 264 seconds]
ousado has quit [Ping timeout: 264 seconds]