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?
<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]