adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<hdon> octachron: i'm not sure i follow the part after the first comma: ", f(x,x)" since f was bound to a unary function...?
<octachron> hdon, "f (x,x)" means f applied to the pair (x,x)
pierpal has joined #ocaml
shinnya has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 245 seconds]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<discord2> <Perry> octachron: btw, discord does markdown, which would have made that so much more readable. 😃
Algebr has joined #ocaml
Algebr has left #ocaml [#ocaml]
<hdon> octachron: ahhh thanks
pierpal has joined #ocaml
pierpal has quit [Remote host closed the connection]
<hdon> octachron: why did you choose a tuple for your example? also, the left-hand quoted code doesn't seem to be mutually recursive.
pierpa has joined #ocaml
kleimkuhler has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
kleimkuhler has quit [Client Quit]
silver_ has quit [Quit: rakede]
SegFaultAX has joined #ocaml
sh0t has quit [Ping timeout: 260 seconds]
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
mfp_ has quit [Ping timeout: 260 seconds]
tormen has joined #ocaml
kleimkuhler has joined #ocaml
tormen_ has quit [Ping timeout: 260 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
pierpa has quit [Quit: Page closed]
hdon has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
mbuf has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
pierpal has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
pierpal has joined #ocaml
tarptaeya has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
kleimkuhler has joined #ocaml
noitakomentaja has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
muelleme has joined #ocaml
jimmyrcom_ has joined #ocaml
muelleme has quit [Ping timeout: 245 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
muelleme has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
muelleme has quit [Ping timeout: 245 seconds]
noitakomentaja has joined #ocaml
freyr has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 260 seconds]
infinity0 has quit [Remote host closed the connection]
Haudegen has joined #ocaml
mk9 has joined #ocaml
infinity0 has joined #ocaml
jaar has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
noitakomentaja has quit [Ping timeout: 250 seconds]
noitakomentaja has joined #ocaml
dhil has joined #ocaml
mk9 has quit [Quit: mk9]
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
argent_smith has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 245 seconds]
mk9 has joined #ocaml
shw has quit [Quit: shw]
shw has joined #ocaml
noitakomentaja has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 252 seconds]
dhil has joined #ocaml
ziyourenxiang has joined #ocaml
mk9 has quit [Quit: mk9]
hdon has joined #ocaml
chelfi1 has quit [Quit: WeeChat 2.1]
hdon has quit [Ping timeout: 256 seconds]
shw has quit [Quit: shw]
mk9 has joined #ocaml
shw has joined #ocaml
mk9 has quit [Client Quit]
argent_smith has quit [Quit: Leaving.]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
johnelse has quit [Quit: leaving]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
johnelse has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
chelfi has joined #ocaml
govg has quit [Quit: leaving]
johnelse is now known as johnel_away
johnel_away is now known as johnelse
hdon has joined #ocaml
zolk3ri has joined #ocaml
spew has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
malina has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
_xvilka_ has quit [Quit: Lost terminal]
pierpal has quit [Read error: Connection reset by peer]
BitPuffin has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
shinnya has joined #ocaml
pierpal has joined #ocaml
mbuf has quit [Quit: Leaving]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
mengu has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
mengu has quit [Remote host closed the connection]
dhil has joined #ocaml
gtrak has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
Haudegen has quit [Remote host closed the connection]
mengu has joined #ocaml
pierpal has joined #ocaml
sh0t has joined #ocaml
freyr has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
Haudegen has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
picolino has quit [Remote host closed the connection]
tilpner has quit [Read error: Connection reset by peer]
tilpner has joined #ocaml
kleimkuhler has joined #ocaml
FreeBirdLjj has joined #ocaml
malina has quit [Ping timeout: 260 seconds]
shinnya has quit [Ping timeout: 252 seconds]
BitPuffin has quit [Remote host closed the connection]
kleimkuhler has quit [Quit: kleimkuhler]
dhil has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
jimmyrcom_ has joined #ocaml
BitPuffin has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 245 seconds]
jimmyrcom_ has quit [Ping timeout: 264 seconds]
argent_smith has joined #ocaml
malina has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 252 seconds]
shinnya has joined #ocaml
mengu has quit [Quit: Leaving...]
Haudegen has quit [Remote host closed the connection]
muelleme has joined #ocaml
jaar has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 248 seconds]
jimmyrcom_ has joined #ocaml
argent_smith has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
dedgrant has joined #ocaml
argent_smith1 has quit [Ping timeout: 256 seconds]
pierpal has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 245 seconds]
muelleme has quit [Ping timeout: 252 seconds]
hdon has joined #ocaml
tane has joined #ocaml
jimmyrcom_ has joined #ocaml
silver has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 252 seconds]
ctrlsbstr has joined #ocaml
hdon has quit [Changing host]
hdon has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
sz0 has joined #ocaml
jnavila has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
jnavila has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
ctrlsbstr has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
pierpal has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
def` has quit [Remote host closed the connection]
def` has joined #ocaml
muelleme has joined #ocaml
Haudegen has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
zolk3ri has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
zolk3ri has joined #ocaml
Haudegen has joined #ocaml
jack5638 has quit [Ping timeout: 260 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
kakadu has joined #ocaml
jack5638 has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
dhil has quit [Ping timeout: 252 seconds]
tane has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
argent_smith1 has quit [Quit: Leaving.]
muelleme has quit [Ping timeout: 268 seconds]
orbifx has joined #ocaml
<orbifx> Is there anything wrong with doing Random initialise in the body of a module that uses random numbers?
<orbifx> as in self_init?
<octachron> orbifx, this should be fine
<orbifx> Worst case scenario the library user calls self_init again right?
jnavila has quit [Remote host closed the connection]
<octachron> self_init is problematic if you need determinism(/repeatability); it may mess up correlation if you are calling it too often
<Drup> Yeah. If you really want control over your random generator, you should manipulate explicitely
<Drup> (with Random.State)
<octachron> and of course it is bad for cryptographic applications, but you should not use Random for this kind of applications
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
<octachron> orbifx, but in all cases where the above limitations sounded like imprecations in latin, you should be fine with self_init
<Drup> (as long as it's not in latin1)
<octachron> Drup, fortunately latin itself without macrons is ASCII-compatible
<Drup> Damned Macrons!
pierpa has joined #ocaml
pierpal has quit [Ping timeout: 264 seconds]
gtrak has quit [Ping timeout: 264 seconds]
<orbifx> imprecations in latin octachron Drup ?
<orbifx> It's not related to cryptographic applications
muelleme has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
muelleme has quit [Ping timeout: 245 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
<orbifx> Ok, I think I know what I should do
<orbifx> Thanks octachron Drup
malina has joined #ocaml
moei has quit [Quit: Leaving...]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ctrlsbstr has joined #ocaml
<companion_cube> hmm, any ocaml-migrate-parsetree expert here?
<companion_cube> I'm wondering if there's a generic way to convert from "current syntax" to a fixed version
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Remote host closed the connection]
<Drup> There is
<companion_cube> and… what's it like? :3
<companion_cube> I don't see anything in the list of modules
<Drup> Migrate_parsetree.Version.(migrate ocaml_403 ocaml_current)
<Drup> something like that
<Drup> Versions*
<steenuil> is that automated in any way with ppx_tools?
<steenuil> no wait, what was the new one called
<steenuil> ppxlib
<Drup> steenuil: ppxlib uses omp under the hood, yes
<steenuil> neat
<Drup> (You only ever need to do this yourself if you manipulate the ast outside of the formal context of ppxs, really)
<companion_cube> oh, neat, ok
<companion_cube> thank you Drup
<Drup> companion_cube: if you are writing a ppx, you should use Driver.register, and it will ask for an ocaml version
kakadu has quit [Remote host closed the connection]
<companion_cube> I am not writing a ppx, I am doing weird things with a parsetree
<Drup> right, then yes
<Drup> I have an example of something like that
<Drup> (It's a program that does some introspection on tyxml's .mli to generate code required for the ppx)
vladan has joined #ocaml
<companion_cube> too much magic, I'm afraid
<Drup> meh, no, it's a thing that read .mli and output .ml, otherwise, it's exactly a ppx
moei has joined #ocaml
orbifx has quit [Quit: WeeChat 2.0.1]
ctrlsbstr has joined #ocaml
noitakomentaja has joined #ocaml
sh0t has quit [Remote host closed the connection]
johnelse has quit [Ping timeout: 264 seconds]
shinnya has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
johnelse has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
muelleme has joined #ocaml