<def`>
(oops, just realised my link is obsolete, sorry :))
count3rmeasure has quit [Ping timeout: 276 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
andreas31 has quit [Ping timeout: 260 seconds]
mbuf has joined #ocaml
andreas31 has joined #ocaml
nullifidian__ has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
count3rmeasure has joined #ocaml
nullifidian_ has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
brettgilio has joined #ocaml
brettgilio has quit [Client Quit]
brettgilio has joined #ocaml
brettgilio has quit [Client Quit]
brettgilio has joined #ocaml
brettgilio has quit [Client Quit]
brettgilio has joined #ocaml
tormen has joined #ocaml
brettgilio has quit [Client Quit]
brettgilio has joined #ocaml
tormen_ has quit [Ping timeout: 268 seconds]
gravicappa has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
nullifidian_ has joined #ocaml
mfp has quit [Ping timeout: 250 seconds]
nullifidian__ has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
vicfred has quit [Quit: Leaving]
retropikzel has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
count3rmeasure has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
nullifidian_ is now known as nullifidian
narimiran has joined #ocaml
_whitelogger has joined #ocaml
vicfred has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
nullifidian_ is now known as nullifidian
<xvilka>
mononote: it's a part of the main ocaml repository, see more information on how the LaTeX generation works in this issue: https://github.com/ocaml/ocaml/issues/8718
toppler has quit [Ping timeout: 265 seconds]
retropikzel has quit [Remote host closed the connection]
toppler has joined #ocaml
cross has quit [Quit: Lost terminal]
rgherdt has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ggole has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
Serpent7776 has joined #ocaml
bartholin has quit [Remote host closed the connection]
webshinra has quit [Remote host closed the connection]
rgherdt has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
mbuf has quit [Ping timeout: 268 seconds]
mbuf has joined #ocaml
count3rmeasure has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
_whitelogger has joined #ocaml
jaar has joined #ocaml
mbuf has quit [Quit: Leaving]
count3rmeasure has quit [Quit: Leaving]
jaar has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
gareppa has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jaar has joined #ocaml
neiluj has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Changing host]
gareppa has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
mfp has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
kakadu has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
kakadu_ has quit [Ping timeout: 264 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
sgnb has joined #ocaml
toppler has joined #ocaml
silver has joined #ocaml
zolk3ri has joined #ocaml
toppler has quit [Ping timeout: 245 seconds]
gareppa has joined #ocaml
stux|RC-only has quit [Read error: Connection reset by peer]
stux|RC-only has joined #ocaml
toppler has joined #ocaml
rgherdt has joined #ocaml
gareppa has quit [Quit: Leaving]
GreyFaceNoSpace has quit [Quit: Ex-Chat]
toppler has quit [Ping timeout: 240 seconds]
neiluj has quit [Quit: Konversation terminated!]
sagax has joined #ocaml
toppler has joined #ocaml
spew has joined #ocaml
ygrek has joined #ocaml
rgherdt has quit [Ping timeout: 245 seconds]
<spew>
I find fold_left too confusing
toppler has quit [Ping timeout: 268 seconds]
<spew>
so instead of using it directly I do something different
<spew>
first I map a function of type "'a -> 'b -> 'b" over a list of type 'a ('a list)
<spew>
to get a "('b -> 'b) list"
<spew>
then I just do "List.fold_left ( |> ) init" to that list
<spew>
where init is of type 'b
<spew>
this always seems much clearer to me
<spew>
so I'm wondering, does this have a name already?
<spew>
like "val function_fold : ('a -> 'b -> 'b) -> 'b -> 'a list -> 'b" ?
<spew>
I guess I just wrote down the type of fold_right :(
<theblatte>
yes :)
rgherdt has joined #ocaml
<octachron>
The only major difference with fold_left is the position of the accumulator in the worker function?
toppler has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
rgherdt has quit [Quit: Leaving]
<ggole>
Is that really less confusing than fold_left?
<spew>
ggole: yes
<spew>
for me it is
<spew>
I guess I should just use fold_right from now on
toppler has quit [Ping timeout: 276 seconds]
<ggole>
Huh, perspectives are a funny thing
aubian has quit [Ping timeout: 250 seconds]
<theblatte>
spew: these all have different runtime properties though, as only fold-left is tail-recursive
<theblatte>
so it's worth getting more familiar with the fold_left form
twopoint718 has joined #ocaml
Niamkik has quit [Ping timeout: 268 seconds]
<spew>
I'll just use CCList.fold_right thank you very much
toppler has joined #ocaml
<Nikkel>
I'm fuzzing about with eliom, and there seems to be an error with eliomdep, if I run it in a directory that's not completely flat: https://pastebin.com/uvJnPTfN
<mononote>
def`, xvilka thanks
<narimiran>
spew: heh, and i find fold_left much more intuitive than fold_right.... different strokes for different folks.... :)
<Nikkel>
when I used a nested project structure, eliomdep leaves out the _client/_server part of the left side of the dependencies, which fuds up the compilation
<companion_cube>
spew: hopefully it'll be faster than fold_left with closures ^^
<spew>
companion_cube: one would think
<spew>
narimiran: you're a weirdo
<spew>
I never thought of people as being fold_left people vs. fold_right people
<narimiran>
spew: everybody always say that about me, sooner or later :)
<spew>
the battle lines have been drawn
<simpson>
I think of it as "when in Rome" logic. In OCaml, I want fold_left, but in Haskell, I'd like foldr.
<ggole>
I think of fold_left and fold_right as utterly different operations that only happen to look similar because of the structure of the list type
<simpson>
(We can extend this analysis. Smalltalk, Python, Java, Monte, all iterate left-to-right, so folding from the left is asymptotically more efficient than from the right. So they are "fold-left" languages~)
<ggole>
(As opposed to, say, Array.fold_left vs Array.fold_right)
aubian has joined #ocaml
Haudegen has joined #ocaml
Niamkik has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
smazga has joined #ocaml
kanakoo has joined #ocaml
toppler has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
mfp has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 276 seconds]
sagax has quit [Quit: Konversation terminated!]
sagax has joined #ocaml
toppler has joined #ocaml
assemblyman has joined #ocaml
mfp has joined #ocaml
Ekho has quit [Quit: An alternate universe was just created where I didn't leave. But here, I left you. I'm sorry.]
toppler has quit [Ping timeout: 240 seconds]
Ekho has joined #ocaml
dhil has joined #ocaml
Fardale has quit [Ping timeout: 252 seconds]
toppler has joined #ocaml
Fardale has joined #ocaml
Ekho has quit [Max SendQ exceeded]
Ekho has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
assemblyman has quit [Quit: ™]
tane has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
vicfred has quit [Quit: Leaving]
dhil has quit [Quit: Leaving]
toppler has quit [Ping timeout: 268 seconds]
kakadu has quit [Quit: Konversation terminated!]
toppler has joined #ocaml
bartholin has joined #ocaml
<Leonidas>
I tried to figure out how Alcotest resolves the IO monads to something and… couldn't figure it out at all.
<Leonidas>
I am missing a call to Lwt_main.run anywhere
<smondet[m]>
Leonidas: there is a serarate alcotest-lwt library, is that what you're looking for?