adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Haudegen has joined #ocaml
Haudegen has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 276 seconds]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 is now known as Guest39080
Guest39080 has quit [Killed (livingstone.freenode.net (Nickname regained by services))]
infinity0_ is now known as infinity0
VermillionAzure has joined #ocaml
Jesin has joined #ocaml
jlongster has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
sonologico has quit [Ping timeout: 276 seconds]
silver has quit [Read error: Connection reset by peer]
govg has quit [Ping timeout: 276 seconds]
cbot has joined #ocaml
dedgrant_ has joined #ocaml
TallerGhostWalt has quit [Ping timeout: 255 seconds]
dedgrant has quit [Ping timeout: 255 seconds]
TallerGhostWalt has joined #ocaml
mosfetter has joined #ocaml
jimmyrcom has quit [Ping timeout: 256 seconds]
jimmyrcom has joined #ocaml
barcabuona has quit [Quit: WeeChat 2.0.1]
KeyJoo has joined #ocaml
jimmyrcom has quit [Ping timeout: 276 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
jbrown has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 264 seconds]
maufred has quit [Ping timeout: 255 seconds]
maufred has joined #ocaml
Soni has quit [Ping timeout: 256 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jlongster has joined #ocaml
jlongster has quit [Client Quit]
solrize has joined #ocaml
jlongster has joined #ocaml
VermillionAzure has quit [Ping timeout: 255 seconds]
cobreadmonster has joined #ocaml
govg has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spew has joined #ocaml
jlongster has joined #ocaml
pierpa has quit [Quit: Page closed]
jao has quit [Ping timeout: 276 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jimmyrcom has joined #ocaml
ygrek has joined #ocaml
mosfetter has quit [Quit: Connection closed for inactivity]
spew has quit [Read error: Connection reset by peer]
kristof has joined #ocaml
sonologico has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
ziyourenxiang has joined #ocaml
dtornabene has joined #ocaml
bitbckt has quit [Remote host closed the connection]
mbuf has joined #ocaml
Murmus has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
cobreadmonster has quit [Quit: Connection closed for inactivity]
solrize has quit [Ping timeout: 276 seconds]
Murmus has joined #ocaml
MercurialAlchemi has joined #ocaml
solrize has joined #ocaml
jerith has quit [Remote host closed the connection]
sz0 has joined #ocaml
solrize has quit [Remote host closed the connection]
solrize has joined #ocaml
malc_ has joined #ocaml
mk9 has joined #ocaml
jerith has joined #ocaml
mk9 has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
<_xvilka__> hi
<_xvilka__> I am trying to use ocaml-zmq for many pub<->many sub architecture with xpub/xsub proxy
<reynir> hi
<_xvilka__> but seems that ocaml-zmq doesn't have support for xsub/xpub, am I right?
solrize_ has joined #ocaml
solrize has quit [Ping timeout: 276 seconds]
orbifx1 has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
orbifx1 has quit [Ping timeout: 256 seconds]
VermillionAzure has joined #ocaml
jimmyrcom has quit [Ping timeout: 248 seconds]
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
freusque has joined #ocaml
cuicui has joined #ocaml
mbuf has quit [Remote host closed the connection]
dakk has joined #ocaml
mbuf has joined #ocaml
sonologico has quit [Quit: WeeChat 1.9.1]
solrize_ has quit [Ping timeout: 265 seconds]
argent_smith has joined #ocaml
mfp has joined #ocaml
shinnya has joined #ocaml
cbot has quit [Quit: Leaving]
andrewalker has joined #ocaml
maattdd_ has joined #ocaml
zpe has joined #ocaml
sh0t has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
Serpent7776 has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
kerrhau has quit [Ping timeout: 255 seconds]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
KeyJoo has quit [Ping timeout: 255 seconds]
sh0t has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
Soni has joined #ocaml
kristof has quit [Ping timeout: 256 seconds]
bim has joined #ocaml
bim is now known as Guest82278
TarVanimelde has joined #ocaml
<Guest82278> Hi. Trying to understand module inclusion. Suppose I have module Foo = struct type t ... end, and module Bar = struct include Foo... end. What would the type signature be of a function that would take either a Foo.t, or a Bar.t (or for that matter a type t from any module that includes Foo).
mengu has joined #ocaml
zolk3ri has joined #ocaml
<octachron> Guest82278, since Bar.t ≡ Foo.t, you can use either Foo.t or Bar.t
<octachron> (struct include Foo end is "expanded" to struct type t = Foo.t = … end )
silver has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
mengu has quit [Remote host closed the connection]
an-tuan has joined #ocaml
Haudegen has joined #ocaml
mengu has joined #ocaml
sepp2k has joined #ocaml
dhil has quit [Ping timeout: 276 seconds]
Onemorenickname has joined #ocaml
kakadu has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
KeyJoo has joined #ocaml
Haudegen has quit [Remote host closed the connection]
freusque has quit [Quit: WeeChat 1.9.1]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
sh0t has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
dtornabene has quit [Remote host closed the connection]
dhil has joined #ocaml
<Guest82278> ochtachron. OK - but this doesn't always seem to work. Can you explain this please: https://codeshare.io/50xkKL
<octachron> Guest82278, your code example compile fine for me; did you try it in the toplevel? In this case, you probably defined multiple time the Pippin module
<Guest82278> ochtrachron. I think you are right. restarting utop and cutting and pasting the whole snippet in made it work.
VermillionAzure has quit [Ping timeout: 256 seconds]
MasseR has quit [Quit: WeeChat 2.0]
masse has joined #ocaml
masse is now known as MasseR
dhil has quit [Ping timeout: 276 seconds]
<orbifx[m]> The majority of my results about applicative programming style, turns up Haskell stuff and their classes. Anything on Caml?
<MasseR> https://www.era.lib.ed.ac.uk/bitstream/handle/1842/3686/The%20Essence%20of%20Form%20Abstraction.pdf?sequence=1 isn't this the paper that started the use of applicatives in cs?
<Drup> MasseR: I really doubt so, that seems very young
<MasseR> 2008? They are a recent addition to haskell as well
<MasseR> https://stackoverflow.com/a/6572046 says that Conor McBridge paper 'Idioms: applicative programming with effects' (so not the paper I linked to you) popularized the style
<MasseR> Which was also released in 2008
<MasseR> Yeah, ghc 6.6 base had applicative (released 2007), ghc 6.4 didn't
<MasseR> So they've been in haskell for ~10 years
<Drup> which means the concept is at least 20 years old ;)
spew has joined #ocaml
<MasseR> 6.4.2 was released in 2006
<MasseR> But yeah, those two papers are probably some of the earliest papers on it :)
<Drup> you mean, except category theory papers
<Drup> :3
mbuf has quit [Quit: Leaving]
<MasseR> I doubt you'd find much on applicative functors there :)
jimt has joined #ocaml
spew has quit [Read error: Connection reset by peer]
jao has joined #ocaml
jpdeplaix has quit [Ping timeout: 256 seconds]
chindy has quit [Ping timeout: 240 seconds]
jpdeplaix has joined #ocaml
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
rks` has quit [Ping timeout: 240 seconds]
jpdeplaix has quit [Client Quit]
rks` has joined #ocaml
jpdeplaix has joined #ocaml
sh0t has quit [Ping timeout: 256 seconds]
jimt has quit [Quit: leaving]
govg has quit [Ping timeout: 276 seconds]
<orbifx[m]> So anything? Even some exemplar code?
<MasseR> My first link should've been ocaml
govg has joined #ocaml
<MasseR> http://erratique.ch/software/cmdliner/doc/Cmdliner cmdliner is an example as well
jimt has joined #ocaml
jbrown has joined #ocaml
jao has quit [Ping timeout: 276 seconds]
chindy has joined #ocaml
jimt has quit [Remote host closed the connection]
maattdd_ has quit [Ping timeout: 240 seconds]
SpiceGuid has joined #ocaml
maattdd_ has joined #ocaml
SpiceGuid has quit [Client Quit]
chindy has quit [Ping timeout: 255 seconds]
chindy has joined #ocaml
dhil has joined #ocaml
jlongster has joined #ocaml
sh0t has joined #ocaml
GreyFaceNoSpace has quit [Quit: Ex-Chat]
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Ping timeout: 248 seconds]
zolk3ri has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
BitPuffin has joined #ocaml
zpe has joined #ocaml
barcabuona has joined #ocaml
ousado has joined #ocaml
<ousado> how can I make a local opam package available to ocamlfind?
<Drup> opam and ocamlfind don't really interact in any way, so ...
<Drup> you write your META file for ocamlfind and your opam file for opam
<ousado> that sounds like crucial information. thanks :)
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jlam has quit [Ping timeout: 265 seconds]
Guest37994 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe has quit [Remote host closed the connection]
Guest37994 is now known as Haudegen
zpe has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
cuicui has quit [Quit: leaving]
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
ziyourenxiang has quit [Ping timeout: 256 seconds]
shinnya has quit [Ping timeout: 255 seconds]
mk9 has joined #ocaml
jlam has joined #ocaml
letoh has quit [Ping timeout: 268 seconds]
jlongster has quit [Quit: Textual IRC Client: www.textualapp.com]
whoman has joined #ocaml
maattdd has quit [Ping timeout: 255 seconds]
mk9 has quit [Quit: mk9]
dakk has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
pmetzger has joined #ocaml
cbot has joined #ocaml
maattdd_ has quit [Ping timeout: 256 seconds]
letoh has joined #ocaml
maattdd_ has joined #ocaml
FreeBirdLjj has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
maattdd_ has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
jao has joined #ocaml
FreeBirdLjj has joined #ocaml
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 255 seconds]
mk9_ is now known as mk9
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
jimmyrcom has joined #ocaml
FreeBirdLjj has joined #ocaml
kakadu_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
FreeBirdLjj has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
sonologico has joined #ocaml
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
Onemorenickname has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
mengu has quit [Quit: Leaving...]
cbot has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
ygrek has joined #ocaml
FreeBirdLjj has joined #ocaml
pmetzger has quit []
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
jnavila has joined #ocaml
mk9 has quit [Quit: mk9]
orbifx1 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
dhil has quit [Ping timeout: 248 seconds]
jnavila has quit [Ping timeout: 265 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
sonologico has quit [Ping timeout: 256 seconds]
barcabuona has quit [Quit: WeeChat 2.0.1]
Guest82278 has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
_andre has quit [Quit: leaving]
sepp2k has quit [Quit: Leaving.]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
mk9 has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
mk9 has quit [Client Quit]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
VermillionAzure has joined #ocaml
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
zpe has joined #ocaml
kristof has joined #ocaml
andreas_ has joined #ocaml
zpe has quit [Ping timeout: 268 seconds]
Onemorenickname_ has joined #ocaml
Onemorenickname_ has quit [Remote host closed the connection]
Onemorenickname has quit [Ping timeout: 248 seconds]
Onemorenickname_ has joined #ocaml
malc_ has joined #ocaml
aphprentice has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
okeuday_bak has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
okeuday_bak has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
orbifx1 has quit [Ping timeout: 255 seconds]
VermillionAzure has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
gpietro has joined #ocaml
sh0t has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
orbifx1 has joined #ocaml
sz0_ has joined #ocaml
sz0_ is now known as sz0
jnavila has quit [Remote host closed the connection]
Haudegen has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
zolk3ri_ has joined #ocaml
zolk3ri has quit [Quit: Reconnecting]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
KeyJoo has quit [Ping timeout: 255 seconds]
zolk3ri_ is now known as zolk3ri
FreeBirdLjj has joined #ocaml
VermillionAzure has joined #ocaml
kakadu__ has joined #ocaml
kakadu_ has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
jlongster has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
sonologico has joined #ocaml
Onemorenickname_ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
spew has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
kakadu__ has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
jimmyrcom has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 265 seconds]
argent_smith has quit [Quit: Leaving.]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
FreeBirdLjj has joined #ocaml
Onemorenickname has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
spew has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Ping timeout: 276 seconds]