adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
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
<oni-on-ion> whoa
erkin has joined #ocaml
<Drup> oni-on-ion: I never miss an ocasion to be helpful. :]
<oni-on-ion> =) =)
<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> hi
<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> Built-in annotations are inventoried here: http://caml.inria.fr/pub/docs/manual-ocaml-4.07/extn.html#sec261
<Patator> thanks
<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]
<Leonidas> what is the opam 2.0 equivalent of https://opam.ocaml.org/packages/opam-lib/ ?
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
<Armael> -_-
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?
<Fardale> Yes
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]