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