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
infinity0 has quit [Remote host closed the connection]
Orion3k has quit [Remote host closed the connection]
strykerkkd has quit [Quit: Leaving]
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]
spew has joined #ocaml
dmbaturin has quit [Ping timeout: 240 seconds]
dmbaturin has joined #ocaml
hongbo_ has quit [Quit: Connection closed for inactivity]
psacrifice has joined #ocaml
mengu has quit [Quit: Leaving...]
pyx has joined #ocaml
pyx has quit [Client Quit]
MK__ has joined #ocaml
MK__ has quit [Quit: Leaving...]
al-damiri has quit [Quit: Connection closed for inactivity]
maxirater has joined #ocaml
MK__ has joined #ocaml
spew has quit [Quit: foobar]
maxirater has quit [Quit: Leaving]
psacrifice has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 255 seconds]
fraggle_ has joined #ocaml
average has joined #ocaml
fraggle_ has quit [Ping timeout: 260 seconds]
kamog has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 258 seconds]
fraggle_ has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar1 is now known as ollehar
fraggle_ has quit [Ping timeout: 252 seconds]
fraggle_ has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
cbot has quit [Quit: Leaving]
MK__ has quit [Remote host closed the connection]
noddy has quit [Ping timeout: 260 seconds]
pilne has quit [Quit: Quitting!]
noddy has joined #ocaml
joncfoo has quit [Ping timeout: 240 seconds]
`slikts has quit [Quit: No Ping reply in 180 seconds.]
`slikts has joined #ocaml
infinity0 has joined #ocaml
_whitelogger has joined #ocaml
psacrifice has joined #ocaml
_whitelogger has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Client Quit]
maarhart has joined #ocaml
noddy has quit [Ping timeout: 240 seconds]
maarhart has quit [Quit: Mutter: www.mutterirc.com]
MercurialAlchemi has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Ping timeout: 258 seconds]
joncfoo has joined #ocaml
psacrifi_ has joined #ocaml
psacrifice has quit [Ping timeout: 252 seconds]
shinnya has joined #ocaml
darktenaibre has quit [Ping timeout: 255 seconds]
psacrifi_ has quit [Read error: Connection reset by peer]
psacrifice has joined #ocaml
AlexRussia_ has joined #ocaml
psacrifice has quit [Ping timeout: 260 seconds]
AlexRussia has quit [Ping timeout: 260 seconds]
psacrifice has joined #ocaml
govg has quit [Ping timeout: 268 seconds]
Simn has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
psacrifi_ has joined #ocaml
psacrifice has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
govg has joined #ocaml
rwmjones is now known as rwmjones_afk
MercurialAlchemi has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
larhat has joined #ocaml
ziyourenxiang has joined #ocaml
pnathan has joined #ocaml
darktenaibre has joined #ocaml
larhat has quit [Quit: Leaving.]
sepp2k has joined #ocaml
darktenaibre has quit [Remote host closed the connection]
maarhart has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
orbifx has joined #ocaml
maarhart has quit [Remote host closed the connection]
ziyourenxiang has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
<orbifx> sup?
moei has joined #ocaml
Muzer has quit [Ping timeout: 258 seconds]
ollehar has quit [Ping timeout: 260 seconds]
mfp has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
Muzer has joined #ocaml
darktenaibre has joined #ocaml
raphinou has joined #ocaml
psacrifice has joined #ocaml
psacrifi_ has quit [Read error: Connection reset by peer]
<companion_cube> it's not exposed
<companion_cube> it's not part of the stdlib...
govg has joined #ocaml
maarhart has joined #ocaml
slash^ has joined #ocaml
<orbifx> ow :/
maarhart has quit [Client Quit]
<adrien> Misc is internal to the compiler
<adrien> tbh, it made me wonder why the stdlib hadn't been expanded instead
<companion_cube> fear of having to maintain compatibility, again?
<adrien> (since the stdlib was said to be the library support required for the compiler)
<companion_cube> no idea why a basic Option module like this one would hurt
<companion_cube> but who knows…
<adrien> quite likely but well
<adrien> I mean
<adrien> val rev_split_words : string -> string list
<adrien> :P
<adrien> val search_substring : string -> string -> int -> int
<adrien> val replace_substring : before:string -> after:string -> string -> string
<adrien> it's been there for a fairly long time ;p
psacrifice has quit [Remote host closed the connection]
psacrifice has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Client Quit]
maarhart has joined #ocaml
psacrifice has quit [Remote host closed the connection]
maarhart has quit [Ping timeout: 255 seconds]
<companion_cube> oh well
<companion_cube> I don't think they care too much for the stdlib anyway
<orbifx> why not?
<orbifx> letting others take over?
Algebr has joined #ocaml
<companion_cube> I don't know why not
<orbifx> how can I express that only a subset of the variants is allowed as a parameter?
<companion_cube> assuming you mean [< `a | `b | `c ]
<orbifx> yeah
<orbifx> is that possible without polymorphic variants?
<companion_cube> with GADTs, perhaps
<companion_cube> but it's a violent solution :p
<companion_cube> (I meant GADT + phantom type, typically)
<orbifx> yeah, I remember discussing that
<orbifx> one thing that haunts me about polymorphic variants, is that they are not scoped
<orbifx> so, is an `a considered the same type across any code?
<companion_cube> it is
<companion_cube> the same value, rather, but yes
<companion_cube> that's a good thing in many cases
<companion_cube> (e.g. the Yojson.Safe.json type)
<orbifx> is there no way to scope it? or any work arounds?
<companion_cube> no
<companion_cube> if scoping is really crucial for you, I'd suggest a normal variant
<companion_cube> + private alias
<companion_cube> (so that you can enforce invariants about which subset the private alias allows)
<orbifx> private alias?
<companion_cube> wait a sec
<orbifx> so the relation of foo and t is hidden?
<companion_cube> t is a subtype of foo
<companion_cube> and it's impossible to create it from the outside
<companion_cube> except by going throught existing functions
<companion_cube> in essence, t is A|B
<companion_cube> by construction of the module
<orbifx> I see
<orbifx> thanks :)
<orbifx> seems a bit of a hack, although it shows me that my best approach for this is to use modules
<companion_cube> private aliases are simply awesome :-)
<orbifx> :P
<orbifx> so other than polymorphic variants, there isn't any compile time "set" construct? for creating sets and taking subsets?
<companion_cube> no
<companion_cube> the type system is rich enough :p
<companion_cube> poly variants, phantom types, or private aliases
<companion_cube> pick your poison
<orbifx> I think last time I was considering polymorphic variants
<orbifx> Sorry, I meant phantom types
<orbifx> But now I'm thinking about functors atop of my type, but this is sidetracking me from getting it done :P
<orbifx> one last thing, it is possible to match against any constructor, but distinguish on the constructor's value?
<orbifx> _ (a, b, c) -> ...
<orbifx> ?
<orbifx> I suspect the answer :P
<Drup> you suspect right :D
<orbifx> haha
<orbifx> thanks Drup and companion_cube
troydm has joined #ocaml
noddy has joined #ocaml
orbifx has quit [Ping timeout: 252 seconds]
orbifx-m has joined #ocaml
pilne has joined #ocaml
orbifx-m has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
Algebr has quit [Ping timeout: 268 seconds]
nightmared has quit [Quit: WeeChat 1.7]
raphinou has quit [Quit: WeeChat 1.4]
ollehar has joined #ocaml
psacrifice has joined #ocaml
nightmared has joined #ocaml
dmi3y has joined #ocaml
psacrifice has quit [Remote host closed the connection]
dmi3y has quit [Ping timeout: 268 seconds]
orbifx-m has joined #ocaml
orbifx-m has quit [Ping timeout: 255 seconds]
copy` has joined #ocaml
orbifx-m has joined #ocaml
psacrifice has joined #ocaml
freechips has joined #ocaml
freechips has quit [Client Quit]
orbifx-m has quit [Read error: Connection reset by peer]
<rgrinberg> So how does one use odoc? I can't find the docs for it anywhere
<Drup> odoc --help contains a lot of documentation
<rgrinberg> Hmm. opam refuses to install it on 4.04 for me
dmi3y has joined #ocaml
orbifx has joined #ocaml
dmi3y has quit [Quit: dmi3y]
Algebr has joined #ocaml
Fistine has quit [Ping timeout: 252 seconds]
Fistine has joined #ocaml
Riviera_ has joined #ocaml
dmi3y has joined #ocaml
maarhart has joined #ocaml
noddy has quit [Ping timeout: 255 seconds]
maarhart has quit [Remote host closed the connection]
<jerith> Leonidas: I'm still alive! And I've pushed some more commits to the slacko testing PR. :-)
dmi3y has quit [Quit: dmi3y]
<Leonidas> jerith: Thanks. I have to admit, I have kinda forgotten about it, the search for apartments has consumed all my brain cycles.
<Leonidas> I'll look at it today/tomorrow and I think it can be merged eventually :D
<Leonidas> also, I have OCaml and Slack and work, so I can test-drive it there :)
<jerith> I was eaten by work and various other things for longer than I like to think about.
<orbifx> Our work culture is horrendous
tane has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
AlexRussia_ has quit [Quit: WeeChat 1.7]
psacrifice has quit []
AlexRussia has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
ziyourenxiang has quit [Quit: Leaving]
<jerith> orbifx: Your employer's specifically, or everyone's in general?
<jerith> (Not sure if I should agree with the statement or offer sympathies.)
Algebr has quit [Remote host closed the connection]
spew has joined #ocaml
noddy has joined #ocaml
tobiasBora has quit [Ping timeout: 260 seconds]
tobiasBora has joined #ocaml
<orbifx> in general
<orbifx> At least in this country
_y has quit [Ping timeout: 255 seconds]
Fistine has quit [Ping timeout: 240 seconds]
tobiasBora has quit [Ping timeout: 252 seconds]
_y has joined #ocaml
newbie46 has joined #ocaml
newbie46 is now known as lolisa
Fistine has joined #ocaml
tobiasBora has joined #ocaml
noddy has quit [Ping timeout: 258 seconds]
maarhart has joined #ocaml
_y has quit [Ping timeout: 240 seconds]
tobiasBora has quit [Ping timeout: 240 seconds]
_y has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
maarhart has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
Fistine has quit [Ping timeout: 258 seconds]
maarhart has joined #ocaml
mrgrieves has joined #ocaml
lolisa has quit [Quit: KVIrc 4.9.1 Aria http://www.kvirc.net/]
tobiasBora has quit [Ping timeout: 240 seconds]
_y has quit [Ping timeout: 268 seconds]
maarhart has quit [Remote host closed the connection]
Fistine has joined #ocaml
spew has quit [Quit: foobar]
tobiasBora has joined #ocaml
cbot has joined #ocaml
_y has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
Xadnem has joined #ocaml
noddy has joined #ocaml
lukky513 has joined #ocaml
average has quit [Ping timeout: 245 seconds]
average has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
kakadu has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
slash^ has quit [Read error: Connection reset by peer]
jack5638 has joined #ocaml
ryanartecona has joined #ocaml
rwmjones_afk is now known as rwmjones
noddy has quit [Ping timeout: 240 seconds]
tane has quit [Ping timeout: 255 seconds]
moei has quit [Quit: Leaving...]
tane has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
Simn has quit [Quit: Leaving]
sepp2k has quit [Quit: Leaving.]
dmi3y has joined #ocaml
larhat has joined #ocaml
_y has quit [Remote host closed the connection]
_y has joined #ocaml
tobiasBora has quit [Ping timeout: 240 seconds]
tobiasBora has joined #ocaml
kakadu has quit [Remote host closed the connection]
Xadnem has quit [Quit: leaving]
dmi3y has quit [Quit: dmi3y]
mengu has joined #ocaml
tane has quit [Quit: Leaving]
tobiasBora has quit [Ping timeout: 240 seconds]
_y has quit [Ping timeout: 252 seconds]
Fistine has quit [Ping timeout: 240 seconds]
Fistine has joined #ocaml
_y has joined #ocaml
tobiasBora has joined #ocaml
freusque has joined #ocaml
ollehar has quit [Quit: ollehar]
pilne has left #ocaml ["Leaving!"]
larhat has quit [Quit: Leaving.]
freusque has quit [Quit: WeeChat 1.7]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 is now known as Guest36235
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]