<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
<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]