00:00
empyrean has joined #ocaml
00:04
mal`` has quit [Ping timeout: 246 seconds]
00:06
mal`` has joined #ocaml
00:11
echo-are` has quit [Remote host closed the connection]
00:22
swgillespie has joined #ocaml
00:30
empyrean has quit [Remote host closed the connection]
00:38
Major_Biscuit has quit [Quit: WeeChat 1.1.1]
00:39
obadz has quit [Ping timeout: 240 seconds]
00:41
xet7_ has quit [Ping timeout: 250 seconds]
00:46
obadz has joined #ocaml
01:04
ontologiae has quit [Ping timeout: 264 seconds]
01:10
browncodes has joined #ocaml
01:13
browncod_ has quit [Ping timeout: 255 seconds]
01:14
fluter has quit [Ping timeout: 268 seconds]
01:20
fluter has joined #ocaml
01:36
martintrojer has quit [Ping timeout: 250 seconds]
01:36
seliopou has quit [Ping timeout: 250 seconds]
01:36
tokik has quit [Ping timeout: 250 seconds]
01:36
Leonidas has quit [Ping timeout: 250 seconds]
01:36
mearnsh has quit [Ping timeout: 250 seconds]
01:36
metadave has quit [Ping timeout: 250 seconds]
01:36
oldmanistan_ has quit [Ping timeout: 250 seconds]
01:36
jun has quit [Ping timeout: 250 seconds]
01:36
TallerGhostWalt has quit [Ping timeout: 250 seconds]
01:36
igitoor has quit [Ping timeout: 250 seconds]
01:36
c74d3 has quit [Ping timeout: 250 seconds]
01:36
SuperNoeMan has quit [Ping timeout: 250 seconds]
01:36
rfv has quit [Ping timeout: 250 seconds]
01:36
chris2 has quit [Ping timeout: 250 seconds]
01:36
sgnb has quit [Ping timeout: 250 seconds]
01:37
mearnsh has joined #ocaml
01:38
oldmanistan_ has joined #ocaml
01:38
tianon has quit [Ping timeout: 250 seconds]
01:38
empyrean has joined #ocaml
01:39
seliopou_ has joined #ocaml
01:40
jun__ has joined #ocaml
01:40
sgnb` has joined #ocaml
01:40
c74d3a has joined #ocaml
01:40
Leonidas_ has joined #ocaml
01:40
tokik_ has joined #ocaml
01:41
igitoor_ has joined #ocaml
01:41
rfv_ has joined #ocaml
01:41
orbifx has quit [Ping timeout: 240 seconds]
01:41
oldmanistan_ has joined #ocaml
01:41
oldmanistan_ has quit [Changing host]
01:41
chris2 has joined #ocaml
01:41
tianon has joined #ocaml
01:41
martintrojer has joined #ocaml
01:42
SuperNoeMan has joined #ocaml
01:42
TallerGhostWalt has joined #ocaml
01:45
igitoor_ has joined #ocaml
01:45
igitoor_ has quit [Changing host]
01:45
igitoor_ is now known as igitoor
01:46
metadave has joined #ocaml
01:49
<
palomer >
I’m tired of typing out everything in emacs
01:49
<
palomer >
does anyone use abbrev mode in emacs?
01:50
echo-area has joined #ocaml
01:50
ibor has quit [Ping timeout: 272 seconds]
01:51
ibor has joined #ocaml
01:53
igoroliveira has quit [Quit: Connection closed for inactivity]
02:00
echo-area has quit [Read error: Connection reset by peer]
02:01
echo-area has joined #ocaml
02:37
palomer has quit [Quit: palomer]
02:42
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
02:46
kushal has joined #ocaml
02:48
toomuchtvrotsurb has joined #ocaml
02:51
empyrean has quit [Ping timeout: 244 seconds]
02:54
swgillespie has joined #ocaml
03:04
toomuchtvrotsurb has quit [Remote host closed the connection]
03:05
Algebr has joined #ocaml
03:07
<
Algebr >
Any helper functions availble to turn bytes into bigarray and vice versa
03:11
psy_ has joined #ocaml
03:15
<
Algebr >
okay, not too bad to write myself.
03:18
toomuchtvrotsurb has joined #ocaml
03:22
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
03:24
darkf has joined #ocaml
03:26
kushal has quit [Ping timeout: 240 seconds]
03:31
Algebr has quit [Remote host closed the connection]
03:37
ygrek has joined #ocaml
03:44
kushal has joined #ocaml
03:54
kushal has quit [Ping timeout: 240 seconds]
03:56
kushal has joined #ocaml
03:57
palomer has joined #ocaml
04:03
LnL has joined #ocaml
04:03
swgillespie has joined #ocaml
04:04
swgillespie has quit [Client Quit]
04:06
swgillespie has joined #ocaml
04:10
shinnya has quit [Ping timeout: 256 seconds]
04:11
nullcatxxx_ has joined #ocaml
04:11
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
04:16
MercurialAlchemi has joined #ocaml
04:17
mac10688 has quit [Ping timeout: 250 seconds]
04:18
tennix has joined #ocaml
04:18
tennix has quit [Changing host]
04:18
tennix has joined #ocaml
04:26
swgillespie has joined #ocaml
04:28
swgillespie has quit [Max SendQ exceeded]
04:29
swgillespie has joined #ocaml
04:42
c74d3a has quit [Remote host closed the connection]
04:43
palomer has quit [Quit: palomer]
04:45
c74d3a has joined #ocaml
04:48
palomer has joined #ocaml
05:13
tmtwd has quit [Ping timeout: 240 seconds]
05:15
palomer has quit [Quit: palomer]
05:19
toomuchtvrotsurb has quit [Remote host closed the connection]
05:24
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
05:34
nullcatxxx_ has joined #ocaml
05:38
echo-area has quit [Remote host closed the connection]
05:38
echo-are` has joined #ocaml
05:39
Sorella has quit [Quit: Connection closed for inactivity]
05:40
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
05:45
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
05:55
palomer has joined #ocaml
06:06
ryanartecona has joined #ocaml
06:08
toomuchtvrotsurb has joined #ocaml
06:10
tmtwd has joined #ocaml
06:16
palomer has quit [Quit: palomer]
06:25
ygrek has quit [Ping timeout: 246 seconds]
06:26
rgrinberg has quit [Ping timeout: 265 seconds]
06:27
damason has quit [Ping timeout: 244 seconds]
06:28
<
echo-are` >
What is the prerequisite of reading /Using, Understanding, and Unraveling OCaml/? I have difficulties while reading contents about type inference
06:29
<
companion_cube >
I don't know about this book, sorry :(
06:32
<
companion_cube >
oh, a summer school lecture
06:33
<
companion_cube >
it's probably directed at grad students
06:33
<
companion_cube >
(thanks for the link, that might interest me too)
06:37
tmtwd has quit [Ping timeout: 240 seconds]
06:45
browncodes has quit [Remote host closed the connection]
06:46
Haudegen has quit [Ping timeout: 246 seconds]
06:48
rbocquet has quit [Ping timeout: 240 seconds]
06:49
Leonidas_ is now known as Leonidas
06:53
qrvpzvb has joined #ocaml
06:55
browncodes has joined #ocaml
06:57
Haudegen has joined #ocaml
07:00
BitPuffin|osx has quit [Ping timeout: 250 seconds]
07:04
browncodes has quit [Ping timeout: 240 seconds]
07:05
jonludlam has joined #ocaml
07:14
ibor has quit [Quit: Leaving.]
07:15
jonludlam has quit [Ping timeout: 240 seconds]
07:23
zpe has joined #ocaml
07:23
rgrinberg has joined #ocaml
07:25
ely-se has joined #ocaml
07:30
rgrinberg has quit [Ping timeout: 265 seconds]
07:30
oscar_toro has joined #ocaml
07:39
Submarine has joined #ocaml
07:39
Submarine has joined #ocaml
07:46
kushal has quit [Quit: Leaving]
08:06
ryanartecona has quit [Quit: ryanartecona]
08:13
Simn has joined #ocaml
08:17
ggole has joined #ocaml
08:21
mort___ has joined #ocaml
08:21
larhat has quit [Quit: Leaving.]
08:21
ontologiae has joined #ocaml
08:22
kushal has joined #ocaml
08:26
rgrinberg has joined #ocaml
08:28
kushal has quit [Ping timeout: 255 seconds]
08:31
rgrinberg has quit [Ping timeout: 264 seconds]
08:37
mort___ has left #ocaml [#ocaml]
08:47
ely-se has quit [Quit: leaving]
08:49
sepp2k has joined #ocaml
08:53
ely-se has joined #ocaml
09:19
oscar_toro has left #ocaml [#ocaml]
09:25
abbe has quit [Quit: “Everytime that we are together, it's always estatically palpitating!”]
09:26
rgrinberg has joined #ocaml
09:30
rand__ has joined #ocaml
09:32
rgrinberg has quit [Ping timeout: 264 seconds]
09:43
jonludlam has joined #ocaml
09:57
maurer has quit [Ping timeout: 246 seconds]
09:58
Drup has quit [Ping timeout: 256 seconds]
09:58
maurer has joined #ocaml
09:58
Drup has joined #ocaml
09:59
gargawel_ has quit [Ping timeout: 256 seconds]
10:03
gargawel has joined #ocaml
10:05
octachron has joined #ocaml
10:05
kushal has joined #ocaml
10:08
Haudegen has quit [Ping timeout: 260 seconds]
10:10
flx has joined #ocaml
10:11
flux has quit [Read error: Connection reset by peer]
10:11
flx is now known as flux
10:13
ely-se is now known as multibut
10:14
multibut has quit [Quit: leaving]
10:14
Major_Biscuit has joined #ocaml
10:19
Haudegen has joined #ocaml
10:27
rgrinberg has joined #ocaml
10:28
pyon has quit [Read error: Connection reset by peer]
10:29
echo-are` has quit [Remote host closed the connection]
10:31
struk|desk has joined #ocaml
10:32
rgrinberg has quit [Ping timeout: 246 seconds]
10:32
tristero has quit [Ping timeout: 250 seconds]
10:33
hcarty has quit [Ping timeout: 250 seconds]
10:33
hcarty has joined #ocaml
10:35
larhat1 has quit [Ping timeout: 250 seconds]
10:35
struk|desk2 has quit [Ping timeout: 250 seconds]
10:40
tristero has joined #ocaml
10:41
rand__ has quit [Ping timeout: 265 seconds]
10:43
qrvpzvb has quit [Quit: WeeChat 1.3]
10:44
Major_Biscuit has quit [Quit: WeeChat 1.1.1]
10:45
dsheets has joined #ocaml
10:46
Guest27325 has joined #ocaml
10:46
Guest27325 has quit [Read error: Connection reset by peer]
10:47
larhat has joined #ocaml
10:48
larhat1 has joined #ocaml
10:48
larhat has quit [Read error: Connection reset by peer]
10:48
pyon has joined #ocaml
10:52
keen___________ has joined #ocaml
10:53
keen__________ has quit [Ping timeout: 265 seconds]
10:54
pyon has quit [Remote host closed the connection]
10:59
rossberg has joined #ocaml
11:07
pyon has joined #ocaml
11:09
dsheets has quit [Ping timeout: 240 seconds]
11:19
Major_Biscuit has joined #ocaml
11:22
qrvpzvb has joined #ocaml
11:25
ely-se has joined #ocaml
11:26
_andre has joined #ocaml
11:28
rgrinberg has joined #ocaml
11:28
whitequark has joined #ocaml
11:29
<
whitequark >
opam is so broken since 1.2 :(
11:30
<
whitequark >
I tried to do one thing and I'm already filing four issues
11:30
<
whitequark >
the thing worked on 1.1.
11:31
dsheets has joined #ocaml
11:32
empyrean has joined #ocaml
11:33
rgrinberg has quit [Ping timeout: 268 seconds]
11:33
<
Drup >
Yes, I followed
11:34
sbrouf has joined #ocaml
11:37
dsheets has quit [Ping timeout: 240 seconds]
11:38
ontologiae has quit [Ping timeout: 240 seconds]
11:40
__uu___ has joined #ocaml
11:49
tennix has quit [Ping timeout: 264 seconds]
11:54
<
sbrouf >
i'm having issues defining a class inside a functor
11:54
<
sbrouf >
(i have no idea whether that's a recommended thing do to...)
11:55
<
Drup >
what kind of issues ?
11:55
<
sbrouf >
i can't access the functor inside the class definition
11:56
<
sbrouf >
here is a pastebin
11:56
whitequark has left #ocaml [#ocaml]
11:56
<
sbrouf >
ocaml says : Error: Unbound module PTypes
11:57
<
sbrouf >
on line 26
12:00
<
Drup >
can you give the complete file ?
12:00
<
Drup >
or at least something syntacticall correct
12:01
<
sbrouf >
sorry, this one should work
12:02
<
Drup >
works fine for me
12:03
<
ely-se >
I wonder if OCaml functors are more powerful than Scala classes.
12:03
<
Drup >
aren't scala classes just mostly sum types ?
12:03
<
sbrouf >
ok, the cursor was on the wrong place when evaluating in emacs;...
12:04
<
sbrouf >
thanks Drup !
12:04
<
sbrouf >
sorry for the time
12:04
<
ely-se >
Drup: they're like, Java classes, except can contain abstract type members
12:04
<
Drup >
then it's mostly equivalent
12:08
gpietro_ has quit [Ping timeout: 268 seconds]
12:10
<
ely-se >
this is like existentials :p
12:17
<
ely-se >
absolutely fascinating
12:18
ryanartecona has joined #ocaml
12:20
gpietro_ has joined #ocaml
12:22
obadz has quit [Read error: Connection reset by peer]
12:24
Sorella has joined #ocaml
12:24
echo-area has joined #ocaml
12:24
dsheets has joined #ocaml
12:25
obadz has joined #ocaml
12:26
ely-se has quit [Quit: leaving]
12:29
rgrinberg has joined #ocaml
12:29
ely-se has joined #ocaml
12:33
ontologiae has joined #ocaml
12:33
rgrinberg has quit [Ping timeout: 246 seconds]
12:51
tennix has joined #ocaml
12:55
tennix has quit [Ping timeout: 264 seconds]
12:56
sh0t has joined #ocaml
12:57
tennix has joined #ocaml
12:59
dsheets has quit [Ping timeout: 240 seconds]
13:01
Kakadu has joined #ocaml
13:03
tnguyen has quit [Read error: Connection reset by peer]
13:04
tnguyen has joined #ocaml
13:05
dsheets has joined #ocaml
13:08
rand__ has joined #ocaml
13:11
BitPuffin has joined #ocaml
13:17
empyrean has quit [Ping timeout: 260 seconds]
13:20
tennix has quit [Ping timeout: 240 seconds]
13:21
ely-se has quit [Quit: leaving]
13:25
tennix has joined #ocaml
13:27
ely-se has joined #ocaml
13:28
travisbrady has joined #ocaml
13:29
rgrinberg has joined #ocaml
13:30
tennix has quit [Ping timeout: 250 seconds]
13:30
travisbrady has quit [Client Quit]
13:33
tennix has joined #ocaml
13:33
tennix has quit [Changing host]
13:33
tennix has joined #ocaml
13:38
sbrouf has quit [Ping timeout: 240 seconds]
13:41
ryanartecona has quit [Ping timeout: 260 seconds]
14:12
keen____________ has joined #ocaml
14:15
keen___________ has quit [Ping timeout: 244 seconds]
14:17
johnf has joined #ocaml
14:20
govg has joined #ocaml
14:23
ely-se has quit [Quit: leaving]
14:24
psy_ has quit [Quit: Leaving]
14:27
ely-se has joined #ocaml
14:32
nullcatxxx_ has joined #ocaml
14:33
govg has quit [Ping timeout: 240 seconds]
14:34
govg has joined #ocaml
14:43
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
14:45
ely-se has quit [Quit: leaving]
14:46
jonludlam has quit [Quit: Leaving]
14:47
JuggleTux has joined #ocaml
14:48
ely-se has joined #ocaml
14:51
tennix has quit [Ping timeout: 260 seconds]
14:54
jonludlam has joined #ocaml
15:00
ely-se has quit [Quit: leaving]
15:03
nullcatxxx_ has joined #ocaml
15:03
dsheets has quit [Ping timeout: 260 seconds]
15:04
Major_Biscuit has quit [Quit: WeeChat 1.1.1]
15:04
_berke_ has quit [Quit: leaving]
15:06
slash^ has joined #ocaml
15:07
dsheets has joined #ocaml
15:15
jeffmo has joined #ocaml
15:16
jonludlam has quit [Remote host closed the connection]
15:18
tennix has joined #ocaml
15:25
The_Mad_Pirate has quit [Read error: Connection reset by peer]
15:43
zpe has quit [Remote host closed the connection]
15:53
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
15:53
mort___ has joined #ocaml
15:55
ontologiae has quit [Ping timeout: 240 seconds]
15:57
toomuchtvrotsurb has quit [Remote host closed the connection]
16:00
nullcatxxx_ has joined #ocaml
16:05
octachron has quit [Quit: Leaving]
16:06
JuggleTux has quit [Quit: leaving]
16:07
xet7 has joined #ocaml
16:07
psy_ has joined #ocaml
16:07
psy_ has quit [Max SendQ exceeded]
16:08
empyrean has joined #ocaml
16:08
psy_ has joined #ocaml
16:09
tibor_ has joined #ocaml
16:12
govg has quit [Quit: leaving]
16:14
<
tibor_ >
How can I tell to ocaml debugger to stop after the first exception?
16:18
johnf has quit [Read error: Connection reset by peer]
16:22
sh0t has quit [Ping timeout: 246 seconds]
16:23
xet7_ has joined #ocaml
16:27
xet7 has quit [Ping timeout: 255 seconds]
16:27
empyrean has quit [Remote host closed the connection]
16:30
empyrean has joined #ocaml
16:33
Guest38 has joined #ocaml
16:34
sbrouf has joined #ocaml
16:35
Denommus has joined #ocaml
16:40
tennix has quit [Ping timeout: 264 seconds]
16:40
ely-se has joined #ocaml
16:40
palomer has joined #ocaml
16:42
<
palomer >
does anyone else have a problem with tuareg-mode misindenting let open … in ?
16:42
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
16:48
ollehar has joined #ocaml
16:49
toomuchtvrotsurb has joined #ocaml
16:49
empyrean has quit [Remote host closed the connection]
16:50
empyrean has joined #ocaml
16:55
aftershave has joined #ocaml
16:56
rgrinberg has quit [Ping timeout: 252 seconds]
17:01
__uu___ has quit [Remote host closed the connection]
17:06
zpe has joined #ocaml
17:08
mort___ has quit [Ping timeout: 240 seconds]
17:08
zpe has quit [Remote host closed the connection]
17:09
jonludlam has joined #ocaml
17:12
palomer has quit [Quit: palomer]
17:12
zpe has joined #ocaml
17:14
zpe has quit [Remote host closed the connection]
17:22
empyrean has quit [Remote host closed the connection]
17:24
JuggleTux has joined #ocaml
17:27
<
Kakadu >
I remember something like that
17:29
rgrinberg has joined #ocaml
17:29
Haudegen has quit [Ping timeout: 250 seconds]
17:29
empyrean has joined #ocaml
17:30
empyrean has quit [Client Quit]
17:30
empyrean has joined #ocaml
17:30
darkf has quit [Quit: Leaving]
17:32
__uu__ has joined #ocaml
17:34
oscar_toro has joined #ocaml
17:37
rbocquet has joined #ocaml
17:38
Haudegen has joined #ocaml
17:41
nullcatxxx_ has joined #ocaml
17:41
palomer has joined #ocaml
17:42
<
ggole >
palomer: I had indentation trouble and moved to ocp-indent.
17:47
mea-culpa has joined #ocaml
17:48
nullcatx_ has joined #ocaml
17:48
dsheets has quit [Ping timeout: 252 seconds]
17:48
nullcatxxx_ has quit [Read error: Connection reset by peer]
17:58
mea-culp` has joined #ocaml
17:59
JuggleTux has quit [Quit: leaving]
18:00
__uu__ has quit [Ping timeout: 244 seconds]
18:00
__uu__ has joined #ocaml
18:02
mea-culpa has quit [Ping timeout: 246 seconds]
18:03
<
ollehar >
"C++ hits a sweet spot between performance and control on one end, and safety, maintainability, and convenience on the other."
18:03
<
ollehar >
Sweet-spot? Really?
18:10
<
def` >
I wonder how you can make a langage less safe :p
18:11
<
companion_cube >
it's more type safe than C, but that's about it
18:12
<
def` >
more expressive, but more type safe?!
18:12
<
companion_cube >
yes
18:12
<
companion_cube >
what's so surprising?
18:12
<
companion_cube >
OCaml is both more type safe and more expressive than java, don't you think?
18:12
__uu___ has joined #ocaml
18:12
<
def` >
how is it more type safe?
18:13
<
companion_cube >
well you can't case as easily, and templates make lots of void* useless
18:13
<
companion_cube >
cast*
18:13
<
def` >
if you consider array covariance, yes it is.
18:14
<
smondet >
companion_cube: C++ often forces you to cast (functions like `malloc`) where C does not need to (and shouldn't)
18:14
<
def` >
preprocessor could allow avoiding those *
18:14
<
companion_cube >
why would you use malloc with C++?
18:14
orbifx has joined #ocaml
18:14
<
smondet >
just an example of function from C APIs
18:14
<
companion_cube >
def`: preprocessor is the least type-safe thing on earth
18:14
<
companion_cube >
smondet: idiomatic C++ has much richer types than C, really
18:14
__uu__ has quit [Ping timeout: 246 seconds]
18:15
<
companion_cube >
of course you can write C-like C++, but that's a it frowned upob
18:15
<
companion_cube >
uopn
18:17
<
ely-se >
write C-style C++ and you get C-style bugs, have fun
18:17
<
ely-se >
smondet: only utter morons call malloc in C++
18:18
<
adrien >
sometimes you need to do C bits in the middle of C++ code
18:18
<
rks` >
I like how I'm not the one telling people they are morons anymore
18:18
<
rks` >
it's refreshing
18:18
mort___ has joined #ocaml
18:18
<
companion_cube >
rks`: you lost your monopoly
18:18
<
adrien >
but that's a design feature of C++
18:19
<
adrien >
rks`: you're growing old!
18:19
<
adrien >
being copied and everything
18:20
<
ely-se >
he's a legend
18:21
<
companion_cube >
you've been speaking for 3 minutes without being insulting, careful
18:21
__uu__ has joined #ocaml
18:22
<
ely-se >
that reminds me, maybe I should work on my C++ I/O library some more
18:23
__uu____ has joined #ocaml
18:23
jwatzman|work has joined #ocaml
18:24
__uu___ has quit [Ping timeout: 246 seconds]
18:25
zpe has joined #ocaml
18:26
__uu__ has quit [Ping timeout: 240 seconds]
18:26
swgillespie has joined #ocaml
18:27
mort___ has quit [Quit: Leaving.]
18:30
zpe has quit [Ping timeout: 244 seconds]
18:30
swgillespie has quit [Ping timeout: 252 seconds]
18:35
__uu__ has joined #ocaml
18:35
jhaberku has joined #ocaml
18:37
__uu___ has joined #ocaml
18:37
<
palomer >
ocp-indent?
18:37
<
palomer >
is that a tuareg replacement?
18:37
__uu____ has quit [Ping timeout: 268 seconds]
18:38
<
Armael >
it replaces the indentation part of tuareg
18:39
averell has quit [*.net *.split]
18:39
__uu__ has quit [Ping timeout: 246 seconds]
18:40
__uu__ has joined #ocaml
18:42
__uu____ has joined #ocaml
18:42
__uu___ has quit [Ping timeout: 264 seconds]
18:44
__uu__ has quit [Ping timeout: 256 seconds]
18:44
__uu___ has joined #ocaml
18:46
__uu____ has quit [Ping timeout: 240 seconds]
18:46
Guest38 has quit [Read error: Connection reset by peer]
18:46
__uu__ has joined #ocaml
18:49
Haudegen has quit [Ping timeout: 250 seconds]
18:49
__uu___ has quit [Ping timeout: 255 seconds]
18:50
__uu___ has joined #ocaml
18:52
mort___ has joined #ocaml
18:53
__uu__ has quit [Ping timeout: 244 seconds]
18:53
lobo has joined #ocaml
18:54
__uu___ has quit [Ping timeout: 246 seconds]
18:55
Kakadu has quit [Quit: Page closed]
18:55
nullcatx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
18:56
__uu___ has joined #ocaml
18:57
Guest38 has joined #ocaml
18:58
__uu____ has joined #ocaml
19:00
__uu___ has quit [Ping timeout: 240 seconds]
19:02
__uu__ has joined #ocaml
19:03
__uu____ has quit [Ping timeout: 240 seconds]
19:04
__uu___ has joined #ocaml
19:04
jhaberku has quit [Remote host closed the connection]
19:06
__uu____ has joined #ocaml
19:07
__uu__ has quit [Ping timeout: 265 seconds]
19:08
__uu__ has joined #ocaml
19:08
__uu___ has quit [Ping timeout: 255 seconds]
19:10
__uu___ has joined #ocaml
19:10
__uu____ has quit [Ping timeout: 250 seconds]
19:11
Haudegen has joined #ocaml
19:12
__uu____ has joined #ocaml
19:13
__uu__ has quit [Ping timeout: 246 seconds]
19:15
__uu__ has joined #ocaml
19:15
ygrek has joined #ocaml
19:15
__uu___ has quit [Ping timeout: 264 seconds]
19:17
__uu___ has joined #ocaml
19:17
__uu____ has quit [Ping timeout: 240 seconds]
19:17
_andre has quit [Quit: leaving]
19:19
__uu____ has joined #ocaml
19:19
__uu__ has quit [Ping timeout: 255 seconds]
19:19
Lis has joined #ocaml
19:19
octachron has joined #ocaml
19:21
__uu__ has joined #ocaml
19:22
__uu___ has quit [Ping timeout: 268 seconds]
19:23
__uu___ has joined #ocaml
19:23
__uu____ has quit [Ping timeout: 256 seconds]
19:25
__uu____ has joined #ocaml
19:26
__uu__ has quit [Ping timeout: 246 seconds]
19:26
<
orbifx >
is there a way to avoid `let` repetition?
19:26
<
orbifx >
somehow group them together?
19:27
<
flux >
the options: let a, b, c = 4, 1, 2 in ... let a = 42 and b = 12765 in ..
19:27
<
flux >
but they aren't really equivalent to a sequence of let .. ins
19:27
<
flux >
in particular, they cannot refer to earlier bindings within the same group
19:27
dsheets has joined #ocaml
19:28
__uu__ has joined #ocaml
19:28
__uu___ has quit [Ping timeout: 250 seconds]
19:28
<
companion_cube >
let a = x and b = y and ... in
19:30
__uu____ has quit [Ping timeout: 250 seconds]
19:31
__uu___ has joined #ocaml
19:31
<
orbifx >
thanks flux and companion_cube
19:31
jeffmo has quit [Quit: jeffmo]
19:32
<
orbifx >
neither , nor `and` can refer to previous bindings?
19:32
sbrouf has quit [Ping timeout: 246 seconds]
19:33
<
flux >
this works: let (x, y) = (4, 2) let x = y and y = x
19:33
__uu__ has quit [Ping timeout: 246 seconds]
19:34
<
orbifx >
on another topic, potential parallelism (concurrency)
19:34
<
orbifx >
does ocaml suppor that automatically for non interacting code?
19:34
<
orbifx >
I pressume not, but want to know more baout it
19:35
<
companion_cube >
OCaml isn't very strong for parallelism
19:35
<
companion_cube >
(it's one of the main argument of its detractors)
19:35
<
flux >
parallellism works on in ocaml as long you're writing it in c ;-)
19:35
__uu__ has joined #ocaml
19:35
<
companion_cube >
heard it's easier in rust
19:35
__uu___ has quit [Ping timeout: 246 seconds]
19:36
<
flux >
having a GC that works with threads and is efficient both with and without threads is a tricky business I understand
19:37
<
flux >
in particular if you have allocation-heavy code like ocaml code typically is
19:37
BitPuffin has quit [Ping timeout: 250 seconds]
19:39
larhat has joined #ocaml
19:40
Kakadu has joined #ocaml
19:40
Haudegen has quit [Ping timeout: 250 seconds]
19:49
<
MercurialAlchemi >
companion_cube: it's kind of the point of Rust, Mozilla wants a heavily parallel rendering engine
19:50
<
flux >
apparently servo already works, mostly
19:50
tennix has joined #ocaml
19:50
<
flux >
and is parallel, and fast
19:50
<
companion_cube >
well yes
19:50
<
flux >
but it's maybe the last 10% that's the tricky part.. :)
19:50
<
MercurialAlchemi >
no doubt
19:50
<
MercurialAlchemi >
the web is a collection of corner cases
19:50
jeffmo has joined #ocaml
19:50
Haudegen has joined #ocaml
19:52
slash^ has quit [Read error: Connection reset by peer]
19:53
WanderingGlitch has quit [Ping timeout: 246 seconds]
19:54
WanderingGlitch has joined #ocaml
19:54
tennix has quit [Ping timeout: 252 seconds]
19:54
kushal has quit [Quit: Leaving]
20:06
palomer has quit [Quit: palomer]
20:08
palomer has joined #ocaml
20:08
WanderingGlitch has quit [Changing host]
20:08
WanderingGlitch has joined #ocaml
20:14
mort___ has quit [Quit: Leaving.]
20:16
<
palomer >
is it posisble to run code while in ocamldebug?
20:18
ollehar has quit [Quit: ollehar]
20:18
tibor_ has quit [Ping timeout: 246 seconds]
20:18
<
orbifx >
flux: what work is being done on that side do you know?
20:19
<
orbifx >
companion_cube: the above question is also for you.
20:20
<
companion_cube >
you mean work on parallelism? yes, ocaml-multicore at ocamllabs (Cambridge)
20:20
<
companion_cube >
but it's not merged yet in the official compiler
20:23
<
orbifx >
any news on how that is performing
20:24
<
orbifx >
wow rust is fast :/
20:24
<
companion_cube >
I don't know
20:24
<
companion_cube >
rust is definitely fast, but also more cumbersome to write than OCaml imho
20:24
<
orbifx >
don't like the notation so much :/
20:29
<
orbifx >
but it says pure-functional and it's fast :P
20:29
<
orbifx >
want to decide on a language for this project.. started some bits in ocaml and was super happy with it
20:30
<
orbifx >
now I got more thinking to do :P
20:32
<
companion_cube >
hu? rust is not purely functional
20:32
<
companion_cube >
it has many functional aspects though
20:32
<
orbifx >
says supporting pure-functional
20:32
<
companion_cube >
[dubious-discuss]
20:33
<
Leonidas >
C also supports pure-functional
20:34
jeffmo has quit [Ping timeout: 244 seconds]
20:34
palomer has quit [Quit: palomer]
20:34
<
dsheets >
I support fasting but I don't do it often.
20:34
<
companion_cube >
hey, o/ dsheets
20:35
<
dsheets >
are you golfing?
20:36
<
companion_cube >
not that I'm aware of
20:36
<
dsheets >
ok, you are teeing off next to my name?
20:36
<
companion_cube >
no, I'm waving my hand in a friendly greeting
20:36
<
dsheets >
or is it like field hockey?
20:37
<
dsheets >
oh, it's your head
20:37
<
companion_cube >
yeah, I have a big round head
20:37
<
companion_cube >
\o
20:37
<
dsheets >
\o/ hooray
20:37
<
companion_cube >
o/\o high five
20:37
<
companion_cube >
anyway, still at Cambridge?
20:37
<
dsheets >
this could be the syntax of the next big language
20:37
<
dsheets >
emotilang
20:38
<
dsheets >
yeah, still in/at cam
20:38
<
companion_cube >
for (i=0; ; :+1+)
20:38
<
companion_cube >
:+1:
20:38
<
companion_cube >
gah
20:38
<
dsheets >
just got back from looong trip so catching up on everything... gotta release softwarez
20:38
rgrinberg has quit [Ping timeout: 264 seconds]
20:38
<
companion_cube >
such as codoc?
20:38
<
companion_cube >
;) ;) ;)
20:39
<
companion_cube >
sounds nice
20:39
<
companion_cube >
are there projects to host opam packages' doc on ocaml.org?
20:39
<
dsheets >
none yet but something combining codoc and ciso could do that
20:40
<
companion_cube >
a central place to look doc up is critical, imho
20:40
<
dsheets >
it's on the road map but hasn't been started
20:40
<
companion_cube >
some packageds barely have doc (e.g. , Zarith)
20:40
<
companion_cube >
ok
20:40
<
companion_cube >
then: documentation hosted on unikernels!
20:40
<
dsheets >
yes, it is and we will get there but first command line tools to do local gen and upload
20:41
MercurialAlchemi has quit [Ping timeout: 244 seconds]
20:41
<
Drup >
dsheets: it means I can start trying codoc on functoria again ?
20:41
<
Drup >
(last tentative was not really a success)
20:42
<
dsheets >
Drup, not yet but soon
20:42
<
dsheets >
i just got back and then slept and now i am doing stuff for SOSP next week
20:42
<
dsheets >
but that should be done tomorrow and then codoc
20:44
sepp2k has quit [Quit: Leaving.]
20:44
palomer has joined #ocaml
20:47
<
Drup >
seliopou_: so many releases :p
20:48
<
Drup >
very interested by the D3 bindings, I'll have to study that. The few time I looked at the D3 API, I was quite convinced it was basically untypable
20:52
jeffmo has joined #ocaml
20:54
mort___ has joined #ocaml
20:54
jwatzman|work has quit [Quit: jwatzman|work]
20:56
ibor has joined #ocaml
21:00
nullcatxxx_ has joined #ocaml
21:05
rgrinberg has joined #ocaml
21:07
octachron has quit [Quit: Leaving]
21:12
mort___ has quit [Quit: Leaving.]
21:17
mort___ has joined #ocaml
21:17
demonimin has quit [Remote host closed the connection]
21:19
Simn has quit [Quit: Leaving]
21:23
mac10688 has joined #ocaml
21:25
<
orbifx >
we discussed this a few days ago, but need elaboration: is foo * bar a synonym of foo, bar?
21:29
dsheets has quit [Ping timeout: 240 seconds]
21:32
<
Armael >
(foo, bar) is a term (like (1, 3) for example)
21:32
<
Armael >
(foo * bar) is a type (like (int * float))
21:33
ontologiae has joined #ocaml
21:33
mort___ has quit [Quit: Leaving.]
21:33
<
orbifx >
practical differences?
21:34
rgrinberg has quit [Ping timeout: 264 seconds]
21:34
<
orbifx >
does type mean that is has to be a "type" declared structure, or is it a signature notation
21:35
<
Snark >
orbifx: a type is "abstract" and a term is "concrete"
21:35
<
Snark >
2 is a term
21:35
<
Snark >
int is its type
21:35
<
Snark >
a term is an "element", a type is a "set" (not a very good comparison...)
21:36
Denommus has quit [Quit: working]
21:36
demonimin has joined #ocaml
21:37
lobo has quit [Quit: leaving]
21:38
<
ely-se >
a fool is a fool and a fool is a fool
21:40
BitPuffin|osx has joined #ocaml
21:40
<
Snark >
ely-se: you're helping worse than I do... impressive! :-P
21:40
palomer has quit [Quit: palomer]
21:40
<
ely-se >
that's because I'm a fool
21:41
ollehar has joined #ocaml
21:41
deavid has quit [Ping timeout: 268 seconds]
21:41
rgrinberg has joined #ocaml
21:42
ely-se has quit [Quit: sleep]
21:45
deavid has joined #ocaml
21:46
palomer has joined #ocaml
21:49
Denommus has joined #ocaml
21:49
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
21:50
nullcatxxx_ has joined #ocaml
21:54
<
orbifx >
Thanks Snark
21:58
joncfoo has joined #ocaml
22:03
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
22:03
<
ollehar >
what this "caml__dummy" all about in the C API?
22:03
<
ollehar >
macro expands to it
22:04
<
joncfoo >
anyone know if it's possible to get oasis to generate .merlin files?
22:11
__uu__ has quit [Ping timeout: 244 seconds]
22:11
__uu__ has joined #ocaml
22:13
__uu___ has joined #ocaml
22:15
jwatzman|work has joined #ocaml
22:15
__uu____ has joined #ocaml
22:16
__uu__ has quit [Ping timeout: 250 seconds]
22:18
__uu__ has joined #ocaml
22:18
__uu___ has quit [Ping timeout: 250 seconds]
22:20
__uu___ has joined #ocaml
22:21
__uu____ has quit [Ping timeout: 268 seconds]
22:22
__uu____ has joined #ocaml
22:22
__uu__ has quit [Ping timeout: 240 seconds]
22:23
Kakadu has quit [Remote host closed the connection]
22:24
__uu___ has quit [Ping timeout: 246 seconds]
22:24
__uu__ has joined #ocaml
22:25
orbifx has quit [Quit: WeeChat 1.3]
22:26
damason has joined #ocaml
22:26
__uu___ has joined #ocaml
22:27
__uu____ has quit [Ping timeout: 246 seconds]
22:29
__uu____ has joined #ocaml
22:29
__uu__ has quit [Ping timeout: 250 seconds]
22:30
<
joncfoo >
is there a technical reason?
22:30
<
joncfoo >
or just not implemented?
22:30
<
Drup >
not implemented
22:31
<
Drup >
(probably because oasis is not really developed since before merlin existed)
22:31
__uu__ has joined #ocaml
22:31
__uu___ has quit [Ping timeout: 250 seconds]
22:31
mv has joined #ocaml
22:33
__uu____ has quit [Ping timeout: 255 seconds]
22:33
__uu___ has joined #ocaml
22:34
<
joncfoo >
oh I didn't realize that
22:34
<
joncfoo >
so what's the current preferred way to manage a project?
22:35
damason has quit [Ping timeout: 252 seconds]
22:36
<
Drup >
oasis is fine :p
22:36
__uu____ has joined #ocaml
22:36
__uu__ has quit [Ping timeout: 256 seconds]
22:36
damason has joined #ocaml
22:36
ollehar has quit [Quit: ollehar]
22:36
Major_Biscuit has joined #ocaml
22:37
mv has quit [Remote host closed the connection]
22:37
__uu__ has joined #ocaml
22:38
__uu___ has quit [Ping timeout: 244 seconds]
22:41
__uu____ has quit [Ping timeout: 264 seconds]
22:41
__uu___ has joined #ocaml
22:43
__uu__ has quit [Ping timeout: 246 seconds]
22:43
__uu__ has joined #ocaml
22:46
__uu___ has quit [Ping timeout: 250 seconds]
22:46
__uu___ has joined #ocaml
22:48
__uu____ has joined #ocaml
22:48
__uu__ has quit [Ping timeout: 244 seconds]
22:50
__uu__ has joined #ocaml
22:50
__uu___ has quit [Ping timeout: 244 seconds]
22:51
palomer has quit [Quit: palomer]
22:53
__uu____ has quit [Ping timeout: 246 seconds]
22:53
__uu___ has joined #ocaml
22:55
__uu____ has joined #ocaml
22:55
__uu__ has quit [Ping timeout: 255 seconds]
22:56
<
joncfoo >
I can't get oasis/ocamlbuild to find a library
22:57
__uu__ has joined #ocaml
22:57
__uu___ has quit [Ping timeout: 244 seconds]
22:59
__uu___ has joined #ocaml
22:59
__uu____ has quit [Ping timeout: 240 seconds]
23:00
<
Drup >
you oasis setup'd properly ?
23:01
__uu__ has quit [Ping timeout: 255 seconds]
23:01
__uu____ has joined #ocaml
23:02
Major_Biscuit has quit [Quit: WeeChat 1.1.1]
23:03
__uu__ has joined #ocaml
23:03
__uu___ has quit [Ping timeout: 250 seconds]
23:05
ontologiae has quit [Ping timeout: 252 seconds]
23:06
<
joncfoo >
ah that was it
23:06
__uu____ has quit [Ping timeout: 244 seconds]
23:06
<
joncfoo >
thanks Drup!
23:08
__uu___ has joined #ocaml
23:08
__uu__ has quit [Ping timeout: 256 seconds]
23:10
__uu__ has joined #ocaml
23:12
__uu____ has joined #ocaml
23:12
__uu___ has quit [Ping timeout: 252 seconds]
23:14
__uu___ has joined #ocaml
23:15
__uu__ has quit [Ping timeout: 252 seconds]
23:15
rand__ has quit [Quit: leaving]
23:17
__uu__ has joined #ocaml
23:17
__uu____ has quit [Ping timeout: 268 seconds]
23:19
__uu___ has quit [Ping timeout: 246 seconds]
23:19
__uu____ has joined #ocaml
23:19
qrvpzvb has quit [Ping timeout: 240 seconds]
23:21
__uu___ has joined #ocaml
23:22
__uu__ has quit [Ping timeout: 252 seconds]
23:23
__uu____ has quit [Ping timeout: 240 seconds]
23:23
__uu__ has joined #ocaml
23:24
jwatzman|work has quit [Quit: jwatzman|work]
23:25
__uu____ has joined #ocaml
23:26
__uu___ has quit [Ping timeout: 250 seconds]
23:28
__uu___ has joined #ocaml
23:28
__uu__ has quit [Ping timeout: 240 seconds]
23:30
__uu__ has joined #ocaml
23:30
__uu____ has quit [Ping timeout: 240 seconds]
23:32
__uu____ has joined #ocaml
23:32
__uu___ has quit [Ping timeout: 246 seconds]
23:34
__uu___ has joined #ocaml
23:34
__uu__ has quit [Ping timeout: 255 seconds]
23:36
__uu__ has joined #ocaml
23:37
__uu____ has quit [Ping timeout: 250 seconds]
23:39
__uu____ has joined #ocaml
23:39
tmtwd has joined #ocaml
23:40
__uu___ has quit [Ping timeout: 264 seconds]
23:40
madroach has quit [Ping timeout: 264 seconds]
23:41
__uu__ has quit [Ping timeout: 244 seconds]
23:41
madroach has joined #ocaml
23:42
__uu__ has joined #ocaml
23:44
__uu___ has joined #ocaml
23:45
__uu____ has quit [Ping timeout: 268 seconds]
23:46
ontologiae has joined #ocaml
23:46
__uu__ has quit [Ping timeout: 252 seconds]
23:48
__uu__ has joined #ocaml
23:49
__uu___ has quit [Ping timeout: 268 seconds]
23:50
__uu___ has joined #ocaml
23:53
__uu__ has quit [Ping timeout: 240 seconds]
23:53
__uu__ has joined #ocaml
23:55
__uu____ has joined #ocaml
23:56
__uu___ has quit [Ping timeout: 255 seconds]
23:58
__uu___ has joined #ocaml
23:58
__uu__ has quit [Ping timeout: 246 seconds]