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
Hrundi_V_Bakshi has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
flux has quit [*.net *.split]
keep-learning[m] has quit [*.net *.split]
peddie has quit [*.net *.split]
thizanne has quit [*.net *.split]
jerme_ has quit [*.net *.split]
flux has joined #ocaml
keep-learning[m] has joined #ocaml
toppler has joined #ocaml
kvda has joined #ocaml
peddie has joined #ocaml
thizanne has joined #ocaml
jerme_ has joined #ocaml
peddie has joined #ocaml
peddie has quit [Changing host]
warriors has quit [Quit: Connection closed for inactivity]
Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
parcs has joined #ocaml
Haudegen has quit [Ping timeout: 268 seconds]
silver has quit [Quit: rakede]
jaar has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 240 seconds]
count3rmeasure has joined #ocaml
count3rmeasure has quit [Client Quit]
count3rmeasure has joined #ocaml
toppler has joined #ocaml
smazga has joined #ocaml
smazga has quit [Client Quit]
<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?
<Leonidas> smondet[m]: yes, but that's just incredibly brief: https://github.com/mirage/alcotest/blob/master/src/alcotest-lwt/alcotest_lwt.ml
<Leonidas> (actually, I am looking for the `Lwt_main.run` equivalent of Async and hoped to find it in alcotest-async, but no dice)
<smondet[m]> Alcostest_lwt.run returns a `unit Lwt.t` so I think it's the caller's job to call `Lwt_main.run`
<Leonidas> smondet[m]: ah. Alcotest_async has no run, it just uses the normal `Alcotest.run` with test-cases defined using Alcotest_async.test_case
jnavila has joined #ocaml
<Leonidas> hmm, https://github.com/mirage/alcotest/blob/master/src/alcotest/core.mli#L78-L81 states exactly what I can see in the signature for Alcotest_lwt
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
vicfred has joined #ocaml
ggole has quit [Quit: Leaving]
kakadu has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
gravicappa has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
<companion_cube> File "src/solver/opamSolver.ml", line 231, characters 18-24: Assertion failed <--- yay?
<companion_cube> (probably an old opam 2, from the alpine docker images)
<companion_cube> but I'm told lockfiles are useless 🙄
kanakoo has quit [Ping timeout: 240 seconds]
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
narimiran has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
brettgilio has quit [Ping timeout: 264 seconds]
bitwinery has joined #ocaml
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
nicoo has quit [Ping timeout: 260 seconds]
spew has quit [Quit: Connection closed for inactivity]
nicoo has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
smazga has quit [Quit: leaving]
brettgilio has joined #ocaml
jnavila has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
jaar has quit [Ping timeout: 246 seconds]
tane has quit [Quit: Leaving]
kakadu has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
vicfred has quit [Quit: Leaving]
Serpent7776 has quit [Quit: leaving]