sz0 has quit [Quit: Connection closed for inactivity]
enterprisey has joined #ocaml
dreadedfrog has quit [Ping timeout: 246 seconds]
raphaelss has quit [Ping timeout: 248 seconds]
jmct has quit [Ping timeout: 258 seconds]
jmct has joined #ocaml
Jfault has quit [Ping timeout: 258 seconds]
Jfault has joined #ocaml
silver_ has quit [Ping timeout: 255 seconds]
silver has joined #ocaml
mengu has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0_ is now known as infinity0
zmt01 has joined #ocaml
zmt00 has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 248 seconds]
zmt01 has quit [Quit: Leaving]
zmt00 has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 260 seconds]
glass is now known as theglass
theglass has quit [Changing host]
theglass has joined #ocaml
bobbypriambodo has quit [Quit: This computer has gone to sleep]
Muzer has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
VermillionAzure has quit [Ping timeout: 240 seconds]
whoman has quit [Read error: Connection reset by peer]
whoman has joined #ocaml
silver has quit [Read error: Connection reset by peer]
Muzer has joined #ocaml
Muzer has quit [Ping timeout: 246 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 248 seconds]
ygrek has quit [Ping timeout: 250 seconds]
Muzer has joined #ocaml
spew has quit [Read error: Connection reset by peer]
VermillionAzure has joined #ocaml
def`_ is now known as def`
cbot_ has quit [Ping timeout: 240 seconds]
cbot has joined #ocaml
zv has quit [Quit: WeeChat 1.9]
dreadedfrog has joined #ocaml
mfp has quit [Ping timeout: 276 seconds]
dreadedfrog has quit [Ping timeout: 260 seconds]
jimmyrcom_ has joined #ocaml
jimmyrcom_ has quit [Max SendQ exceeded]
jimmyrcom_ has joined #ocaml
spew has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
cbot has quit [Ping timeout: 240 seconds]
spew has quit [Read error: Connection reset by peer]
raphaelss has joined #ocaml
cbot has joined #ocaml
pierpa has quit [Quit: Page closed]
enterprisey has quit [Read error: Connection reset by peer]
BitPuffin|osx has joined #ocaml
mbuf has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
malina has quit [Remote host closed the connection]
jimmyrcom_ has quit [Ping timeout: 255 seconds]
dreadedfrog has joined #ocaml
KeyJoo has joined #ocaml
KeyJoo has quit [Remote host closed the connection]
dreadedfrog has quit [Ping timeout: 248 seconds]
<whoman>
whoaa =)
<whoman>
"Formal parameters and arguments are matched according to their respective labels1, the absence of label being interpreted as the empty label. This allows commuting arguments in applications. One can also partially apply a function on any argument, creating a new function of the remaining parameters."
donflopez has joined #ocaml
dreadedfrog has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
donflopez has quit [Client Quit]
dreadedfrog has quit [Ping timeout: 248 seconds]
MercurialAlchemi has joined #ocaml
raphaelss has quit [Remote host closed the connection]
axesd9 has joined #ocaml
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
zmt00 has quit [Quit: Leaving]
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
donflopez has joined #ocaml
solrize has quit [Ping timeout: 250 seconds]
TarVanimelde has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
donflopez has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
sepp2k has joined #ocaml
mengu has joined #ocaml
raduom has joined #ocaml
jyc has quit [Ping timeout: 258 seconds]
jyc has joined #ocaml
dreadedfrog has joined #ocaml
axesd9 has quit [Quit: WeeChat 2.0]
dreadedfrog has quit [Ping timeout: 260 seconds]
AltGr has joined #ocaml
malc_ has joined #ocaml
cbot has quit [Quit: Leaving]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse_ has joined #ocaml
raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
johnelse_ has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
zolk3ri has joined #ocaml
dreadedfrog has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
dhil has joined #ocaml
ziyourenxiang has joined #ocaml
dreadedfrog has joined #ocaml
VermillionAzure has quit [Read error: Connection reset by peer]
dreadedfrog has quit [Ping timeout: 240 seconds]
VermillionAzure has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
fraggle_ has quit [Remote host closed the connection]
BitPuffin|osx has quit [Ping timeout: 260 seconds]
VermillionAzure has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
donflopez has joined #ocaml
fraggle_ has joined #ocaml
<orbifx[m]>
:)
dreadedfrog has joined #ocaml
kerrhau has quit [Ping timeout: 255 seconds]
shinnya has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
Serpent7776 has joined #ocaml
pluplog has joined #ocaml
pluplog has quit [Client Quit]
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has joined #ocaml
freusque has joined #ocaml
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
silver has joined #ocaml
freusque has quit [Ping timeout: 250 seconds]
fre has joined #ocaml
raduom has joined #ocaml
johnelse has joined #ocaml
dreadedfrog has quit [Ping timeout: 255 seconds]
bobbypriambodo has joined #ocaml
dreadedfrog has joined #ocaml
spew has joined #ocaml
dreadedfrog has quit [Ping timeout: 246 seconds]
dhil has quit [Ping timeout: 268 seconds]
dreadedfrog has joined #ocaml
mbuf has quit [Quit: Leaving]
donflopez has joined #ocaml
KeyJoo has joined #ocaml
<reynir>
[@@deriving sexp] on GADTs doesn't seem to be well supported /o\
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
shinnya has quit [Ping timeout: 268 seconds]
sh0t has joined #ocaml
ShalokShalom has joined #ocaml
<ShalokShalom>
hi there
<ShalokShalom>
is there any benefit of lists, compared to tuples?
<Fardale>
you can list work well with recursive function
<Fardale>
s/you can//
frefity has joined #ocaml
<frefity>
Hey, how can I print a list of ints using containers?
FreeBirdLjj has joined #ocaml
donflopez has joined #ocaml
<zozozo>
frefity: CCFormat.(list ~sep:(return ";@ ") int) fmt l ?
<frefity>
thanks, think I got it
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<ShalokShalom>
Fardale: So recursive lists are the only reason for using lists instead of tuples?
<Fardale>
It's one reason, maybe there are other. For exemple tuples have a fixe size, so you can not use tuple if you don't not know in advance the size of the data
ShalokShalom has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<Leonidas>
Is there a way I can use Fmt combinators with Printf.sprintf?
<Leonidas>
Tuples are a product type, lists aren't.
<Leonidas>
I'm trying to do a `Printf.sprintf "%a" Fmt.string "Foo"` but this fails because the formatter types don't match
<octachron>
Leonidas, an option will be "Format.asprintf"
<Leonidas>
octachron: Actually I am trying to log into Async.Global.Log.info, so I'd have to use whatever that accepts, but it looks like it is basically identical to the stdlibs Printf
<Leonidas>
I could of course log "%s" (Fmt.strf …); but at this point it seems very silly
<Leonidas>
then I could just to_string everything instead.
frefity has quit [Quit: Ex-Chat]
dreadedfrog has quit [Ping timeout: 246 seconds]
raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<octachron>
Leonidas, a stranger option might be to build a Format.formatter which ouput to Async.Global.Log.info directly; otherwise I fear that you would need to write your own Printf combinator
<Leonidas>
octachron: I see, thanks. Why is there even a split between the Format types and the Printf types in the stdlib?
FreeBirdLjj has joined #ocaml
dreadedfrog has joined #ocaml
sepp2k has quit [Quit: Leaving.]
<octachron>
Because the underlying printers are different?
TheLemonMan has joined #ocaml
<octachron>
The fact that Scanf, Printf, and Format share the same format type is more a complicated compromise than a very natural choice
<octachron>
Scanf can fails dynamically on some of the printer only specifier and reciprocally.
<octachron>
Printf and Format have a very different interpretation of "@[<%s>@]"
<Drup>
Printf shouldn't exist, really
barcabuona has quit [Ping timeout: 260 seconds]
ziyourenxiang has quit [Ping timeout: 255 seconds]
<reynir>
because you should use Format instead?
<Drup>
It has no real purpose, it's only "feature" (lack of indentation) could easily be covered by Format
<Drup>
its*
<reynir>
Ok
<Drup>
reynir: yes
<Armael>
isn't Format behaving the same as Printf if you don't use any Format-specific feature?
<octachron>
Drup, by the way, It reminds me that 'Format.printf "@[<%s>@]" "fail for me" ' does raise an exception
<Drup>
octachron: this whole exception thing is such a complete nonsense
barcabuona has joined #ocaml
<Drup>
Armael: You mean, if you never break ? Yes
barcabuona has quit [Client Quit]
<Armael>
yes
barcabuona has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
raphaelss has quit [Remote host closed the connection]
mengu has quit [Quit: Leaving...]
dhil has quit [Ping timeout: 240 seconds]
zmt00 has joined #ocaml
BitPuffin|osx has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
KeyJoo has quit [Quit: Good luck! Have a nice Day!]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
Jesin has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
dreadedfrog has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
dreadedfrog has quit [Ping timeout: 248 seconds]
slash^ has joined #ocaml
FreeBirdLjj has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
dreadedfrog has joined #ocaml
heinriques has joined #ocaml
AltGr has left #ocaml [#ocaml]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
<heinriques>
hi, how can I define a mutable data on a .mli file? I've already tried val mutable data : int but it gives a syntax error...
<lyxia>
val data : int ref
<lyxia>
there is no such thing as literally mutable data
johnelse has quit [Ping timeout: 260 seconds]
<heinriques>
@lyxia, thank you!
KeyJoo has joined #ocaml
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
donflopez has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
ShalokShalom has joined #ocaml
FreeBirdLjj has joined #ocaml
ygrek has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
donflopez has quit [Client Quit]
dhil has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
raphaelss has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
heinriques has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
cbot has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
bobbypriambodo_ has joined #ocaml
heinriques has joined #ocaml
bobbypriambodo has quit [Ping timeout: 260 seconds]
donflopez has joined #ocaml
dogui has quit [Ping timeout: 268 seconds]
dogui has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
jao has joined #ocaml
FreeBirdLjj has joined #ocaml
Anarchos has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
orbifx has joined #ocaml
zolk3ri has quit [Ping timeout: 248 seconds]
heinriques has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
marsam has joined #ocaml
FreeBirdLjj has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
dhil has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
jnavila has joined #ocaml
marsam has quit [Ping timeout: 246 seconds]
donflopez has joined #ocaml
FreeBirdLjj has joined #ocaml
dreadedfrog has quit [Quit: leaving]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
marsam has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
_whitelogger_ has joined #ocaml
cbot has quit [Ping timeout: 255 seconds]
j0sh has joined #ocaml
enterprisey has joined #ocaml
marsam has quit [Ping timeout: 255 seconds]
_whitelogger has quit [Remote host closed the connection]
kakadu has quit [Ping timeout: 246 seconds]
Fardale has joined #ocaml
nullifidian has joined #ocaml
bitbckt has joined #ocaml
sigjuice has joined #ocaml
butterthebuddha has joined #ocaml
wickedshell has joined #ocaml
jimmyrcom_ has joined #ocaml
kakadu has joined #ocaml
nore has joined #ocaml
FreeBirdLjj has joined #ocaml
butterthebuddha has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Ping timeout: 264 seconds]
dhil has quit [Ping timeout: 248 seconds]
butterthebuddha has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
webshinra_ has joined #ocaml
webshinra has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
webshinra_ is now known as webshinra
kakadu has quit [Ping timeout: 260 seconds]
kakadu_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
barcabuona has quit [Quit: WeeChat 2.0]
kerrhau has joined #ocaml
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
barcabuona has joined #ocaml
VermillionAzure has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
VermillionAzure has quit [Quit: Leaving]
zolk3ri has joined #ocaml
jnavila has quit [Remote host closed the connection]
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
Exagone313 has quit [Quit: see ya!]
ShalokShalom has quit [Quit: Konversation terminated!]
ShalokShalom has joined #ocaml
Exagone313 has joined #ocaml
<kerrhau>
er 12
<kerrhau>
sorry
Exagone313 has quit [Client Quit]
Exagone313 has joined #ocaml
spew has quit [Read error: Connection reset by peer]
raphaelss has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
solrize has joined #ocaml
solrize has quit [Changing host]
solrize has joined #ocaml
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Ping timeout: 240 seconds]
argent_smith1 has quit [Quit: Leaving.]
FreeBirdLjj has quit [Ping timeout: 264 seconds]
Jesin has quit [Quit: Leaving]
raphaelss has joined #ocaml
zolk3ri has joined #ocaml
FreeBirdLjj has joined #ocaml
marsam has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
marsam has quit [Remote host closed the connection]