adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
zolk3ri has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
rgherdt has quit [Ping timeout: 276 seconds]
kleisli has joined #ocaml
Nahra has quit [Quit: leaving]
philtor has joined #ocaml
Guest22630 has quit [Ping timeout: 265 seconds]
oni-on-ion has quit [Ping timeout: 250 seconds]
kleisli has quit [Ping timeout: 265 seconds]
oni-on-ion has joined #ocaml
rople has joined #ocaml
mfp has quit [Ping timeout: 276 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 240 seconds]
mbac_ has quit [Remote host closed the connection]
rwmjones has quit [Ping timeout: 252 seconds]
kleisli has joined #ocaml
gravicappa has joined #ocaml
rwmjones has joined #ocaml
philtor has quit [Remote host closed the connection]
oni-on-ion has quit [Ping timeout: 245 seconds]
oni-on-ion has joined #ocaml
sagax has quit [Ping timeout: 245 seconds]
Madars has quit [Ping timeout: 276 seconds]
rgherdt has joined #ocaml
rgherdt has quit [Quit: Leaving]
narimiran has joined #ocaml
ygrek__ has quit [Ping timeout: 252 seconds]
kgop` has joined #ocaml
kgop` has left #ocaml [#ocaml]
kgop has quit [Ping timeout: 240 seconds]
ravenousmoose has joined #ocaml
Haudegen has joined #ocaml
bitwinery has quit [Quit: Leaving]
mbuf has joined #ocaml
jaar has joined #ocaml
vicfred has quit [Quit: Leaving]
sagax has joined #ocaml
bartholin has quit [Remote host closed the connection]
barockobamo has joined #ocaml
ravenousmoose has quit [Ping timeout: 246 seconds]
tmhoang has joined #ocaml
ollehar has joined #ocaml
<tmhoang> Hi ocaml master, it looks camlp4 last version is 4.08. Currently at Alpine Linux we have have ocaml 4.09 and we are about to release new version soon. Do you have any advice on how we proceed ? Like revert ocaml back to 4.09 or just go with ocaml 4.09 and camlp4 4.08 ? http://dl-4.alpinelinux.org/alpine/edge/community/x86_64/
<tmhoang> *back to 4.08
<Fardale> is removing camlp4 an option ?
Serpent7776 has joined #ocaml
mbuf has quit [Ping timeout: 265 seconds]
<tmhoang> Fardale: it looks like there are currently some packages depend on it. So the verdict is removing camlp4 from upstream ?
<Nikkel> I have a question about Ocaml datastructures. I have a list of n elements that are to be split up into m buckets. if n_i is in bucket m_j, it won't appear in any bucket m_j+1... and so forth
ggole has joined #ocaml
<Nikkel> I kindof want to do foo xs = let (bucket m_j, rest) = List.partition (some_filter) xs in bucket_mj :: foo rest
<Nikkel> But is it expensive to keep partitioning the list, instead of just using a filter for each bucket?
<Nikkel> So either doing j searches over j lists of decreasing size, or doing j searches over the initial list of size n
<ggole> partition is linear in the length of the list, so that's potentially quadratic.
barockobamo has quit [Ping timeout: 240 seconds]
<tmhoang> Fardale: yeah I read that file - wanted to double-check
<Fardale> Ok, then either you stay with 4.08.1 or you remove camlp4 with 4.09.0
dborisog has joined #ocaml
<tmhoang> Fardale: thanks !
gareppa has joined #ocaml
free_beard has joined #ocaml
mfp has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
barockobamo has joined #ocaml
vicfred has joined #ocaml
gareppa has quit [Quit: Leaving]
jaar has quit [Ping timeout: 276 seconds]
troydm has quit [Ping timeout: 240 seconds]
jaar has joined #ocaml
Serpent7776 has quit [Ping timeout: 240 seconds]
<Nikkel> Very basic question, but how do I use curried multiplication?
<Nikkel> If I write (*) 5 it thinks I'm starting a comment
<Fardale> ( * )
<Nikkel> okay, cool. I hoped there was a prettier way
<Nikkel> that is a butt after all
jbrown has quit [Quit: Leaving]
<Fardale> ((**)*(**)) work also
<Nikkel> Fancy
<Leonidas> Fardale: beautiful
rople has quit [Ping timeout: 245 seconds]
jbrown has joined #ocaml
<Leonidas> companion_cube: is QCheck.Gen.int_bound inclusive or exclusive?
vicfred has quit [Quit: Leaving]
Serpent7776 has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
Madars has joined #ocaml
mbuf has joined #ocaml
okuu has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
unyu has quit [Ping timeout: 252 seconds]
mbuf has quit [Quit: Leaving]
<companion_cube> isn't it in the docs?
<companion_cube> ah, seems not. I think it's exclusive.
<companion_cube> please contribute docs, Leonidas ;)
<Nikkel> I need a bit of inspiration for QCheck.Gen
<Nikkel> I have foo : int -> 'a t , and I want to do like `let xs = List.iter foo n` for some n, but I don't want xs to be xs : a 't list, but instead xs : a list 't
<Nikkel> There doesn't seem to be an obvious candidate for what I want in QCheck.Gen
<Nikkel> Maybe sized?
spew has joined #ocaml
<Leonidas> companion_cube: After consulting the code it seems to me like it is inclusive: https://github.com/c-cube/qcheck/blob/d06b28a5bc18b7f61d88bfc5d0a589284e76a245/src/core/QCheck.ml#L160
<Leonidas> an inclusive fella, this qcheck.
jao has joined #ocaml
dconnolly has joined #ocaml
<companion_cube> :D
DanC has quit [Ping timeout: 240 seconds]
<companion_cube> Nikkel: you could write a small combinator by hand
<companion_cube> `let flatten_l l rand = List.map (fun f->f rand) l`
<companion_cube> I think
<companion_cube> that should have `'a t list -> 'a list t` type
<companion_cube> Nikkel: look at qcheck master ;)
<Nikkel> qcheck master?
<Nikkel> like the github branch?
<companion_cube> yeah
<companion_cube> just pushed a small change
<companion_cube> you can opam pin it, if you want
<Nikkel> :surprised_pikachu.jpeg:
<Nikkel> That is awesome
Serpent7776 has quit [Quit: Leaving]
<companion_cube> sometimes it's faster to do the thing on the fly, than to go through an issue ^^
<Nikkel> I think I'll just implement your thing above my own functions in my lib, but great nonetheless
<Nikkel> true
<Nikkel> And there's no issue with using the random gen repeatedly?
count3rmeasure has joined #ocaml
<Nikkel> I remember from haskell that you'd technically have something like (result_a, rand') <- do_stuff rand; (result_b, rand'') <- do_other_stuff rand'
<companion_cube> no, the state is mutable
<Nikkel> Great
<companion_cube> you will get different values though
<companion_cube> if you're interested, read the other combinators :)
<p4bl0> Hi all, is it possible de declare constants in a .mli file? I'm looking for some equivalent of a trivial #define in C
<companion_cube> val x : int
<companion_cube> but it won't be like #define
<p4bl0> using val I need to have the corresponding .ml file where the variable is instanciated right?
<companion_cube> yes
<Nikkel> Goddamn I love combinators
ziyourenxiang has quit [Ping timeout: 240 seconds]
<companion_cube> me too :p
<p4bl0> companion_cube: okay, thanks :)
kjak has quit [Ping timeout: 252 seconds]
rgherdt has joined #ocaml
jao has quit [Remote host closed the connection]
kjak has joined #ocaml
dhil has joined #ocaml
jao has joined #ocaml
jao is now known as Guest67735
Madars has quit [Quit: reboot]
free_beard has quit [Remote host closed the connection]
jaar has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 250 seconds]
brettgilio has quit [Quit: Quit]
brettgilio has joined #ocaml
andrewlitteken has joined #ocaml
andrewlitteken has quit []
kleisli has joined #ocaml
jave has quit [Ping timeout: 268 seconds]
jave has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
barockobamo has quit [Remote host closed the connection]
brettgilio has quit [Ping timeout: 245 seconds]
tane has joined #ocaml
dhil has quit [Ping timeout: 265 seconds]
rgherdt has quit [Ping timeout: 246 seconds]
barockobamo has joined #ocaml
barockobamo has quit [Ping timeout: 265 seconds]
Madars has joined #ocaml
dborisog has quit [Ping timeout: 240 seconds]
Xizor has joined #ocaml
dhil has joined #ocaml
philt has joined #ocaml
philtor has joined #ocaml
jnavila has joined #ocaml
kakadu_ has joined #ocaml
dhil has quit [Ping timeout: 276 seconds]
gravicappa has quit [Ping timeout: 240 seconds]
brettgilio has joined #ocaml
ggole has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 246 seconds]
bartholin has joined #ocaml
Anarchos has joined #ocaml
troydm has joined #ocaml
narimiran has quit [Ping timeout: 265 seconds]
Anarchos has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
Anarchos has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
bitwinery has joined #ocaml
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
<Anarchos> i have a strange behaviour on ocaml 4.04.2 : this simple code runs in infinite loop : https://pastebin.com/UmqA7YDe
jbrown has joined #ocaml
brettgilio has quit [Ping timeout: 276 seconds]
vicfred has joined #ocaml
okuu is now known as unyu
kjak has quit [Ping timeout: 265 seconds]
kakadu_ has quit [Remote host closed the connection]
<Leonidas> Anarchos: which line?
<Anarchos> a6 is very slow but ends. a7 runs infinite
kjak has joined #ocaml
brettgilio has joined #ocaml
sarna_ has joined #ocaml
sarna has quit [Ping timeout: 252 seconds]
sarna_ is now known as sarna
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
ziyourenxiang has joined #ocaml
rgherdt has joined #ocaml
webshinra has quit [Remote host closed the connection]
spew has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml