adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | 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
ryanartecona has quit [Quit: ryanartecona]
larhat has quit [Quit: Leaving.]
snhmib has quit [Ping timeout: 258 seconds]
rwmjones has quit [Ping timeout: 256 seconds]
orbifx has quit [Ping timeout: 264 seconds]
nomicflux has joined #ocaml
rwmjones has joined #ocaml
sz0 has joined #ocaml
strykerkkd has quit [Remote host closed the connection]
wtetzner has joined #ocaml
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
mfp_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
silver has quit [Quit: rakede]
mengu has quit [Quit: Leaving...]
FreeBirdLjj has joined #ocaml
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
nomicflux has quit [Quit: nomicflux]
infinity0 has quit [Ping timeout: 260 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
lucybun has quit [Quit: lucybun]
lucybun has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
lucybun has quit [Client Quit]
lucybun has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
whisperedcigar has joined #ocaml
spew has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Muzer has quit [Ping timeout: 260 seconds]
jabroney has quit [Quit: Leaving.]
FreeBirdLjj has joined #ocaml
phase_ has joined #ocaml
nomicflux has quit [Quit: nomicflux]
whisperedcigar has joined #ocaml
after____ has joined #ocaml
after___ has quit [Ping timeout: 240 seconds]
whisperedcigar has quit [Ping timeout: 240 seconds]
after___ has joined #ocaml
after____ has quit [Ping timeout: 240 seconds]
wtetzner has quit [Remote host closed the connection]
lfox has joined #ocaml
lfox has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
copy` has quit [Quit: Connection closed for inactivity]
Muzer has joined #ocaml
spew has quit [Quit: foobar]
spew has joined #ocaml
phase_ has quit [Quit: cya l8r alig8r]
spew has quit [Quit: foobar]
MercurialAlchemi has joined #ocaml
rpg has quit [Ping timeout: 264 seconds]
moei has joined #ocaml
bungoman has quit [Read error: Connection reset by peer]
sz0 has quit [Quit: Connection closed for inactivity]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
whisperedcigar has joined #ocaml
mrnugget has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
mrnugget has quit [Ping timeout: 246 seconds]
govg has quit [Ping timeout: 264 seconds]
nopf has quit [Remote host closed the connection]
larhat has joined #ocaml
whisperedcigar has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
whisperedcigar has quit [Ping timeout: 240 seconds]
larhat has quit [Quit: Leaving.]
argent_smith has joined #ocaml
Mercuria1Alchemi has joined #ocaml
wtetzner has joined #ocaml
wtetzner has quit [Ping timeout: 264 seconds]
Simn has joined #ocaml
joed has joined #ocaml
whisperedcigar has joined #ocaml
freusque has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
alfredo has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
orbifx has joined #ocaml
govg has joined #ocaml
orbifx has quit [Ping timeout: 260 seconds]
whisperedcigar has joined #ocaml
wtetzner has joined #ocaml
wtetzner has quit [Ping timeout: 268 seconds]
praisethemoon has joined #ocaml
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
Guest46216 has quit [Remote host closed the connection]
<freehck> is it possible in opam to pin package and not install it immediately?
<freehck> ah, I see. -n.
Onemorenickname has joined #ocaml
maattdd has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
<Onemorenickname> first class modules are cool.
mfp_ has joined #ocaml
joed has quit [Read error: Connection reset by peer]
<Onemorenickname> it might be silly, but i don't find where the type array is defined
<Onemorenickname> I don't see it in Pervasives or Array
<def`> it is built in
<Onemorenickname> to access it, I have to do "Builin.array" ?
<Onemorenickname> builtin *
<def`> What do you mean by access it?
reynir has quit [Quit: WeeChat 1.4]
reynir has joined #ocaml
<Onemorenickname> in a module, i want to define a type called "array", but it relies on the array type
<Onemorenickname> now, ocaml thinks it's a recursive type if I type "type array = t array * int;;" for instance
<def`> you can use type nonrec or make an alias first
<def`> type 'a builtin_array = 'a array
<def`> type 'a array = 'a builtin_array * int
<def`> or type nonrec 'a array = a
<Onemorenickname> i made an allias, but i was wondering if there was a clena way
MercurialAlchemi has quit [Ping timeout: 264 seconds]
<def`> ouch, or type nonrec 'a array = 'a array * int
infinity0 has quit [Remote host closed the connection]
whisperedcigar has quit [Ping timeout: 240 seconds]
min_ has quit [Ping timeout: 240 seconds]
andreas__ has joined #ocaml
whisperedcigar has joined #ocaml
<Onemorenickname> I can't seem to find the right syntax to apply a module to a functor (with the first class module thing)
<Onemorenickname> line 49
<Onemorenickname> (previous lines are for context if required)
<def`> let sub_array (type a) (x:a) = let (module X) = sub_arraylike x in (module (Sub_arraylike(X)) : SUB_ARRAY);;
<Onemorenickname> why is the let necessary ?
<def`> because your module introduces new types which have to live in a scope, hence the let.
Onemorenickname has quit [Read error: Connection reset by peer]
Onemorenickname has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<Onemorenickname> i'm trying to do the same thing as earlier, but only with a type argument
<Onemorenickname> and I don't know if it's possible
<Onemorenickname> like, i want to do "sub_arraylike int"
<def`> type 'a array_like = (module ARRAY_LIKE with type elt = 'a)
<def`> module X = (val (sub_arraylike : int array_like));;
kakadu has joined #ocaml
<Onemorenickname> oh right, i can define a new type haha
<Onemorenickname> i was locked between "let" and "module" :D
<Onemorenickname> it works
<Onemorenickname> it's perfect
<Onemorenickname> thank you def`
<def`> np :)
<Onemorenickname> it works for string and arrays alike
<Onemorenickname> omg
<Onemorenickname> I FEEL THE POLYMORPHIC POWER
<Onemorenickname> (i hope my internship tutor never comes here)
<Onemorenickname> see you :)
Onemorenickname has quit [Quit: Leaving]
octachron has joined #ocaml
<def`> :D
parataxis has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
silver has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
snowcrshd has joined #ocaml
praisethemoon has quit [Ping timeout: 240 seconds]
<flux> https://github.com/facebookexperimental/JSCaml - has anyone tried it, what does the .ml look like?
rpg has joined #ocaml
zaquest has quit [Remote host closed the connection]
zaquest has joined #ocaml
_andre has joined #ocaml
tautologico has joined #ocaml
Algebr has joined #ocaml
rpg has quit [Ping timeout: 240 seconds]
nomicflux has joined #ocaml
zpe has joined #ocaml
nomicflux has quit [Client Quit]
dch has left #ocaml [#ocaml]
zpe has quit [Remote host closed the connection]
Algebr has quit [Remote host closed the connection]
spew has joined #ocaml
zaquest has quit [Quit: Leaving]
SpaceSheep has joined #ocaml
praisethemoon has joined #ocaml
sepp2k has joined #ocaml
snhmib has joined #ocaml
alphor has quit [Quit: Bye!]
zaquest has joined #ocaml
shinnya has joined #ocaml
trapz has joined #ocaml
yomimono has joined #ocaml
freechips has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
freechips has joined #ocaml
<Simn> Is there a way to use `ocamlfind ocamlopt.opt`?
<Drup> you don't need to, ocamlfind do it automatically
<Simn> That simplifies matters, thanks!
tane has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
maattdd has quit [Ping timeout: 260 seconds]
SpaceSheep has quit [Ping timeout: 268 seconds]
SpaceSheep has joined #ocaml
rpg_ has joined #ocaml
maattdd has joined #ocaml
larhat has joined #ocaml
<reynir> flux: Only two commits in there
<flux> clearly it's been imported from the internal repo
<n4323> out of curiosity (this may be useful for me at some point): has anyone attempted or succeeded in calling OCaml code from Mathematica? as described here: https://reference.wolfram.com/language/tutorial/SettingUpExternalFunctionsToBeCalledFromTheWolframLanguage.html
SpaceSheep has quit [Ping timeout: 240 seconds]
agarwal1975 has joined #ocaml
trapz has quit [Quit: trapz]
zpe has joined #ocaml
mfp_ has quit [Ping timeout: 260 seconds]
zpe has quit [Remote host closed the connection]
trapz has joined #ocaml
sz0 has joined #ocaml
al-damiri has joined #ocaml
SpaceSheep has joined #ocaml
<trapz> anyone here I could ask (what I think is an easy) question?
<freehck> trapz:
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
<octachron> trapz, sure ; there is no need to ask to ask
th5 has joined #ocaml
jlongster has joined #ocaml
<trapz> thanks freehck: helped me out
jabroney has joined #ocaml
marsam has joined #ocaml
rawra has joined #ocaml
marsam has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 264 seconds]
AltGr has joined #ocaml
ryanartecona has joined #ocaml
mryau has quit [Ping timeout: 260 seconds]
mfp_ has joined #ocaml
praisethemoon_ has joined #ocaml
praisethemoon has quit [Ping timeout: 268 seconds]
marsam has joined #ocaml
mfp_ has quit [Ping timeout: 240 seconds]
sh0t has quit [Ping timeout: 260 seconds]
sh0t has joined #ocaml
SpaceSheep has quit [Quit: WeeChat 1.6]
shinnya has joined #ocaml
praisethemoon_ has quit [Quit: Leaving]
sh0t has quit [Ping timeout: 246 seconds]
pilne has joined #ocaml
spew has quit [Quit: foobar]
profan_ is now known as profan
jabroney has quit [Quit: Leaving.]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
mfp_ has joined #ocaml
<sspi> Hi all, I was wondering if it was possible to distinguish between implementation and interface in a preprocessor without using a different file extension.
<def`> what kind of preprocessor?
<sspi> in this case it's refmt from Reason
<sspi> to clarify a bit more, we want to explore using the same file for both implementation and interface
tobast1 has joined #ocaml
<def`> so invoking twice the compiler on the same file, once treated as an interface once as an implementation?
<sspi> yes
<def`> pass a different option to refmt in both invocations
<def`> and return first the ast of a signature , then the ast of a structure
<sspi> hmm right, was hoping to avoid that - but we could do that indeed :)
<def`> I don't know how you would distinguish otherwise: it's the same commandline that has a different behavior each time :)
slash^ has joined #ocaml
<sspi> thanks for the help, this will keep me busy for now :)
sz0 has quit [Quit: Connection closed for inactivity]
<def`> sspi: you could think that passing -impl / -intf to the compiler would be enough
ryanartecona has quit [Quit: ryanartecona]
<def`> but this is not passed to the preprocessor, it just checks that the preprocessor behaves properly for an implementation or an interface
jabroney has joined #ocaml
jnavila has quit [Quit: It was time]
mfp_ has quit [Ping timeout: 268 seconds]
Flerex has joined #ocaml
AltGr has left #ocaml [#ocaml]
whisperedcigar has joined #ocaml
ryanartecona has joined #ocaml
shinnya has quit [Ping timeout: 258 seconds]
whisperedcigar has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
Anarchos has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
copy` has joined #ocaml
mfp_ has joined #ocaml
mfp_ has quit [Ping timeout: 240 seconds]
marsam has quit [Remote host closed the connection]
marsam has joined #ocaml
jnavila has joined #ocaml
marsam has quit [Remote host closed the connection]
whisperedcigar has joined #ocaml
sz0 has joined #ocaml
mfp_ has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
Ptival has left #ocaml [#ocaml]
kakadu has quit [Quit: Konversation terminated!]
pon1980 has quit [Quit: WeeChat 1.7]
maattdd has quit [Ping timeout: 240 seconds]
andreas__ has joined #ocaml
mfp_ has quit [Ping timeout: 240 seconds]
zv has quit [Quit: WeeChat 1.6]
mfp_ has joined #ocaml
Flerex has quit [Quit: Textual IRC Client: www.textualapp.com]
strykerkkd has joined #ocaml
whisperedcigar has joined #ocaml
marsam has joined #ocaml
mfp_ has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
kakadu has joined #ocaml
KV has joined #ocaml
KV has quit [Client Quit]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
sepp2k has quit [Ping timeout: 256 seconds]
mfp_ has joined #ocaml
zv has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
whisperedcigar has joined #ocaml
jabroney1 has joined #ocaml
jabroney has quit [Ping timeout: 260 seconds]
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
slash^ has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
average has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
reynir has quit [Read error: Connection reset by peer]
reynir has joined #ocaml
snowcrshd has quit [Ping timeout: 258 seconds]
wtetzner has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
min_ has joined #ocaml
_andre has quit [Quit: leaving]
marsam has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
marsam has joined #ocaml
SpiceGuid has joined #ocaml
th5 has quit []
pitastrudl has quit [Ping timeout: 245 seconds]
tane has quit [Quit: Leaving]
pitastrudl has joined #ocaml
wtetzner has quit [Remote host closed the connection]
agarwal1975 has quit [Quit: agarwal1975]
min_ has quit [Read error: Connection reset by peer]
simon3 has joined #ocaml
<simon3> I am a beginner in OCaml and I am wondering why there is so few unit
<simon3> tests inside topkg? Is it because dbuenzli is very professional or
<simon3> because OCaml doesn't need too many unit tests? How could he improve the topkg frequently without many unit tests?
jnavila has quit [Remote host closed the connection]
john51 has quit [Ping timeout: 246 seconds]
spew has joined #ocaml
john51 has joined #ocaml
john51 has quit [Read error: Connection reset by peer]
john51 has joined #ocaml
<companion_cube> because you don't need that many tests typically, indeed
<companion_cube> everything is very explicit and you can use the type system in a way that prevents many bugs
alphor has joined #ocaml
philtor has quit [Read error: Connection reset by peer]
<simon3> Wow! So cool!
<companion_cube> (also, yes, he is professional)
<simon3> Haha. Thanks. I am learning his codes.
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<simon3> And he re-uses the name `acc` frequently inside one function, e.g. <https://github.com/dbuenzli/topkg/blob/master/src-care/topkg_care_ocamlbuild.ml>. Is it somewhat dangerous for layman?
<companion_cube> no, don't worry
<companion_cube> "acc" is a common variable name for the accumulator in a recursive function
<companion_cube> (i.e. something that is carried from one iteration to the next, a bit like in a loop)
<mengu> i think it's a formatting issue as well
yomimono has quit [Ping timeout: 260 seconds]
<mengu> i thought it all was top level definitions
<mengu> and then i realized there are many in usages
trapz has quit [Quit: trapz]
strykerkkd has quit [Quit: Leaving]
<simon3> Thanks. I am still struggling with the different meanings of the same name :(
philtor has joined #ocaml
tobast1 has quit [Ping timeout: 260 seconds]
<octachron> simon3, if it helps, "acc" always have the same meaning of "the current accumulator" even if it is not always bound to the same value
<simon3> It helps a lot. Thanks.
agarwal1975 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
mengu has quit [Ping timeout: 260 seconds]
sh0t has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
marsam has quit [Remote host closed the connection]
mengu has joined #ocaml
simon3 has quit [Ping timeout: 240 seconds]
Muzer has quit [Ping timeout: 256 seconds]
marsam has joined #ocaml
marsam has quit [Remote host closed the connection]
trapz has joined #ocaml
trapz has quit [Client Quit]
ryanartecona has quit [Quit: ryanartecona]
larhat has quit [Quit: Leaving.]
simon3 has joined #ocaml
yomimono has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]