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