companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
bronsen has joined #ocaml
bobo_ has quit [Ping timeout: 240 seconds]
bobo_ has joined #ocaml
waleee has quit [Ping timeout: 255 seconds]
williewillus_ has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
hsw has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
chrisz has quit [Ping timeout: 268 seconds]
chrisz has joined #ocaml
megeve_ has joined #ocaml
dstein64- has joined #ocaml
Soni has joined #ocaml
theblatt1 has joined #ocaml
wagle_ has joined #ocaml
kurfen has joined #ocaml
ente` has joined #ocaml
SoniEx2 has quit [*.net *.split]
ente`_ has quit [*.net *.split]
dstein64 has quit [*.net *.split]
kurfen_ has quit [*.net *.split]
megeve has quit [*.net *.split]
Boarders__ has quit [*.net *.split]
berberman has quit [*.net *.split]
theblatte has quit [*.net *.split]
andreypopp has quit [*.net *.split]
mjacob has quit [*.net *.split]
wagle has quit [*.net *.split]
JSharp has quit [*.net *.split]
CalimeroTeknik has quit [*.net *.split]
remexre has quit [*.net *.split]
leah2 has quit [*.net *.split]
dstein64- is now known as dstein64
megeve_ is now known as megeve
Boarders___ has joined #ocaml
remexre has joined #ocaml
JSharp has joined #ocaml
mjacob has joined #ocaml
andreypopp has joined #ocaml
leah2 has joined #ocaml
berberman has joined #ocaml
CalimeroTeknik has joined #ocaml
jonasbits has quit [Ping timeout: 260 seconds]
azimut has quit [Ping timeout: 268 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zebrag has quit [Quit: Konversation terminated!]
adanwan has quit [Read error: Connection reset by peer]
jpds has quit [Remote host closed the connection]
adanwan has joined #ocaml
jpds has joined #ocaml
gopiandc1 has quit [Ping timeout: 240 seconds]
gopiandc1 has joined #ocaml
trev has joined #ocaml
gahr_ is now known as gahr
Haudegen has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
williewillus_ has quit [Quit: Leaving]
mbuf has joined #ocaml
Serpent7776 has joined #ocaml
olle has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
orbifx has joined #ocaml
mima has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
mbuf has quit [Quit: Leaving]
jpds has quit [Ping timeout: 268 seconds]
jpds has joined #ocaml
genpaku has quit [Remote host closed the connection]
genpaku has joined #ocaml
rgrinberg has joined #ocaml
omegatron has joined #ocaml
bartholin has joined #ocaml
wingsorc has quit [Ping timeout: 255 seconds]
bartholin has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
xgqt has quit [Ping timeout: 255 seconds]
CalimeroTeknik has joined #ocaml
CalimeroTeknik has quit [Changing host]
xgqt has joined #ocaml
mima has quit [Ping timeout: 268 seconds]
Serpent7776 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 268 seconds]
azimut has joined #ocaml
jpds has quit [Ping timeout: 268 seconds]
jpds has joined #ocaml
dnh has joined #ocaml
azimut_ has joined #ocaml
Haudegen has joined #ocaml
azimut has quit [Quit: ZNC - https://znc.in]
Anarchos has joined #ocaml
mima has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
bartholin has joined #ocaml
zebrag has joined #ocaml
mima has quit [Ping timeout: 268 seconds]
hyphen has quit [Read error: Connection reset by peer]
mima has joined #ocaml
hyphen has joined #ocaml
romildo has joined #ocaml
hyphen has quit [Ping timeout: 268 seconds]
hyphen has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
romildo has quit [Quit: Leaving]
hyphen has quit [Ping timeout: 252 seconds]
hyphen has joined #ocaml
rak_ is now known as rak
noonien has quit [Ping timeout: 244 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
hyphen has quit [Ping timeout: 268 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
azimut_ has quit [Remote host closed the connection]
azimut has joined #ocaml
bartholin has joined #ocaml
hyphen has joined #ocaml
hyphen has quit [Ping timeout: 252 seconds]
hyphen has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
noonien has joined #ocaml
yilin has joined #ocaml
<yilin> What is the correct syntax to write a function which takes in a polymorphic function?
<yilin> i.e. if I want to have something like `let f: 'a. ('a list -> int) -> 'b list -> 'c list -> int`.
<yilin> How would I write the rhs?
bartholin has quit [Ping timeout: 252 seconds]
<companion_cube> for basic stuff, `let f (g:'a list -> int) l1 l2 : int = … ` works fine
<companion_cube> (basic = no need for polymorphic recursion/GADT/…)
<yilin> companion_cube: Thanks that works; what is the equivalent signature in the .mli file?
<companion_cube> `val f : ('a list -> int) -> 'b list -> 'c list -> int`
trev has quit [Remote host closed the connection]
<companion_cube> if you don't care that much about `'a`, you can write `let f (g : _ list) l1 l2 : int = …` or the likes
<companion_cube> type annotations can be partial
Tuplanolla has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
<yilin> companion_cube: Thank you for the help.
<companion_cube> 👍
yilin has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
hyphen has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
rgrinberg has joined #ocaml
Serpent7776 has quit [Quit: WeeChat 1.9.1]
hyphen has joined #ocaml
hyphen has quit [Ping timeout: 252 seconds]
hyphen has joined #ocaml
hyphen has quit [Ping timeout: 252 seconds]
hyphen has joined #ocaml
olle has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mima has quit [Quit: leaving]
gareppa has joined #ocaml
gareppa has quit [Quit: Leaving]
orbifx has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
waleee has joined #ocaml
bartholin has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
rgrinberg has joined #ocaml
hyphen has quit [Ping timeout: 244 seconds]
hyphen has joined #ocaml
wingsorc has joined #ocaml
hyphen has quit [Ping timeout: 252 seconds]
hyphen has joined #ocaml
olle has quit [Ping timeout: 268 seconds]
dh` has quit [Ping timeout: 252 seconds]
dh` has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Client Quit]
omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]
Haudegen has quit [Ping timeout: 252 seconds]
bartholin has quit [Quit: Leaving]
Tuplanolla has quit [Quit: Leaving.]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hyphen has quit [Ping timeout: 268 seconds]
kurfen has quit [Ping timeout: 268 seconds]
hyphen has joined #ocaml
kurfen has joined #ocaml
hyphen has quit [Read error: Connection reset by peer]
hyphen has joined #ocaml
hyphen has quit [Ping timeout: 252 seconds]
hyphen has joined #ocaml