jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ggole has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
nullcone has quit [Quit: Connection closed for inactivity]
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
mxns has joined #ocaml
wingsorc has quit [Quit: Leaving]
mxns has quit [Ping timeout: 260 seconds]
Serpent7776 has joined #ocaml
osa1 has joined #ocaml
bartholin has joined #ocaml
bartholin has quit [Client Quit]
Haudegen has joined #ocaml
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
osa1 has quit [Ping timeout: 260 seconds]
aaaaaa has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
djellemah has joined #ocaml
dhil has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
osa1 has joined #ocaml
<d_bot>
<_bushido_> Btw if anyone is interested, I was able to setup IRC on Emacs to use discord. This message is written from Emacs. The setup took longer than expected, I had a few issues. But it seems to be working fine. The requests are proxied to Discord via Bitlbee and its plugin bitlbee-discord.
kini has quit [Ping timeout: 260 seconds]
kini has joined #ocaml
dhil has quit [Ping timeout: 258 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
Hrundi_V_Bakshi has quit [Remote host closed the connection]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
<SoF>
I have a function fn which takes 'a, and a type 'a * 'b, how can I compose fn with fst so I get a function which takes (a, _) and returns fn (a) ? I want to avoid lambda syntax
<SoF>
tried something like fn @@ fst
mxns has quit [Ping timeout: 265 seconds]
<SoF>
or something like "|> fst |> fn"
<gahr>
my_pair |> fst |> fn works
<gahr>
doesn't it?
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
mxns has quit [Ping timeout: 256 seconds]
mxns has joined #ocaml
djellemah has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
<SoF>
sorry if I wasn't clear, I want to get a function
<SoF>
basically "fun x -> x |> fst |> fn", but without the lambda syntax if possible
<SoF>
gahr ^
<octachron>
You need to define or import a composition operator (or function) then.
<d_bot>
<Ulugbek> There is no built-in compose function, but you could define it by, say, `let (<.>) f g x = f (g x)`.
<d_bot>
<Ulugbek> Then use it `(fn <.> fst) pair`.
<d_bot>
<Ulugbek> But keep in mind that a composed function `(fn <.> fst)` will have a weakly polymorphic type `_weak1 * _weak2 -> weak1`, so having `let fn_pair = (fn <.> fst)` may have a more restrictive type than you think.
<d_bot>
<Ulugbek> You can avoid that by defining your function as `let fn_pair = fun x -> (fn <.> fst) x`, I think, but you don't want lambdas
djellemah has joined #ocaml
<SoF>
okay thanks
Haudegen has quit [Ping timeout: 260 seconds]
vicfred has joined #ocaml
vicfred has quit [Max SendQ exceeded]
vicfred has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
<olle>
Server threw an exception: Not_found
<olle>
Using Flow from Facebook
<olle>
Someone saying OCaml has no null types? :D
<companion_cube>
not a null type
hnOsmium0001 has joined #ocaml
<olle>
sounds defensive ;)
<companion_cube>
not a null type
<ggole>
Yeah, this is a different problem. It is a real one, though.
<companion_cube>
definitely
<companion_cube>
should be options all around
olle has quit [Ping timeout: 240 seconds]
jgjl has joined #ocaml
<companion_cube>
his IRC client had a null type
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jgjl has joined #ocaml
Tuplanolla has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
mxns has quit [Ping timeout: 246 seconds]
sm2n_ has joined #ocaml
<Armael>
:DDD
sm2n has quit [Ping timeout: 240 seconds]
mmohammadi981266 has joined #ocaml
mmohammadi981266 has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
<companion_cube>
why doesn't keleshev have RSS on his blog, grr
Haudegen has joined #ocaml
mxns has quit [Ping timeout: 258 seconds]
TheRuralJuror has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
TheRuralJuror has quit [Read error: Connection reset by peer]
mmohammadi981266 has joined #ocaml
<d_bot>
<dinosaure> it should use mirageos for his blog
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mmohammadi981266 has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
mxns has joined #ocaml
mmohammadi981266 has joined #ocaml
mmohammadi981266 has quit [Quit: I quit (╯°□°）╯︵ ┻━┻]
larou has joined #ocaml
Jesin has quit [Quit: Leaving]
dhil has joined #ocaml
amiloradovsky has joined #ocaml
Anarchos has joined #ocaml
reynir has quit [Ping timeout: 258 seconds]
reynir has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Jesin has joined #ocaml
berberman_ has quit [Ping timeout: 272 seconds]
berberman has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
mxns has quit [Ping timeout: 272 seconds]
osa1 has quit [Quit: osa1]
mxns has joined #ocaml
dhil has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
<d_bot>
<Drup> blogs without RSS fields do not exists
<companion_cube>
^
narimiran has quit [Quit: leaving]
larou has quit [Quit: Connection closed]
ggole has quit [Quit: Leaving]
jbrown has quit [Ping timeout: 272 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
aaaaaa has quit [Quit: leaving]
dhil has quit [Ping timeout: 258 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
amiloradovsky has quit [Remote host closed the connection]