companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
ristos has quit [Quit: Connection closed for inactivity]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
sam_ has quit [Ping timeout: 248 seconds]
kakadu has quit [Remote host closed the connection]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 255 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
mengu has quit [Quit: Leaving...]
mfp__ has quit [Ping timeout: 260 seconds]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 246 seconds]
ncthom91 has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 260 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jimt_ is now known as Jim7J1AJH
al-damiri has joined #ocaml
sam_ has joined #ocaml
dreadedfrog has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
dreadedfrog has quit [Ping timeout: 258 seconds]
jimmyrcom_ has quit [Ping timeout: 240 seconds]
groovy2shoes has quit [Ping timeout: 240 seconds]
Jim7J1AJH is now known as jimt
vicfred has joined #ocaml
dreadedfrog has joined #ocaml
sam_ has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
sam_ has quit [Ping timeout: 276 seconds]
MercurialAlchemi has joined #ocaml
sz0 has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 255 seconds]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
pzp has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
dreadedfrog has joined #ocaml
cbot has quit [Quit: Leaving]
dreadedfrog has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
vicfred has quit [Quit: Leaving]
malina has quit [Remote host closed the connection]
sam_ has joined #ocaml
MercurialAlchemi has joined #ocaml
malina has joined #ocaml
sam_ has quit [Ping timeout: 258 seconds]
dreadedfrog has joined #ocaml
malina has quit [Remote host closed the connection]
aggelos_ has quit [Ping timeout: 240 seconds]
dreadedfrog has quit [Ping timeout: 255 seconds]
aggelos_ has joined #ocaml
Simn has joined #ocaml
malina has joined #ocaml
jsoo has joined #ocaml
jsoo has quit [Client Quit]
KeyJoo has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
jsoo has joined #ocaml
jsoo has quit [Client Quit]
sam_ has joined #ocaml
jsoo has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
dreadedfrog has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
<orbifx[m]> cuneiform characters?
dreadedfrog has quit [Ping timeout: 260 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
jsoo has quit [Ping timeout: 246 seconds]
jlam_ has joined #ocaml
peterpp_ has joined #ocaml
peterpp_ has quit [Ping timeout: 240 seconds]
malina has quit [Ping timeout: 260 seconds]
dreadedfrog has joined #ocaml
sam_ has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
sam_ has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
kakadu has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 255 seconds]
fre has joined #ocaml
theblatte has quit [Ping timeout: 258 seconds]
theblatte has joined #ocaml
fre has quit [Ping timeout: 255 seconds]
dreadedfrog has quit [Ping timeout: 268 seconds]
<mami> its an old type of script
<orbifx[m]> Cool
<mami> and now it seems there is (or will be) unicode support
dreadedfrog has joined #ocaml
fre has joined #ocaml
sam_ has joined #ocaml
dreadedfrog has quit [Ping timeout: 255 seconds]
sam_ has quit [Ping timeout: 260 seconds]
dreadedfrog has joined #ocaml
ygrek has joined #ocaml
ygrek_ has quit [Ping timeout: 255 seconds]
Algebr has joined #ocaml
dmbaturin has quit [Ping timeout: 258 seconds]
vramana_ has quit [Quit: vramana_]
mfp__ has joined #ocaml
dmbaturin has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
copy_ has joined #ocaml
argent_smith has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
ziyourenxiang has joined #ocaml
silver has joined #ocaml
Leonidas has quit [Ping timeout: 268 seconds]
Leonidas has joined #ocaml
Anarchos has joined #ocaml
groovy2shoes has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 276 seconds]
johnelse is now known as johnel_away
johnel_away is now known as johnelse
inr has quit [Ping timeout: 240 seconds]
<orbifx[m]> is there a more terse syntax for `let f x y = g @@ h x y`? Something along the lines of `let f = g . h` ?
<thizanne> not in the standard library
inr has joined #ocaml
<thizanne> there is one in batteries, probably in other alternative libs also
<thizanne> but you'll probably get bitten by the value restriction
_andre has joined #ocaml
<orbifx[m]> Value restriction?
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
KV_ has joined #ocaml
sam___ has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.1]: i've been blurred!]
sepp2k has joined #ocaml
Algebr has joined #ocaml
<orbifx[m]> Number of parameters?
<sgnb> type variables that cannot be generalized
<sgnb> for example, List.map (fun x -> x) in an otherwise empty module
Algebr has quit [Ping timeout: 246 seconds]
<orbifx[m]> I see
<orbifx[m]> Thanks
<octachron> orbifx[m], note that if you already have a composition operator, e.g. (%), you can rewrite your f in pointless style as: "let f = ((%) g) % h"
<orbifx[m]> I don't have that. Does standard ocaml have anything as such?
<orbifx[m]> It's three functions, so not very bothered, just curious
<octachron> No, the composition operator is somehow controversial, partially due to the value restriction, partially due to the potential for abuse of pointfree style
sam___ has quit [Ping timeout: 276 seconds]
<sgnb> how pointfree style is considered abuse?
<octachron> sgnb, it is not an abuse in itself, however, it can be abused to yield quite hard to read code
argent_smith has quit [Quit: Leaving.]
<orbifx[m]> I for one appreciate the language trying to keep syntax, and symbols within a limit.
<octachron> for instance, it may not be obvious that "let f= ((%) % (%)) g h" is the same function as the one defined by "let f x y = g (h x y)"
<octachron> orbifx[m], to finish, extended standard libraries tend to define a composition operator, or at least a "compose" function
sam___ has joined #ocaml
<orbifx[m]> cool
<orbifx[m]> thanks octachron
ShalokShalom has joined #ocaml
<orbifx[m]> Does batteries really not support 4.5.0?
<sgnb> orbifx[m]: there is a ticket open for that with links to Debian patches
<companion_cube> what's to be patched exactly?
<companion_cube> I think containers works on 4.05, but haven't really tested yet
<orbifx[m]> yeah? opam says < 4.05.0
<sgnb> companion_cube: from what I've seen, batteries is designed to fail with new ocaml releases :-)
<companion_cube> quite possible :)
fre has quit [Ping timeout: 246 seconds]
ristos has joined #ocaml
sh0t has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
sam___ has joined #ocaml
fre has joined #ocaml
TheGrimFandango has joined #ocaml
fre has quit [Quit: WeeChat 1.9]
jsoo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
jsoo has quit [Client Quit]
fre has joined #ocaml
dreadedfrog has quit [Ping timeout: 260 seconds]
sam___ has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
<companion_cube> so at least containers works on 4.05, I checked
<sam___> any experience with using ocamldebug, particularly with vscode but also in general?
<sam___> i cant seem to make it stop at any breakpoints
<companion_cube> I never really got it :/
<companion_cube> doesn't work in vscode? :/
<rks`> sam___: you need to be careful when you place breakpoints
<rks`> you want to place them on a line in a module, not on a function
<rks`> because if it's on the function, then it will get ignored sometimes (perhaps because of inlining, or higher order, or both?)
dreadedfrog has joined #ocaml
<rks`> (as for vscode integration, I have no idea)
<sam___> rks`: so does that mean "place breakpoints outside of functions" or?
<rks`> no, I just meant: use the syntax "break @Module line" and not "break some_function"
<rks`> the line can be the first line of/in the function, that's fine
<sam___> rks`: ah, i am trying to add them in vscode by clicking in the gutter to add a red ball to a line
<rks`> I can't help you at all then, sorry
mbuf has quit [Quit: Leaving]
<sam___> ok, thanks
dreadedfrog has quit [Ping timeout: 248 seconds]
andreas__ has joined #ocaml
<sam___> ok... this is kinda interesting. when I changed count to 1 for my qcheck prop. the test always runs to completion. but when i increase it to 2 i get stuck in some infinite loop.
mengu has joined #ocaml
al-damiri has joined #ocaml
jmiven has quit [Quit: co'o]
Algebr has joined #ocaml
jmiven has joined #ocaml
MercurialAlchemi has joined #ocaml
FreeBirdLjj has joined #ocaml
fre has quit [Quit: WeeChat 1.9]
TheGrimFandango has quit [Remote host closed the connection]
jlam_ has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
<sam___> companion_cube: is there a constant seed used by qcheck if i dont specify my own seed?
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 260 seconds]
sepp2k has quit [Quit: Leaving.]
dreadedfrog has joined #ocaml
sepp2k has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
KV_ has quit [Quit: Lost terminal]
sam___ has quit [Ping timeout: 240 seconds]
ziyourenxiang has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
selite has joined #ocaml
dreadedfrog has joined #ocaml
<selite> Can someone explain let sum a b c d = a + b + c + d;; (sum 1 2 3) 4 yields 10. Are a b c and c parameters as far as I know functions have single parameter in ocaml?
<selite> It's certainly not a tuple.
selite has quit [Quit: Page closed]
<octachron> selite, in some some sense, functions always have only one parameter in OCaml, but there are curried
<octachron> ie "sum 10" ≡ "let a = 10 in (fun b c d -> a + b + c +d )"
<octachron> or "let sum a b c d = a + b + c + d" is some syntactic sugar mapping to "let sum = fun a -> (fun b -> (fun c -> (fun d -> a + b + c + d)))
<sgnb> he's gone
andreas__ has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Remote host closed the connection]
tane has joined #ocaml
sam___ has joined #ocaml
jlam__ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
mengu_ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
mengu has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
nahra has quit [Quit: ERC (IRC client for Emacs 25.1.1)]
Simn has quit [Ping timeout: 255 seconds]
sz0 has joined #ocaml
argent_smith has joined #ocaml
sam___ has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
hannes has quit [Quit: Coyote finally caught me]
hannes has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
dreadedfrog has joined #ocaml
argent_smith has quit [Quit: Leaving.]
Soni has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
Soni has joined #ocaml
andreas__ has joined #ocaml
nahra has joined #ocaml
tokomak has joined #ocaml
dreadedfrog has quit [Quit: leaving]
malina has joined #ocaml
sam___ has joined #ocaml
peterpp_ has joined #ocaml
Simn has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
malina has quit [Ping timeout: 268 seconds]
rossberg_ has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 260 seconds]
sepp2k has quit [Quit: Leaving.]
rossberg_ has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
tane has quit [Quit: Leaving]
copy_ has quit [Quit: Connection closed for inactivity]
cbot has joined #ocaml
_andre has quit [Quit: leaving]
sam___ has joined #ocaml
mengu_ has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 268 seconds]
Simn has quit [Read error: Connection reset by peer]
jry25 has joined #ocaml
malina has joined #ocaml
mengu has joined #ocaml
jry25 has quit [Quit: jry25]
zlsyx has joined #ocaml
<zlsyx> is let sum a b c = a + b + c;; operate the same way like function x -> function y -> function z -> x + y + z;; ?
<zlsyx> As far as I know functions in ocaml can take one parameter, (which can be a tuple)
<zlsyx> so I'm suprised with let sum a b c .... ?
pierpa has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0_ is now known as infinity0
infinity0 has quit [Killed (adams.freenode.net (Nickname regained by services))]
Ragora has quit [Quit: Konversation terminated!]
Ragora has joined #ocaml
<lyxia> yes it's the same
dakk has joined #ocaml
Algebr has quit [Remote host closed the connection]
malina has quit [Remote host closed the connection]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
peterpp_ has quit [Ping timeout: 240 seconds]
peterpp_ has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 255 seconds]
malina has joined #ocaml
ShalokShalom_ has joined #ocaml
ShalokShalom_ has quit [Remote host closed the connection]
tokomak has quit [Remote host closed the connection]
sam___ has joined #ocaml
cbot has quit [Ping timeout: 255 seconds]
ShalokShalom has quit [Read error: Connection reset by peer]
sam___ has quit [Ping timeout: 268 seconds]
peterpp_ has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
sh0t has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
copy_ has joined #ocaml
peterpp_ has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
sam___ has joined #ocaml
peterpp_ has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml