silver has quit [Read error: Connection reset by peer]
jp has quit [Ping timeout: 265 seconds]
analogue has joined #ocaml
malina has quit [Remote host closed the connection]
nullifidian_ is now known as nullifidian
pkkm has quit [Ping timeout: 245 seconds]
analogue has quit [Quit: Leaving]
tormen_ has joined #ocaml
Jeanne-Kamikaze has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
q9929t has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
jack5638 has joined #ocaml
hvn has joined #ocaml
q9929t has quit [Quit: q9929t]
malina has joined #ocaml
vicfred has joined #ocaml
malina has quit [Remote host closed the connection]
narimiran has joined #ocaml
jp has joined #ocaml
hvn has quit [Ping timeout: 276 seconds]
hvn has joined #ocaml
gravicappa has joined #ocaml
Jeanne-Kamikaze has quit [Quit: Leaving]
hvn_ has joined #ocaml
kjak has quit [Ping timeout: 245 seconds]
Niamkik has quit [Ping timeout: 245 seconds]
rks` has quit [Ping timeout: 245 seconds]
theblatte has quit [Ping timeout: 245 seconds]
swistak35 has quit [Ping timeout: 245 seconds]
theblatte has joined #ocaml
rks` has joined #ocaml
hvn has quit [Ping timeout: 245 seconds]
darktenaibre has quit [Ping timeout: 245 seconds]
darktenaibre has joined #ocaml
Khady has quit [Ping timeout: 245 seconds]
Khady has joined #ocaml
Khady has joined #ocaml
Khady has quit [Changing host]
jp has quit [Remote host closed the connection]
jp has joined #ocaml
hvn_ has quit [Ping timeout: 240 seconds]
Niamkik has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
swistak35 has joined #ocaml
kjak has joined #ocaml
hvn has joined #ocaml
hvn has quit [Ping timeout: 240 seconds]
vicfred has quit [Quit: Leaving]
hvn has joined #ocaml
hvn has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
jp has quit [Ping timeout: 276 seconds]
jp has joined #ocaml
hvn has joined #ocaml
hvn has quit [Ping timeout: 264 seconds]
hvn has joined #ocaml
hvn has quit [Ping timeout: 252 seconds]
hvn has joined #ocaml
gareppa has joined #ocaml
jp has quit [Remote host closed the connection]
iovec has joined #ocaml
bartholin has quit [Remote host closed the connection]
vicfred has joined #ocaml
barockobamo has joined #ocaml
<Nikkel>
Can it really be true that tbody is not really supported in Eliom? I've read through the docs now https://ocsigen.org/tyxml/4.3.0/api/Html_sigs.T.html and it really looks like tbody isn't used anywhere near the rest of the table stuff
bitwinery has quit [Quit: Leaving]
vicfred has quit [Quit: Leaving]
Serpent7776 has joined #ocaml
gareppa has quit [Quit: Leaving]
jp has joined #ocaml
jp has quit [Ping timeout: 265 seconds]
hvn has quit [Ping timeout: 240 seconds]
hvn has joined #ocaml
hvn has quit [Ping timeout: 276 seconds]
nullifidian_ has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
jp has joined #ocaml
ggole has joined #ocaml
jp has quit [Ping timeout: 245 seconds]
mfp has joined #ocaml
hvn has joined #ocaml
Serpent7776 has quit [Ping timeout: 240 seconds]
pkkm has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
jp has joined #ocaml
jp has quit [Ping timeout: 240 seconds]
Serpent7776 has joined #ocaml
jp has joined #ocaml
jp has quit [Ping timeout: 240 seconds]
nahra has joined #ocaml
jaar has joined #ocaml
jbrown has joined #ocaml
hvn has quit [Ping timeout: 265 seconds]
zolk3ri has joined #ocaml
keep-learning[m] has quit [Read error: Connection reset by peer]
Virgile[m] has quit [Remote host closed the connection]
sepp2k has quit [Read error: Connection reset by peer]
rgr[m] has quit [Read error: Connection reset by peer]
otini has quit [Read error: Connection reset by peer]
dl3br[m] has quit [Remote host closed the connection]
jimt[m] has quit [Read error: Connection reset by peer]
peddie has quit [Read error: Connection reset by peer]
copy` has quit [Read error: Connection reset by peer]
zapashcanon[m] has quit [Read error: Connection reset by peer]
Haudegen[m] has quit [Read error: Connection reset by peer]
flux[m] has quit [Write error: Connection reset by peer]
stan[m] has quit [Read error: Connection reset by peer]
trakjohnson[m] has quit [Remote host closed the connection]
isaachodes[m] has quit [Remote host closed the connection]
ptival[m] has quit [Write error: Connection reset by peer]
aspiwack[m] has quit [Read error: Connection reset by peer]
aecepoglu[m] has quit [Write error: Connection reset by peer]
hdurer[m] has quit [Remote host closed the connection]
smondet[m] has quit [Write error: Broken pipe]
regnat[m] has quit [Write error: Connection reset by peer]
tsani_ has quit [Ping timeout: 240 seconds]
tsani has joined #ocaml
aspiwack[m] has joined #ocaml
jp has joined #ocaml
jp has quit [Ping timeout: 245 seconds]
slice has quit [Quit: cya]
slice has joined #ocaml
Haudegen[m] has joined #ocaml
smondet[m] has joined #ocaml
flux[m] has joined #ocaml
copy` has joined #ocaml
aecepoglu[m] has joined #ocaml
dl3br[m] has joined #ocaml
peddie has joined #ocaml
hdurer[m] has joined #ocaml
otini has joined #ocaml
jimt[m] has joined #ocaml
ptival[m] has joined #ocaml
zapashcanon[m] has joined #ocaml
keep-learning[m] has joined #ocaml
trakjohnson[m] has joined #ocaml
sepp2k has joined #ocaml
regnat[m] has joined #ocaml
Virgile[m] has joined #ocaml
rgr[m] has joined #ocaml
isaachodes[m] has joined #ocaml
stan[m] has joined #ocaml
FreeBirdLjj has joined #ocaml
jaar has quit [Ping timeout: 246 seconds]
jp has joined #ocaml
jp has quit [Ping timeout: 240 seconds]
nahra has quit [Quit: ERC (IRC client for Emacs 26.2)]
jaar has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
FreeBirdLjj has quit [Ping timeout: 252 seconds]
iovec has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
nahra has joined #ocaml
nahra has quit [Changing host]
nahra has joined #ocaml
FreeBirdLjj has joined #ocaml
dckc has quit [Ping timeout: 240 seconds]
gareppa has joined #ocaml
augfab has quit [Remote host closed the connection]
dckc has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
jp has joined #ocaml
FreeBirdLjj has joined #ocaml
zolk3ri has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
gareppa has quit [Quit: Leaving]
jp has quit [Ping timeout: 245 seconds]
silver has joined #ocaml
spew has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
letoh has quit [Ping timeout: 268 seconds]
letoh has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
FreeBirdLjj has joined #ocaml
nahra has quit [Ping timeout: 240 seconds]
<narimiran>
hi, ocaml newbie here, had some experience with F# — i see that ocaml doesn't have `>>` and i guess there is a good reason for that: can i define `let (>>) f g x = g (f x)`, or should i not use such construct?
<narimiran>
i.e. how do you deal with situations when you need to do something like `List.map (f1 >> f2)`?
nahra has joined #ocaml
nahra has joined #ocaml
<ggole>
You can define >> if you like: note that the precedence is fixed.
<CcxWrk>
Wasn't there |> that is similar / same?
nullifidian_ is now known as nullifidian
jp has joined #ocaml
traviss has quit [Read error: Connection reset by peer]
<narimiran>
CcxWrk: it is a different operator
<dmbaturin>
I'm not sure why composition operators are still not in the standard library. Still, yeah, nothing that keeps you from making your own.
<narimiran>
`xs |> List.map (f1 >> f2)` and it is also: `xs |> List.map f1 |> List.map f2` if you expand `>>`
<Armael>
batteries calls it %> , fwiw
<narimiran>
oooh, thanks Armael! it is also `%>` in containers
<Leonidas>
dmbaturin: I assume it is because composition in ML kinda sucks
<Armael>
I don't think there's a clear cut reason
<Armael>
some people like it, and some other people dislike point-free style and prefer to keep the code more explicit
<dmbaturin>
Leonidas: Yeah, but there's still a non-zero number of valid use cases even for a sucky form of composition.
* dmbaturin
is not a fan of the pointless style
<Armael>
and then wrt standard library, the question is whether you want to encourage one style or the other, and what impact having this operator in the library would have on the users...
<Leonidas>
having an operator that breaks semi-frequently is sort of bad USX
<Armael>
it's not a very exciting debate
<Armael>
why would it break semi-frequently?
<Leonidas>
*UX
<Leonidas>
well, you run into weak polymorphism rather sooner than later at which point it sort of "breaks"
<narimiran>
so in the above example (`xs |> List.map (f1 >> f2)`), if you don't use `>>` or `%>`, how would you write it?
<Leonidas>
of course it is well defined when that happens
<Armael>
narimiran: List.map (fun x -> f2 (f1 x)) xs
<def`>
composition of effectful functions also leads to surprise.
<def`>
at least with an explicit fun -> we know that effects are suspended.
<narimiran>
Armael: i find that ugly :D but ok, i might give it a try
<dmbaturin>
fun x -> x |> f1 |> f2
<Leonidas>
narimiran: in such case you should take a closer look at haskell
<Leonidas>
which has the advantage that composition is obviously .
<Armael>
narimiran: it's also more "straightforward"/explicit; some people tend to like that
<Armael>
(in the end it's mostly a matter of getting used to it)
<Leonidas>
composing doesn't play well with named arguments, but OTOH it is mostly named arguments not playing well with composition
jp has quit [Ping timeout: 265 seconds]
<narimiran>
thanks dmbaturin, `fun x -> x |> f1 |> f2` might be the elegant-enough solution :)
<dmbaturin>
It's hard to imagine a compromise between composition and named arguments that satisfies everyone.
<dmbaturin>
Myself, I'll take named arguments any time even if it hurts composition.
nahra has quit [Ping timeout: 240 seconds]
nahra has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
jp has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
smazga has joined #ocaml
smazga has quit [Read error: Connection reset by peer]
smazga has joined #ocaml
count3rmeasure has joined #ocaml
<sshine>
narimiran, with Base you have Fn.compose f1 f2
<spew>
companion_cube: just add this when you get a chance: let char_range a b = map Char.chr (Char.code a -- Char.code b)
<spew>
and do you think you could add let ( <$> ) = map to Gen as well?
<sshine>
narimiran, sorry, that's Fn.compose f2 f1. maybe the fact that this can be mistaken is an indicator that |> is more intuitive.
<sshine>
narimiran, I haven't written OCaml in a while, but I succumbed to the fact that '.' from Haskell just isn't common enough to warrant the use.
<sshine>
narimiran, before flambda I think there was a performance point in avoiding something like Fn.compose.
<companion_cube>
spew: PR welcome ;)
<spew>
oh man I haven't logged on to github in at least a year
<companion_cube>
ah…
tane has joined #ocaml
<companion_cube>
ok, I'm adding itthen
vicfred has joined #ocaml
<sshine>
spew, but it's Hacktoberfest!
<companion_cube>
who should I credit, spew?
jp has quit [Remote host closed the connection]
jp has joined #ocaml
<spew>
thanks very much
<spew>
just credit spew
<spew>
on github I'm spewspews
<spew>
yeah so credit that guy
<spew>
spew was taken by some google jerk
<companion_cube>
done
<spew>
\o.
<spew>
woops
<companion_cube>
o/
<spew>
\o/
jp has quit [Ping timeout: 265 seconds]
Haudegen has quit [Quit: Bin weg.]
<Leonidas>
Submitting PRs to your own projects also qualifies for Hacktoberfest :|
<leah2>
they dont even need to be merged :D
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
jp has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
count3rmeasure has quit [Ping timeout: 240 seconds]
jp has quit [Ping timeout: 245 seconds]
bartholin has joined #ocaml
zolk3ri has joined #ocaml
jp has joined #ocaml
malina has joined #ocaml
nahra has quit [Ping timeout: 240 seconds]
Serpent7776 has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
jp has quit [Remote host closed the connection]
gareppa has joined #ocaml
AtumT has joined #ocaml
Haudegen has joined #ocaml
jaar has quit [Ping timeout: 252 seconds]
pkkm has quit [Ping timeout: 245 seconds]
pkkm has joined #ocaml
barockobamo has quit [Quit: Leaving]
gareppa has quit [Quit: Leaving]
<narimiran>
companion_cube == c-cube on github? author of containers?
<companion_cube>
itsame!
ggole has quit [Quit: Leaving]
glassofethanol has joined #ocaml
<narimiran>
companion_cube: today i discovered containers (i'm new to ocaml) and i really like it!! it seems just the thing i need: enriching stdlib without hijacking it :)
glassofethanol has quit [Quit: leaving]
<companion_cube>
glad you like it 😊
<companion_cube>
that's also my use case for it, I don't want to ditch the stdlib
ygrek has joined #ocaml
KeyJoo has joined #ocaml
gareppa has joined #ocaml
jp has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
glassofethanol has joined #ocaml
<glassofethanol>
With Tuareg, it makes certain things like keywords yellow, is there a way to disable this so I have my default theme?
kakadu has joined #ocaml
jp has left #ocaml [#ocaml]
jnavila has joined #ocaml
pkkm has quit [Ping timeout: 245 seconds]
gareppa has quit [Remote host closed the connection]
zolk3ri has quit [Remote host closed the connection]
jaar has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
gareppa has joined #ocaml
pkkm has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
glassofethanol has quit [Quit: leaving]
gareppa has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 240 seconds]
Hrundi_V_Bakshi has joined #ocaml
gobears has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
gobears has quit [Ping timeout: 264 seconds]
bitwinery has joined #ocaml
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
jbrown has quit [Ping timeout: 246 seconds]
gobears has joined #ocaml
jnavila has quit [Remote host closed the connection]
jbrown has joined #ocaml
<spew>
I want a super partition function on lists
<spew>
Like ('a -> 'a -> bool) -> 'a list -> 'a list list
<spew>
'a -> 'a -> bool is comparison
<spew>
Everything that compares equal is put in its own list
<spew>
does that exist in some library I can grab it from?
<spew>
or do I have to roll my own?
<Armael>
I think it exists
<spew>
group_by I think in containers
<Armael>
group : ('a -> 'a -> int) -> 'a list -> 'a list list in batteries
<Armael>
yeah containers probably has it as well
<spew>
thanks
KeyJoo has quit [Quit: KeyJoo]
traviss has joined #ocaml
tane has quit [Quit: Leaving]
Serpent7776 has quit [Quit: leaving]
iovec has quit [Quit: Connection closed for inactivity]
vicfred has quit [Quit: Leaving]
nullifidian has quit [Read error: Connection reset by peer]