adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Algebr` has joined #ocaml
zpe has joined #ocaml
orbifx has quit [Ping timeout: 276 seconds]
zpe has quit [Ping timeout: 260 seconds]
jhonatanoliveira has joined #ocaml
lol-icon has quit [Quit: brb]
hay207_ has quit [Ping timeout: 244 seconds]
lol-icon has joined #ocaml
hay207_ has joined #ocaml
wtetzner has quit [Remote host closed the connection]
Algebr` has quit [Ping timeout: 244 seconds]
cthuluh has joined #ocaml
wtetzner has joined #ocaml
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
jhonatanoliveira has joined #ocaml
mcc has joined #ocaml
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
thizanne has quit [Quit: WeeChat 1.5]
jhonatanoliveira has joined #ocaml
Algebr` has joined #ocaml
djhoulihan has joined #ocaml
ygrek_ has quit [Ping timeout: 258 seconds]
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Algebr` has quit [Ping timeout: 276 seconds]
ygrek_ has joined #ocaml
tvynrylan has quit [Remote host closed the connection]
d0nn1e has quit [Ping timeout: 244 seconds]
silver has quit [Quit: rakede]
zpe has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
djhoulihan has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tmtwd has joined #ocaml
Algebr` has joined #ocaml
jhonatanoliveira has joined #ocaml
jhonatanoliveira has quit [Client Quit]
djhoulihan has joined #ocaml
jhonatanoliveira has joined #ocaml
Algebr` has quit [Ping timeout: 264 seconds]
wtetzner has quit [Remote host closed the connection]
fluter has quit [Ping timeout: 250 seconds]
darkf has joined #ocaml
shinnya has quit [Quit: ZNC - http://znc.in]
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
shinnya has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
jhonatanoliveira has joined #ocaml
fluter has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
wtetzner has joined #ocaml
Algebr` has joined #ocaml
tmtwd has quit [Ping timeout: 240 seconds]
Algebr` has quit [Ping timeout: 252 seconds]
wtetzner has quit [Remote host closed the connection]
djhoulihan has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
govg has quit [Ping timeout: 258 seconds]
djhoulihan has joined #ocaml
djhoulihan has quit [Client Quit]
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
jhonatanoliveira has joined #ocaml
Algebr` has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
pierpa has quit [Ping timeout: 260 seconds]
Algebr` has quit [Ping timeout: 250 seconds]
bruce_r has quit [Ping timeout: 250 seconds]
govg has joined #ocaml
ggole has joined #ocaml
zpe has joined #ocaml
sdothum has joined #ocaml
ygrek has joined #ocaml
ygrek_ has quit [Ping timeout: 258 seconds]
zpe has quit [Ping timeout: 250 seconds]
govg has quit [Ping timeout: 244 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
govg has joined #ocaml
johnf__ has quit [Read error: Connection reset by peer]
govg has quit [Ping timeout: 250 seconds]
govg has joined #ocaml
johnf has joined #ocaml
lol-icon has quit [Remote host closed the connection]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 265 seconds]
slash^ has joined #ocaml
gasche has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
MercurialAlchemi has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
stormogulen has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
Algebr` has joined #ocaml
stormogulen has quit [Ping timeout: 250 seconds]
Algebr` has quit [Ping timeout: 276 seconds]
ollehar has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
shinnya has quit [Ping timeout: 250 seconds]
octachron has joined #ocaml
elfring has joined #ocaml
<elfring> How consistent is the description for parameters which should get a function passed with a specific type in various application programming interfaces?
<elfring> example : val sort : ('a -> 'a -> int) -> 'a list -> 'a list
<flux> usually it's documented with something like (** [sort compare list] sorts input list in respect to the comparison function *)
<flux> the signature of compare is typically assumed to be clear to the person reading documnetation
<flux> though I could be wrong, look at how List.sort is documented ;)
<flux> I wonder if it would be better or worse if it was like val sort : 'a compare_function -> 'a list -> 'a list, and the compare_function would have its own documentation..
<flux> well, it seems List.sort documents the compare function quite well
<flux> perhaps if you need to mention how it works, you can just refer to List.sort's docmentation ;)
<flux> I'll just quote it here: " Sort a list in increasing order according to a comparison function. The comparison function must return 0 if its arguments compare as equal, a positive integer if the first is greater, and a negative integer if the first is smaller (see Array.sort for a complete specification). For example, compare is a suitable comparison function. The resulting list is sorted in increasing order. List.sort is guaranteed to run in constant heap ...
<flux> ... space (in addition to the size of the result list) and logarithmic stack space. "
<flux> oh, there is sort_uniq nowadays, and I hadn't noticed List.merge exists..
<elfring> flux: I copied the example from the documentation for the list module. I find the connection between the parameter "compare" and the data type display "('a -> 'a -> int)" unclear there. Some developers might see this relationship a bit eaier.
<elfring> How do you think about a data type display like "'a compare_function" for more parameters in application programming interfaces?
Algebr` has joined #ocaml
<flux> well, it's a two-edged sword: you need to look up the signature (and documentation) for compare_function elsewhere, but on the other hand you can reuse it and perhaps it'll allow you to reference it without documenting it and still be clear
Algebr` has quit [Ping timeout: 244 seconds]
<octachron> another option would be to precise the return type of the compare function, for instance ('a -> 'a -> [>`Equal|Less|Greater])
<flux> I think I highly prefer that functions like List.map have the signature for the map function inline
<ggole> int isn't really the most principled comparison result
Algebr` has joined #ocaml
Algebr` has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
<flux> I think most would agree, but it is what it is and it is difficult to change :)
zpe has quit [Ping timeout: 258 seconds]
AlexRussia has joined #ocaml
<elfring> Can the type system of OCaml treat specifications like "('a -> 'a -> int)" and "'a compare_function" as equivalent?
<flux> yes, type 'a compare_fnction = ('a -> 'a -> int) is a type alias
<elfring> I would be interested to use such type aliases at more places.
<flux> such as?
<ggole> Using aliases to make datatype declarations more readable is pretty common.
<ggole> Dunno that you win much in the comparison function case though.
tmtwd has joined #ocaml
<ollehar> it's nice but maybe lose the gradient on the buttons :P
Algebr` has joined #ocaml
tmtwd has quit [Ping timeout: 258 seconds]
ghtdak has quit [Ping timeout: 258 seconds]
ghtdak has joined #ocaml
pierpa has joined #ocaml
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
RogerT has joined #ocaml
RogerT has quit [Client Quit]
RogerT has joined #ocaml
AltGr has joined #ocaml
<RogerT> Hi. What is the more efficient way to understand the new OCaml language extensions and their subtilities
RogerT has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
RogerT has joined #ocaml
RogerT has quit [Client Quit]
Algebr` has quit [Ping timeout: 240 seconds]
hay207_ has quit [Ping timeout: 244 seconds]
ollehar has quit [Ping timeout: 260 seconds]
dexterph` has joined #ocaml
zpe has joined #ocaml
AlexRussia has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 240 seconds]
<elfring> In which source files do you prefer to maintain type aliases for OCaml software?
AltGr has left #ocaml [#ocaml]
LiamGoodacre has joined #ocaml
hay207_ has joined #ocaml
zpe has joined #ocaml
jhonatanoliveira has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
jhonatanoliveira has quit [Client Quit]
orbifx1 has joined #ocaml
silver has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
zpe has joined #ocaml
sdothum has joined #ocaml
jhonatanoliveira has joined #ocaml
jhonatanoliveira has quit [Client Quit]
zpe has quit [Ping timeout: 258 seconds]
tane has joined #ocaml
lol-icon has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
gasche has joined #ocaml
zpe has joined #ocaml
jhonatanoliveira has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 240 seconds]
jhonatanoliveira has quit [Client Quit]
agarwal1975 has joined #ocaml
agarwal1975 has quit [Client Quit]
octachron has quit [Quit: Leaving]
agarwal1975 has joined #ocaml
bruce_r has joined #ocaml
orbifx1 has quit [Ping timeout: 240 seconds]
fraggle-boate has quit [Remote host closed the connection]
fraggle-boate has joined #ocaml
fluter has quit [Ping timeout: 250 seconds]
bruce_r has quit [Remote host closed the connection]
bruce_r has joined #ocaml
fluter has joined #ocaml
zpe has joined #ocaml
jhonatanoliveira has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
jhonatanoliveira has quit [Client Quit]
Mandus has quit [Ping timeout: 260 seconds]
Nahra has quit [Read error: Connection reset by peer]
Nahra has joined #ocaml
wtetzner has joined #ocaml
Mandus has joined #ocaml
LiamGoodacre has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
LiamGoodacre has joined #ocaml
LiamGoodacre has quit [Client Quit]
LiamGoodacre has joined #ocaml
malc_ has joined #ocaml
MercurialAlchemi has joined #ocaml
two_wheels has joined #ocaml
jhonatanoliveira has joined #ocaml
jhonatanoliveira has quit [Client Quit]
ollehar has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
shinnya has joined #ocaml
ollehar has quit [Quit: ollehar]
agarwal1975 has joined #ocaml
lol-icon has quit [Quit: Fix <strike>life</strike> config.]
dexterph` has quit [Read error: Connection reset by peer]
dexterph` has joined #ocaml
lol-icon has joined #ocaml
dexterph` has quit [Client Quit]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dexterph has joined #ocaml
<flux> they often, if not always, are related to some particular module, so obviously they come with that module's source file..
two_wheels has joined #ocaml
rand__ has joined #ocaml
two_wheels has quit [Ping timeout: 252 seconds]
agarwal1975 has quit [Quit: agarwal1975]
jhonatanoliveira has joined #ocaml
jhonatanoliveira has quit [Client Quit]
Heasummn has joined #ocaml
<Heasummn> Has anyone here setup Menhir with oasis?
<Heasummn> I'm just not completely sure what to do, most tutorials only use ocamlbuild
mcspud has quit [Ping timeout: 258 seconds]
<gasche> Heasummn: http://stuff.baturin.org/post/98297062550, apparently
tmtwd has joined #ocaml
<Heasummn> I don't need external tokens, so I just have to edit the _tags file I guess
octachron has joined #ocaml
<Heasummn> is there any better way in which I don't have to edit _tags every single time?
<Heasummn> yep, it will continuously be overwritten
<Heasummn> can I pass args to ocamlbuild?
<Heasummn> I just need to pass --use_menhir
mcspud has joined #ocaml
<gasche> well http://oasis.forge.ocamlcore.org/MANUAL.html#plugin-ocamlbuild-doc-build suggests ests that XOCamlbuildExtraArgs should work
<gasche> but no, you should be able to edit _tags without it being overwritten
<gasche> (just write what you want outside the (*OASIS*) part)
<Heasummn> Would it be better to just use my own Makefile? I will probably add other things, such as LLVM, and C++
<Heasummn> or is oasis still the best way to go?
<gasche> if you are creating a library you wish to distribute, Oasis adds a lot of value
<gasche> if you are working on a program (executable binary) and are not distributing it yet, you may go with whatever you prefer
<adrien> learn this one trick to be hated by every distribution packager
<adrien> (roll your own makefile)
<adrien> (or build system)
<adrien> (this one gives extra points)
tmtwd has quit [Ping timeout: 244 seconds]
jhonatanoliveira has joined #ocaml
jhonatanoliveira has quit [Client Quit]
<Heasummn> I can't understand this build system...
<Heasummn> How am I supposed to compile the ocamllex + menhir files?
tmtwd has joined #ocaml
picolino has quit [Remote host closed the connection]
<Heasummn> ahah
<Heasummn> I've found some old github repo from nearly 4 years ago that uses menhir as a buildtool, and that just magically works'
zpe has quit [Read error: Connection reset by peer]
orbifx1 has joined #ocaml
picolino has joined #ocaml
picolino has quit [Remote host closed the connection]
<Heasummn> Has anyone setup sublime text merlin?
copy` has joined #ocaml
jhonatanoliveira has joined #ocaml
jhonatanoliveira has quit [Client Quit]
tane has quit [Quit: Leaving]
zpe has joined #ocaml
ontologiae has joined #ocaml
ygrek has joined #ocaml
jhonatanoliveira has joined #ocaml
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
wizeman has quit [Quit: Connection closed for inactivity]
fedruantine has quit [Quit: client exited: Ex-Chat]
fedruantine has joined #ocaml
ontologiae has quit [Ping timeout: 244 seconds]
zpe has quit [Read error: Connection reset by peer]
govg has joined #ocaml
zpe has joined #ocaml
seangrove has joined #ocaml
orbifx1 has quit [Ping timeout: 265 seconds]
pierpa has quit [Ping timeout: 276 seconds]
pwd has joined #ocaml
jhonatanoliveira has joined #ocaml
pwd has quit [Client Quit]
wizeman has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
seangrov` has joined #ocaml
seangrove has quit [Ping timeout: 250 seconds]
zpe has quit [Read error: Connection reset by peer]
seangrov` has quit [Ping timeout: 265 seconds]
AlexRussia has joined #ocaml
recur has joined #ocaml
<recur> hi everyone..
<recur> can someone pls tell me if it is possible to call/link ocaml from c
<bruce_r> It is possible
<bruce_r> there are bindings
jhonatanoliveira has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<recur> i can see this http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html, but think i'm looking for the other way --> c calling some ocaml code
<Drup> recur: yes, there is a recent publication that takes advantage of that fact https://www.cl.cam.ac.uk/~jdy22/papers/ocaml-inside-a-drop-in-replacement-for-libtls.pdf
elfring has quit [Quit: Konversation terminated!]
<recur> thanks, i'll start from there and try the same
recur has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
kakadu has joined #ocaml
<flux> drup, so would it be possible to use that with some existing tls-bindings from ocaml? and possibly gain parallellism for ocaml code?-)
mcc has quit [Quit: Connection closed for inactivity]
<flux> btw, if someone is interested in computer graphics art (demos), look up assembly on twitch, compos are going on now
<Drup> flux: isn't it the same has having multiple process in the end ? You need multiple runtime if you want parallelism regardless, and I doubt you could walk around the limit of one runtime/process with that :)
<flux> drup, you could use threads instead of processes?
<flux> you would need multiple runtimes yes
<flux> but is it now that ocaml cannot se that particular c library?-)
kakadu has quit [Read error: Connection reset by peer]
tane has joined #ocaml
kakadu has joined #ocaml
<flux> (4k compos just passed but the main event is still ahead in 50 minutes)
ygrek has joined #ocaml
Nahra has quit [Ping timeout: 260 seconds]
fantasticsid has joined #ocaml
west has joined #ocaml
west has quit [Client Quit]
ggole has quit []
zpe has joined #ocaml
Nahra has joined #ocaml
munra has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
munra has quit [Client Quit]
orbifx1 has joined #ocaml
BananaMagician has joined #ocaml
malc_ has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 252 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
wizeman has quit [Quit: Connection closed for inactivity]
hay207_ has quit [Ping timeout: 258 seconds]
zpe has joined #ocaml
hay207_ has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
wtetzner has quit [Read error: Connection reset by peer]
AlexRussia has quit [Ping timeout: 240 seconds]
BananaMagician has quit [Ping timeout: 240 seconds]
orbifx1 has quit [Ping timeout: 276 seconds]
BananaMagician has joined #ocaml
bruce_r has quit [Ping timeout: 264 seconds]
octachron has quit [Quit: Leaving]
kakadu has quit [Remote host closed the connection]
mcc has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
tane has quit [Remote host closed the connection]
picolino has joined #ocaml
rand__ has quit [Quit: leaving]
hay207__ has joined #ocaml
hay207_ has quit [Ping timeout: 244 seconds]
ontologiae has joined #ocaml