companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (verne.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
pierpa has quit [Quit: Page closed]
rdutra has quit [Quit: Leaving.]
ryanartecona has quit [Quit: ryanartecona]
cranmax has quit [Quit: Connection closed for inactivity]
Muzer has quit [Ping timeout: 258 seconds]
Muzer has joined #ocaml
dtornabene_ has quit [Ping timeout: 255 seconds]
haesbaert has quit [Quit: Lost terminal]
dtornabene has joined #ocaml
sgronblo has joined #ocaml
pierpa has joined #ocaml
silver has quit [Read error: Connection reset by peer]
minn has joined #ocaml
two_wheels has joined #ocaml
two_wheels has quit [Client Quit]
spew has joined #ocaml
demonimin has quit [Ping timeout: 260 seconds]
demonimin has joined #ocaml
demonimin has joined #ocaml
sh0t has quit [Remote host closed the connection]
dtornabene has quit [Ping timeout: 255 seconds]
minn has left #ocaml ["Leaving"]
malc_ has joined #ocaml
malina has quit [Remote host closed the connection]
spew has quit [Quit: foobar]
ygrek has quit [Ping timeout: 255 seconds]
mfp__ has quit [Ping timeout: 248 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
pierpa has quit [Quit: Page closed]
cschneid has quit [Ping timeout: 276 seconds]
cschneid has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
cschneid has quit [Ping timeout: 246 seconds]
ryanartecona has joined #ocaml
two_wheels has joined #ocaml
shinnya has joined #ocaml
cschneid has joined #ocaml
two_wheels has quit [Ping timeout: 248 seconds]
ski has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
nore has quit [Ping timeout: 260 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 258 seconds]
enterprisey has joined #ocaml
samrat_ has joined #ocaml
mengu has quit [Remote host closed the connection]
iitalics has joined #ocaml
govg has joined #ocaml
iitalics has quit [Quit: /thread]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
mengu has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
jnavila has joined #ocaml
jnavila has quit [Remote host closed the connection]
douglarek has joined #ocaml
<douglarek> I am new to OCaml; but would anyone explain what is this mean: `Format.formatter -> ('a, Format.formatter, unit) format -> 'a`
<douglarek> and what is this: `('a, Format.formatter, unit) format`
<xa0> Magic :)
adrien has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
Asmadeus has quit [Ping timeout: 255 seconds]
<douglarek> xa0: ? what ?
<douglarek> maybe I am clear now;
<douglarek> it stands for two possible fun types. one is `Format.formatter -> ('a, Format.formatter, unit)` ; another is : `format -> 'a`
<douglarek> it is really magic;
Simn has joined #ocaml
foobar___ has joined #ocaml
foobar___ is now known as Asmadeus
adrien has joined #ocaml
cschneid has quit [Ping timeout: 258 seconds]
cschneid has joined #ocaml
adrien has quit [Quit: leaving]
adrien has joined #ocaml
dhil has joined #ocaml
dmj` has quit []
<companion_cube> hmm that's not the easiest part of OCaml for beginners :)
<companion_cube> it's best to try and use Format before fully understanding its types
<companion_cube> Format.printf "hello %s@." "world"
dmj` has joined #ocaml
ziyourenxiang has joined #ocaml
olibjerd has joined #ocaml
fre has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
cschneid has quit [Ping timeout: 246 seconds]
cschneid has joined #ocaml
douglarek has quit [Quit: Page closed]
samrat_ has quit [Ping timeout: 255 seconds]
fre has quit [Ping timeout: 248 seconds]
enterprisey has quit [Remote host closed the connection]
samrat_ has joined #ocaml
Lightsephi has joined #ocaml
jjb_ has joined #ocaml
moei has quit [Quit: Leaving...]
fre has joined #ocaml
cschneid has quit [Ping timeout: 276 seconds]
andreas_ has joined #ocaml
argent_smith has joined #ocaml
haesbaert has joined #ocaml
rwmjones|holiday is now known as rwmjones
jjb_ has quit [Ping timeout: 248 seconds]
cschneid has joined #ocaml
nore has joined #ocaml
n has joined #ocaml
n has quit [Client Quit]
alfredo has joined #ocaml
TheLemonMan has joined #ocaml
soupault has joined #ocaml
freedrull has quit [Quit: leaving]
moei has joined #ocaml
<apache2> is whitequark around?
<apache2> _whitelogger: is that you?
<apache2> oh that fucker actually publishes html logs of this channel
<apache2> :-(
apache2 has left #ocaml ["well fuck that"]
zpe has joined #ocaml
dhil has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
<adrien> for people wondering, I'll gently remind them that this fact is clearly mentioned in /topic
cschneid has quit [Ping timeout: 246 seconds]
cschneid has joined #ocaml
dhil has quit [Quit: Quit]
sgronblo has quit [Ping timeout: 248 seconds]
dhil has joined #ocaml
cranmax has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
mfp__ has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
cschneid has quit [Ping timeout: 255 seconds]
cschneid has joined #ocaml
samrat_ has quit [Ping timeout: 260 seconds]
Merv_ has quit [Remote host closed the connection]
Merv_ has joined #ocaml
mengu has joined #ocaml
Merv_ has quit [Ping timeout: 258 seconds]
andreas_ has quit [Quit: Connection closed for inactivity]
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
silver has joined #ocaml
zpe has joined #ocaml
<Leonidas> which should be updated for 4.04.2
mengu_ has joined #ocaml
mengu has quit [Ping timeout: 268 seconds]
olibjerd has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jlam__ has quit [Ping timeout: 260 seconds]
sz0 has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
_andre has joined #ocaml
zpe has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
olibjerd has joined #ocaml
rdutra has joined #ocaml
olibjerd has quit [Quit: olibjerd]
mengu has joined #ocaml
mengu_ has quit [Read error: No route to host]
sh0t has joined #ocaml
olibjerd has joined #ocaml
Merv_ has joined #ocaml
sepp2k has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
alfredo has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
Merv_ has quit [Remote host closed the connection]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 248 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 246 seconds]
mars0i[m] has quit [Ping timeout: 240 seconds]
tcc[m] has quit [Ping timeout: 246 seconds]
timclassic has quit [Ping timeout: 255 seconds]
aspiwack[m] has quit [Ping timeout: 255 seconds]
M-jimt has quit [Ping timeout: 240 seconds]
Bluddy[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
orbifx[m] has quit [Ping timeout: 255 seconds]
isaachodes[m] has quit [Ping timeout: 246 seconds]
regnat[m] has quit [Ping timeout: 276 seconds]
M-martinklepsch has quit [Ping timeout: 264 seconds]
smondet[m] has quit [Ping timeout: 246 seconds]
yetanotherion[m] has quit [Ping timeout: 276 seconds]
dhil has joined #ocaml
Merv_ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
_whitelogger has joined #ocaml
yetanotherion[m] has joined #ocaml
srenatus[m] has joined #ocaml
M-jimt has joined #ocaml
aspiwack[m] has joined #ocaml
smondet[m] has joined #ocaml
M-martinklepsch has joined #ocaml
isaachodes[m] has joined #ocaml
Bluddy[m] has joined #ocaml
orbifx[m] has joined #ocaml
regnat[m] has joined #ocaml
mars0i[m] has joined #ocaml
timclassic has joined #ocaml
tcc[m] has joined #ocaml
<companion_cube> I'm afraid not, but is there a switch for flambda + musl?
smondet[m] has quit [Remote host closed the connection]
aspiwack[m] has quit [Read error: Connection reset by peer]
M-jimt has quit [Read error: Connection reset by peer]
srenatus[m] has quit [Read error: Connection reset by peer]
isaachodes[m] has quit [Read error: Connection reset by peer]
yetanotherion[m] has quit [Read error: Connection reset by peer]
Bluddy[m] has quit [Read error: Connection reset by peer]
M-martinklepsch has quit [Remote host closed the connection]
orbifx[m] has quit [Read error: Connection reset by peer]
timclassic has quit [Remote host closed the connection]
mars0i[m] has quit [Read error: Connection reset by peer]
regnat[m] has quit [Read error: Connection reset by peer]
tcc[m] has quit [Remote host closed the connection]
nomicflux has joined #ocaml
mengu has joined #ocaml
orbifx[m] has joined #ocaml
smondet[m] has joined #ocaml
M-jimt has joined #ocaml
aspiwack[m] has joined #ocaml
srenatus[m] has joined #ocaml
M-martinklepsch has joined #ocaml
regnat[m] has joined #ocaml
isaachodes[m] has joined #ocaml
Bluddy[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
tcc[m] has joined #ocaml
timclassic has joined #ocaml
mars0i[m] has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
jlam_ has joined #ocaml
jlam1 has joined #ocaml
jlam__ has quit [Ping timeout: 246 seconds]
nopf has quit [Remote host closed the connection]
jlam_ has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
jlam1 has quit [Ping timeout: 246 seconds]
ryanartecona has joined #ocaml
malc_ has joined #ocaml
SpiceGuid has joined #ocaml
argent_smith has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.46/20161213183751]]
mengu has joined #ocaml
Soni has quit [Ping timeout: 260 seconds]
mengu has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 276 seconds]
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
argent_smith has quit [Quit: Leaving.]
FreeBirdLjj has joined #ocaml
Soni has joined #ocaml
Merv_ has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
mengu has joined #ocaml
zpe has quit [Remote host closed the connection]
mengu has quit [Ping timeout: 240 seconds]
ryanartecona has quit [Quit: ryanartecona]
copy_ has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
ryanartecona has joined #ocaml
dhil has joined #ocaml
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
al-damiri has joined #ocaml
vbmithr has quit [Quit: leaving]
vbmithr has joined #ocaml
vbmithr has quit [Client Quit]
ryanartecona has quit [Quit: ryanartecona]
spew has joined #ocaml
samrat_ has joined #ocaml
ryanartecona has joined #ocaml
soupault has quit [Ping timeout: 248 seconds]
Soni has quit [Read error: Connection reset by peer]
malc_ has quit [Remote host closed the connection]
mengu has joined #ocaml
mengu has quit [Ping timeout: 260 seconds]
boojinks has joined #ocaml
malina has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 255 seconds]
ryanartecona has quit [Quit: ryanartecona]
nomicflux has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Anarchos has joined #ocaml
vbmithr has joined #ocaml
fre has quit [Quit: WeeChat 1.7.1]
slash^ has joined #ocaml
Aaylor has quit [Ping timeout: 255 seconds]
jnavila has joined #ocaml
nomicflux has quit [Quit: nomicflux]
kamog has joined #ocaml
nopf has joined #ocaml
tane has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
nomicflux has joined #ocaml
malina has quit [Ping timeout: 246 seconds]
cr41gnus has quit []
ygrek has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
nomicflux has quit [Quit: nomicflux]
jimmyrcom has joined #ocaml
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 248 seconds]
samrat_ has quit [Ping timeout: 240 seconds]
andreas_ has joined #ocaml
sh0t has quit [Remote host closed the connection]
spew has quit [Ping timeout: 260 seconds]
<xa0> can anybody tell me why 'method writef fmt = Lwt_io.fprintf out (fmt ^^ "\r\n%!")' doesn't work?
Soni has joined #ocaml
<zozozo> xa0: what do you mean, doesn't work ?
jnavila has joined #ocaml
nomicflux has joined #ocaml
<xa0> the error i get is:
<xa0> This expression has type
<xa0> Type string -> unit Lwt.t is not compatible with type unit Lwt.ta
<xa0> (string -> unit Lwt.t, unit, string, string, string, unit Lwt.t) CamlinternalFormatBasics.fmt
<xa0> but an expression was expected of type
<xa0> (string -> unit Lwt.t, unit, string, string, string, string -> unit Lwt.t) CamlinternalFormatBasics.fmt
<xa0> when i try and use it
<Drup> can you pastebin the complete piece of code ?
<xa0> sure
<Drup> (initial guess: polymorphic methods are annoying)
<xa0> heh
<Drup> hmph, that's a big large
<xa0> :\
<Drup> where does the IRC module come from ?
nomicflux has quit [Client Quit]
<xa0> one second
<xa0> irc.mli is just
<xa0> type command = Num of int | Cmd of string;;
<xa0> type hostmask = {nick : string; user : string option; host : string option};;
<Drup> just annotate the method like so:
<Drup> method writef (type a) (fmt : (a, _, _, _) format4) = Lwt_io.fprintf out (fmt ^^ "\r\n%!")
<Drup> When you need a method used polymorphically inside the object, you need to annotate
<xa0> ah okay
<Drup> It's a limitation of object typing
<Drup> hum, actually, you need to use the other syntax
<octachron> Drup, you mean explicit polymorphic annotation?
sepp2k has quit [Ping timeout: 268 seconds]
<Drup> method writef : 'a . ('a, _, _, _) format4 -> 'a = fun fmt -> Lwt_io.fprintf out (fmt ^^ "\r\n%!")
hioo has joined #ocaml
<xa0> gotcha
<xa0> thanks
<Drup> (I leave the floor to octachron for a very pedagogic explanation of the difference between the two :>)
<octachron> xa0, the rule is that methods cannot introduce new type variables in their type without an explicit annotation
<xa0> i see...
<octachron> which the signification of "method writef: 'a. … " the part before the point is introducing a new type variable
<octachron> in some sense this could be read as "method writef: let type 'a = any type in …"
<xa0> yeah i remember existential from haskell
<octachron> whenever the (type a) notation that Drup insist that I explain (:p), means "in the following, consider that a is some abstract type named a"
Merv_ has joined #ocaml
<Drup> xa0: btw, 1) there are nice irc libraries, including to define bots 2) I'm not sure objects are really useful here. 3) use ocp-indent
<octachron> this can be useful in debuging to raise type error earlier, or when using either local modules or GADTs
<xa0> ah ok
<xa0> Drup: i'm writing from scratch to learn, and hence i wanted to use objects somewhere, but thanks i'll check it out
<octachron> for instance "let map (type a b) (f: a -> b) (x:a) (y:a) = f x, f (1+y)" will raise an error at "1+y"
<Drup> objects are a bit of an expert topic, don't feel forced to use them "to learn OCaml"
<Drup> there are a sufficient amount of concepts in OCaml :D
<xa0> heh
<octachron> also objects in most languages are partially used to solve the issue of modularity and polymorphism, OCaml has other means to address these specific issues
<Drup> (namely; actual module and polymorphism :D)
<octachron> Drup, but no ad-hoc polymorphism
<xa0> lol
<octachron> and subtyping polymorhism becomes more complicated due to the fact that parametric polymorphism took precedence over it
<Drup> (and now I want to have a new typing concept called "Actual polymorphism" just to screw with people)
<octachron> (to see what happens in the reverse situation, one may pronounce the words "C++ template")
<xa0> :D
olibjerd has quit [Ping timeout: 255 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
iitalics has joined #ocaml
mrvn has quit [Ping timeout: 255 seconds]
mrvn has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
nahra has joined #ocaml
ryanartecona has joined #ocaml
mengu has joined #ocaml
tane has quit [Quit: Leaving]
nahra has quit [Remote host closed the connection]
slash^ has quit [Read error: Connection reset by peer]
ryanartecona has quit [Client Quit]
mengu has quit [Ping timeout: 258 seconds]
dhil has quit [Ping timeout: 248 seconds]
nahra has joined #ocaml
jnavila has joined #ocaml
argent_smith has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith2 has joined #ocaml
argent_smith has quit [Ping timeout: 268 seconds]
argent_smith1 has quit [Ping timeout: 246 seconds]
cranmax has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
shinnya has joined #ocaml
demonimin has quit [Remote host closed the connection]
hioo has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
demonimin has joined #ocaml
hioo has joined #ocaml
boojinks has quit [Quit: Lost terminal]
spew has joined #ocaml
ollehar has joined #ocaml
_andre has quit [Quit: leaving]
malina has quit [Ping timeout: 240 seconds]
cranmax has joined #ocaml
ncthom91 has joined #ocaml
enterprisey has joined #ocaml
hioo has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Algebr has quit [Ping timeout: 276 seconds]
malina has joined #ocaml
average has quit [Quit: leaving]
ollehar has quit [Quit: ollehar]
andreas_ has quit [Quit: Connection closed for inactivity]
fre has joined #ocaml
jnavila has quit [Remote host closed the connection]
malc_ has joined #ocaml
iitalics has quit [Quit: /thread]
malc_ has quit [Remote host closed the connection]
<orbifx[m]> I want to make my project more inviting to ocamlers and non-ocamlers alike (those considering the language); how do you find this? https://gitlab.com/orbifx/logarion/blob/master/CONTRIBUTING.md
spew has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
spew has joined #ocaml
<Armael> orbifx[m]: do you have an example instance running somewhere? that could be nice to have
<Armael> demo instance*
rdutra has quit [Quit: Leaving.]
<orbifx[m]> Yeah my website: notes.orbitalfox.com
<orbifx[m]> but I'm going to set up a stand alone one too
<Anarchos> orbifx[m] is there a demo somewhere ?
<Armael> x)
<Anarchos> woops i just read what is said before
<Anarchos> sorry for the noise
<orbifx[m]> :)
<Anarchos> orbifx[m] seems nice and responsive here on WebPositive
<orbifx[m]> WebPositive?
<Anarchos> orbifx[m] the default browser on Haiku.
<orbifx[m]> Nice, I like the idea of Haiku :)
<Anarchos> orbifx[m] it is my primary os for years
<orbifx[m]> I've used minimal HTML5 + CSS and I'm avoiding Javascript as much as possible.
<Anarchos> orbifx[m] i even ported texlive on it
MercurialAlchemi has joined #ocaml
<Anarchos> well a very large subset i should say.
<orbifx[m]> And OCaml? ;)
<Anarchos> orbifx[m] i ported it also, but now it is supported by default
<Anarchos> orbifx[m] ocaml compiles without modification on Haiku. Just no graphics layer
<Anarchos> i could install opam, merlin ....
<orbifx[m]> Cool
<Anarchos> let me do a screenshot for you
ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]
<orbifx[m]> thanks :)
MercurialAlchemi has quit [Ping timeout: 248 seconds]
<orbifx[m]> Nice. Remind me, at the risk of going off-topic, is it compatible with POSIX, and GNU ecosystem?
<orbifx[m]> I remember looking into Haiku years ago, when I wanted everytihng in C++ :P
<Armael> does emacs work on haiku?
al-damiri has quit [Quit: Connection closed for inactivity]
<Anarchos> orbifx[m] yes it is compatible
<Anarchos> Armael qemacs is available
<Anarchos> orbifx[m] or really posix friendly anyway
spew has quit [Quit: foobar]
<orbifx[m]> =)
riveter has quit [Quit: ZNC - http://znc.in]
spew has joined #ocaml
<Anarchos> orbifx[m] time to sleep
spew has quit [Client Quit]
Simn has quit [Quit: Leaving]
kakadu_ has quit [Remote host closed the connection]
Anarchos has quit [Quit: bonne nuit]
<cranmax> orbifx[m]: I like your website, I can read it perfectly with my phone and also I like its colours =)
<cranmax> I realized that I liked it because its simplicity, it's now in my bookmarks
average has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
argent_smith2 has quit [Quit: Leaving.]
fre has quit [Quit: WeeChat 1.7.1]
silver_ has joined #ocaml
silver has quit [Ping timeout: 240 seconds]