<
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]
<
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
<
steenuil>
is that automated in any way with ppx_tools?
<
steenuil>
no wait, what was the new one called
<
Drup>
steenuil: ppxlib uses omp under the hood, yes
<
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