spinmol has quit [Client Quit]
<
aleha>
I am trying without success to derive an anonymous func for a few hours of type: (((a->b)->b)->b) -> (a-> b).
jao has joined #ocaml
<
aleha>
The closest I have been to is: fun a -> fun b -> ((a b) b) b;; which is of type ('a -> 'a -> 'a -> 'b) -> 'a -> 'b
<
aleha>
Does anynoby have an idea on how to get to (((a->b)->b)->b) -> (a-> b)?
<
oni-on-ion>
you lost me at anonymous funk
potsBL has joined #ocaml
carlosdagos has joined #ocaml
erkin has quit [Remote host closed the connection]
potsBL has quit [Remote host closed the connection]
<
aleha>
nooo, get back on the anonymous functions track
<
Drup>
aleha: flip (%) (flip id)
<
Drup>
Well, CCFun.(flip (%) (flip id))
<
Drup>
I let you find a solution that doesn't revulse non-Haskellers ;)
quipa has quit [Ping timeout: 252 seconds]
reynir has joined #ocaml
erkin has joined #ocaml
<
Drup>
oni-on-ion: I never miss an ocasion to be helpful. :]
<
oni-on-ion>
good human, may you be blessed further
<
aleha>
I am getting: ((('_a -> '_b) -> '_b) -> '_c) -> '_a -> '_c
<
aleha>
so that '_c should become a '_b somehow ;)
<
Drup>
The type is just more general
<
aleha>
It is, but the hard part is to make it more restrictive. I keep bangin my head on the wall
<
Drup>
Huh, taht's easy, just annotate it
mengu_ has quit [Quit: Leaving...]
muelleme has joined #ocaml
aleha has quit [Ping timeout: 256 seconds]
nicoo has quit [Ping timeout: 256 seconds]
erkin has quit [Remote host closed the connection]
erkin has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
aleha has joined #ocaml
nicoo has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
al-damiri has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 252 seconds]
silver has quit [Read error: Connection reset by peer]
kvda has joined #ocaml
kvda has quit [Client Quit]
kvda has joined #ocaml
moopCP has joined #ocaml
moopCP has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 252 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
Jim_Dke has joined #ocaml
Jim_Dke has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Ping timeout: 268 seconds]
[vlad] has joined #ocaml
[vlad] has quit [Remote host closed the connection]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 252 seconds]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kleimkuhler has joined #ocaml
kvda has joined #ocaml
francisl has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
francisl has quit [Quit: francisl]
kleimkuhler has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
JimmyRcom has quit [Ping timeout: 244 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
noitakomentaja has quit [Ping timeout: 268 seconds]
neatonk has quit [Ping timeout: 268 seconds]
JimmyRcom has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
aleha has quit [Quit: Leaving]
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
jphelps has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
jphelps has quit [Remote host closed the connection]
kleimkuhler has quit [Quit: kleimkuhler]
nicoo has quit [Ping timeout: 256 seconds]
nicoo has joined #ocaml
keep_learning has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
DCTWD has joined #ocaml
DCTWD has quit [Remote host closed the connection]
rakirueU has joined #ocaml
rakirueU has quit [Killed (Sigyn (Spam is off topic on freenode.))]
tane_ has joined #ocaml
quipa has joined #ocaml
HabbieuL has joined #ocaml
HabbieuL has quit [Remote host closed the connection]
orbifx has joined #ocaml
sagotch has joined #ocaml
Haudegen has joined #ocaml
freyr69 has joined #ocaml
orbifx has quit [Ping timeout: 252 seconds]
govg has quit [Ping timeout: 252 seconds]
dtornabene has joined #ocaml
tane_ has quit [Quit: Leaving]
lopsbotjm has joined #ocaml
kvda has joined #ocaml
lopsbotjm has quit [Remote host closed the connection]
aleha has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
aleha has quit [Quit: Leaving]
jbrown has joined #ocaml
Asmadeus has quit [Changing host]
Asmadeus has joined #ocaml
carlosdagos has quit [Quit: Connection closed for inactivity]
JimmyRcom has quit [Ping timeout: 240 seconds]
ocamlerr has joined #ocaml
ocamlerr has left #ocaml [#ocaml]
Patator has joined #ocaml
<
Patator>
Is it possible to add some kind of annotation so that if an argument in a function is named "path", it automatically has type string?
<
Patator>
And to do so with other names in general
mfp has joined #ocaml
<
octachron>
There are no such annotations out-of-the-box
<
Patator>
it should be easy to make it with ppx, right?
<
Patator>
(what kinds of annotations are there, ootb?)
<
octachron>
It sounds relatively straightforward to implement as a ppx
<
Patator>
is there any pitfall I should be aware of?
<
Patator>
(that'd be my first ppx)
<
octachron>
Nothing major comes to mind, beyond the question if it is really worth it to break locality to avoid writing (path:string)
<
octachron>
It is quite rare to see someone wishing to write Fortran-in-OCaml skin rather than Haskell-in-OCaml skin.
jaar has joined #ocaml
Patator has quit [Ping timeout: 256 seconds]
wznoinsk has joined #ocaml
wznoinsk has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
Haudegen has quit [Read error: Connection reset by peer]
johnelse has quit [Ping timeout: 244 seconds]
noitakomentaja has joined #ocaml
johnelse has joined #ocaml
ehmry has joined #ocaml
silver has joined #ocaml
<
ehmry>
how does one completely purge the state of opam? I am trying to build something and I get behaviour that I removed days ago
johnelse_ has joined #ocaml
johnelse has quit [Ping timeout: 244 seconds]
<
Leonidas>
ehmry: remove local _opam files, remove ~/.opam and remove any hooks opam might have added to your shell
tane has joined #ocaml
ggole has joined #ocaml
<
Leonidas>
how are the files mirrored from the URLs mentioned in the url files in opam-repository to the OPAM CDN? Where does that code live?
haskell_noob5 has joined #ocaml
haskell_noob5 has quit [Quit: Leaving]
Haudegen has joined #ocaml
ocaml_noob1 has joined #ocaml
jao has joined #ocaml
ftlight has quit [Quit: ヾ(´¬`)ノ]
ftlight has joined #ocaml
adamCSWa has joined #ocaml
ocaml_noob1 has quit [Quit: Leaving]
sagotch has joined #ocaml
adamCSWa has quit [Remote host closed the connection]
neatonk has joined #ocaml
erkin has quit [Remote host closed the connection]
noitakomentaja has quit [Ping timeout: 268 seconds]
bgamarigM has joined #ocaml
bgamarigM has quit [Remote host closed the connection]
spew has joined #ocaml
jaar_ has joined #ocaml
jaar has quit [Ping timeout: 252 seconds]
dignifiedquireEV has joined #ocaml
Guest33905 has joined #ocaml
jaar__ has joined #ocaml
jrlFN has joined #ocaml
dignifiedquireEV has quit [Remote host closed the connection]
jaar_ has quit [Ping timeout: 252 seconds]
Guest33905 has quit [Remote host closed the connection]
jrlFN has quit [Remote host closed the connection]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 252 seconds]
<
Armael>
Leonidas: I think it's all the opam-* libraries with description "opam 2.0 development libraries"
pierpal has joined #ocaml
<
Leonidas>
yeah, that looks correct. Maybe I can solve it even easier
dtornabene has quit [Quit: Leaving]
<
sagotch>
How can we use js_of_ocaml's js%new syntax extension with dune ? (i.e. how do you use js_of_ocaml-ppx?)
<
Leonidas>
sagotch: have you tried (preprocess (pps js_of_ocaml-ppx))?
<
sagotch>
hum... I tried (pps js_of_ocaml-ppx) but I could have miss the preprocess thing
<
sagotch>
Ok, sry about that, I did not see that `preprocess` and tried to use pps as is. (unknown field error). Thank you!
TheLemonMan has joined #ocaml
freyr69 has quit [Remote host closed the connection]
ZegnatgQ has joined #ocaml
heishabi has joined #ocaml
heishabi has quit [Killed (Sigyn (Spam is off topic on freenode.))]
jbrown has quit [Ping timeout: 250 seconds]
bergiect has joined #ocaml
ZegnatgQ has quit [K-Lined]
bergiect has quit [Remote host closed the connection]
jbrown has joined #ocaml
<
companion_cube>
in the end it seems discord isn't more active than IRC… :°
thermionic_ has joined #ocaml
<
zozozo>
well, at least there are less people posting their code in the chat, :p
thermionic_ has quit [Remote host closed the connection]
jao has quit [Ping timeout: 260 seconds]
Haudegen has quit [Remote host closed the connection]
janusjg has joined #ocaml
kakadu has joined #ocaml
janusjg has quit [K-Lined]
ftlight has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 252 seconds]
jomo_Pq has joined #ocaml
jomo_Pq has quit [Remote host closed the connection]
Haudegen has joined #ocaml
ziyourenxiang_ has quit [Ping timeout: 252 seconds]
jaar__ has quit [Ping timeout: 252 seconds]
erkin has joined #ocaml
JimmyRcom has joined #ocaml
clownpriest has joined #ocaml
clownpriest has quit [Client Quit]
guaquaTy has joined #ocaml
guaquaTy has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<
Leonidas>
maybe the bot broke?
Anarchos has joined #ocaml
<
steenuil>
I thought the discord server had other channels where most of the discussion happened
<
steenuil>
that's what I was told, anyway
jnavila has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
jao has joined #ocaml
orbifx has joined #ocaml
ggole has quit [Quit: ggole]
clownpriest has joined #ocaml
sagotch has joined #ocaml
ski has joined #ocaml
ski has quit [Ping timeout: 268 seconds]
muelleme has joined #ocaml
Anarchos has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
Anarchos has joined #ocaml
npopeWU has joined #ocaml
npopeWU has quit [Remote host closed the connection]
francisl has joined #ocaml
sagotch has quit [Quit: Leaving.]
clownpri1 has joined #ocaml
clownpriest has quit [Ping timeout: 252 seconds]
clownpri1 has quit [Client Quit]
tac-ticsOE has joined #ocaml
tac-ticsOE has quit [K-Lined]
kakadu_ has joined #ocaml
JimmyRcom has quit [Ping timeout: 252 seconds]
dav1x has joined #ocaml
francisl has quit [Quit: francisl]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
dav1x has quit [Remote host closed the connection]
jack5638 has quit [Ping timeout: 252 seconds]
al-damiri has joined #ocaml
smasta has joined #ocaml
jack5638 has joined #ocaml
francisl has joined #ocaml
tane has quit [Quit: Leaving]
jaar has joined #ocaml
jaar has quit [Remote host closed the connection]
muelleme has quit [Ping timeout: 252 seconds]
noitakomentaja has quit [Ping timeout: 245 seconds]
Haudegen has quit [Remote host closed the connection]
nervengiftGF has joined #ocaml
francisl has quit [Quit: francisl]
erkin has quit [Remote host closed the connection]
nervengiftGF has quit [K-Lined]
bacam has quit [Quit: reboot]
Haudegen has joined #ocaml
bacam has joined #ocaml
spew has quit [Quit: going home]
orbifx has quit [Read error: Connection reset by peer]
orbifx has joined #ocaml
muelleme has joined #ocaml
jnavila has quit [Remote host closed the connection]
muelleme has quit [Ping timeout: 272 seconds]
breitenj- has joined #ocaml
breitenj has quit [Read error: Connection reset by peer]
kleimkuhler has joined #ocaml
mathieuiJj has joined #ocaml
mathieuiJj has quit [Remote host closed the connection]
<
smasta>
Is this channel alive?
orbifx has quit [Read error: Connection reset by peer]
orbifx1 has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
<
rom1504>
smasta: yes it can run and swim
orbifx1 has quit [Ping timeout: 252 seconds]
Haudegen has quit [Remote host closed the connection]
kleimkuhler has quit [Quit: kleimkuhler]
JimmyRcom has joined #ocaml
kvda has joined #ocaml
kleimkuhler has joined #ocaml
JimmyRcom has quit [Ping timeout: 244 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
francisl has joined #ocaml
carlosdagos has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
ziyourenxiang_ has joined #ocaml
altekLh has joined #ocaml
altekLh has quit [Ping timeout: 252 seconds]