00:08
switchy_ has joined #ocaml
00:09
damason has joined #ocaml
00:12
raphaelss has joined #ocaml
00:13
Kakadu has quit [Remote host closed the connection]
00:15
sizur has joined #ocaml
00:16
meiji11 has quit [Ping timeout: 246 seconds]
00:16
smerdyakow has joined #ocaml
00:16
<
sizur >
Hi all. I have problem building omake. It's complaining about depricated bprintf
00:17
<
sizur >
also omake's latest tar and zip, both are 404
00:18
<
sizur >
need omake for Tayjus...
00:19
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
00:19
<
sizur >
is this known issue?
00:21
tftio has joined #ocaml
00:25
raphaelss has quit [Ping timeout: 260 seconds]
00:30
smerdyakow has quit [Ping timeout: 260 seconds]
00:31
govg has quit [Ping timeout: 246 seconds]
00:33
madroach has quit [Ping timeout: 246 seconds]
00:34
<
sizur >
bought a Programming with Higher-Order Logic book, and cannot even install lambda prolog :(
00:34
supercircle4 has quit [Quit: Sleep]
00:35
madroach has joined #ocaml
00:37
tftio has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
00:38
<
zozozo >
sizur: did you try installing omake using opam ?
00:38
<
sizur >
zozozo: didn't know it was on opam. let me try, sec.
00:40
<
sizur >
hmm opam doesn't come in pacman it seems, for some reason
00:40
<
malc_ >
sizur: it's in yaourt
00:40
<
malc_ >
AUR that is
00:40
<
sizur >
i wonder why it's still not in the main
00:40
<
zozozo >
opam depends on aspcudf, which is also in the AUR
00:40
<
zozozo >
if i remember correctly
00:48
govg has joined #ocaml
00:57
<
sizur >
interesting. now i'll have to check out clasp and gringo :) seems like cool stuff
01:03
raphaelss has joined #ocaml
01:26
<
sizur >
zozozo, malc_: thank you! teyjus is built successfully!
01:36
nullcatxxx_ has joined #ocaml
01:44
FreeBirdLjj has joined #ocaml
01:46
ontologiae_ has quit [Ping timeout: 245 seconds]
02:41
smerdyakow has joined #ocaml
02:42
pyx has joined #ocaml
02:43
pyx has quit [Client Quit]
02:45
smerdyakow has left #ocaml [#ocaml]
03:18
tennix has joined #ocaml
03:20
ncthom91 has joined #ocaml
03:21
ncthom91 has quit [Client Quit]
03:25
govg has quit [Ping timeout: 245 seconds]
03:33
govg has joined #ocaml
03:46
lolisa has quit [Ping timeout: 245 seconds]
03:47
ncthom91 has joined #ocaml
03:52
lolisa has joined #ocaml
04:00
dalastboss has joined #ocaml
04:00
<
dalastboss >
how is polymorphism is function arguments/return type implemented
04:00
<
dalastboss >
are separate versions of the function emitted?
04:12
<
artart78 >
I've heard that the type checking is done "locally", probably for each function call for function when polymorphism is appliable
04:12
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
04:15
dalastboss has quit [Quit: Page closed]
04:29
mac10688 has quit [Ping timeout: 246 seconds]
04:31
cody` has quit [Quit: Connection closed for inactivity]
04:40
ygrek_ has joined #ocaml
04:41
meiji11 has joined #ocaml
04:42
switchy_ is now known as switchy
04:44
solrize has quit [Ping timeout: 260 seconds]
05:04
Sorella has quit [Quit: Connection closed for inactivity]
05:21
mac10688 has joined #ocaml
05:21
darkf has joined #ocaml
05:27
lolisa has quit [Ping timeout: 260 seconds]
05:27
ygrek_ has quit [Ping timeout: 246 seconds]
05:35
BitPuffin|osx has quit [Ping timeout: 260 seconds]
05:41
MercurialAlchemi has joined #ocaml
05:44
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
05:45
MercurialAlchemi has quit [Ping timeout: 245 seconds]
05:47
nullcatxxx_ has joined #ocaml
05:52
meiji11 has quit [Ping timeout: 245 seconds]
05:55
lolisa has joined #ocaml
06:02
malc_ has quit [Quit: Lost terminal]
06:15
solrize has joined #ocaml
06:15
solrize has joined #ocaml
06:43
damason has quit [Ping timeout: 246 seconds]
06:46
mac10688 has quit [Ping timeout: 245 seconds]
06:52
govg has quit [Ping timeout: 260 seconds]
06:52
Bahman has joined #ocaml
06:53
MercurialAlchemi has joined #ocaml
06:56
JacobEdelman has quit [Quit: Connection closed for inactivity]
06:58
Bahman has quit [Read error: Connection reset by peer]
06:59
Bahman has joined #ocaml
07:12
antkong has quit [Quit: antkong]
07:16
Bahman has quit [Read error: Connection reset by peer]
07:19
cyraxjoe_ has joined #ocaml
07:20
cyraxjoe has quit [Ping timeout: 246 seconds]
07:25
lolisa has quit [Ping timeout: 246 seconds]
07:38
lewis1711 has joined #ocaml
07:40
Simn has joined #ocaml
07:41
sbrouf has joined #ocaml
07:42
lewis1711 has left #ocaml ["Ex-Chat"]
07:45
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
07:46
sbrouf has quit [Ping timeout: 245 seconds]
07:47
Lightsephi has quit [Quit: leaving]
07:49
zpe has joined #ocaml
07:51
sbrouf has joined #ocaml
08:00
jonludlam has quit [Ping timeout: 260 seconds]
08:09
ely-se has joined #ocaml
08:11
wagle_ has joined #ocaml
08:15
sbrouf has quit [Ping timeout: 245 seconds]
08:16
wagle_ is now known as wagle
08:16
nojb has joined #ocaml
08:17
ggole has joined #ocaml
08:22
nojb has quit [Quit: nojb]
08:23
nojb has joined #ocaml
08:28
sbrouf has joined #ocaml
08:29
sbrouf has quit [Client Quit]
08:38
cody` has joined #ocaml
08:51
nojb has quit [Quit: nojb]
08:52
antkong has joined #ocaml
08:57
larhat1 has quit [Quit: Leaving.]
08:58
antkong has quit [Quit: antkong]
09:00
Simn has quit [Read error: Network is unreachable]
09:00
Simn has joined #ocaml
09:07
ely-se has quit [Quit: leaving]
09:12
ely-se has joined #ocaml
09:13
zpe has quit [Remote host closed the connection]
09:17
zpe has joined #ocaml
09:22
mankyKitty has quit [Ping timeout: 264 seconds]
09:22
Haudegen has quit [Ping timeout: 246 seconds]
09:24
mankyKitty has joined #ocaml
09:26
antkong has joined #ocaml
09:37
Haudegen has joined #ocaml
09:38
lolisa has joined #ocaml
09:41
mort___ has joined #ocaml
09:44
pierpa` has joined #ocaml
09:54
nojb has joined #ocaml
09:54
<
sspi >
what's the best way to join the results of two pattern matches into a single tuple?
09:57
<
companion_cube >
you mean two nested matches?
09:58
jonludlam has joined #ocaml
09:58
Simn has quit [Read error: Network is unreachable]
09:58
<
sspi >
companion_cube: yes
09:58
Simn has joined #ocaml
09:59
<
companion_cube >
match a with A x -> ... match b with B y -> (x,y)
09:59
<
companion_cube >
this?
10:00
<
sspi >
yes, basically two match patterns next to each other and then joining the results into a single tuple
10:00
<
sspi >
(I'm just getting used to OCaml...)
10:02
<
Cypi >
let a = match t with A x -> ... | B y -> ... in let b = match u with A' x -> ... | B' y -> ... in let p = (a, b) in ...
10:02
<
Cypi >
something like this?
10:03
<
sspi >
Cypi: thanks, that was what I was looking for :)
10:04
infinity0 has quit [Remote host closed the connection]
10:04
ontologiae_ has joined #ocaml
10:06
zpe has quit [Remote host closed the connection]
10:09
sepp2k has joined #ocaml
10:11
zpe has joined #ocaml
10:13
zpe has quit [Remote host closed the connection]
10:14
cyraxjoe has joined #ocaml
10:15
cyraxjoe_ has quit [Ping timeout: 260 seconds]
10:17
infinity0 has joined #ocaml
10:20
octachron has joined #ocaml
10:21
FreeBird_ has joined #ocaml
10:23
cschneid_ has quit [Ping timeout: 260 seconds]
10:25
FreeBirdLjj has quit [Ping timeout: 260 seconds]
10:26
FreeBird_ has quit [Ping timeout: 246 seconds]
10:27
zpe has joined #ocaml
10:28
ontologiae_ has quit [Ping timeout: 245 seconds]
10:30
_habnabit has quit [Ping timeout: 264 seconds]
10:32
zpe has quit [Remote host closed the connection]
10:34
orbifx has joined #ocaml
10:37
ely-se has quit [Quit: leaving]
10:37
cschneid has joined #ocaml
10:43
cschneid has quit [Ping timeout: 260 seconds]
10:49
caml has joined #ocaml
10:51
<
caml >
I get this error when intalling "nocrypto" library:
10:51
<
caml >
# ./postconf: 16: ./postconf: function: not found
10:51
<
caml >
# E: Failure("Command './postconf' terminated with error code 1")
10:51
antkong has quit [Quit: antkong]
10:52
_habnabit has joined #ocaml
10:52
<
hannes >
caml: which version of nocrypto? which operating system are you on?
10:53
<
caml >
nocrypto 0.5.2 on ubuntu 14.04
10:53
<
caml >
OCaml version 4.01.0
10:56
<
hannes >
it seems that postconf, a shell script in there, assumes /bin/sh to be a bash :/
10:56
<
caml >
is there a quick fix so I can compile my code?
10:58
_habnabit has quit [Ping timeout: 260 seconds]
11:13
_habnabit has joined #ocaml
11:15
rand has joined #ocaml
11:32
Sorella has joined #ocaml
11:34
Kakadu has joined #ocaml
11:39
ely-se has joined #ocaml
11:41
lukky513 has joined #ocaml
11:42
Simn has quit [Read error: Network is unreachable]
11:42
Simn has joined #ocaml
11:42
ely-se has quit [Client Quit]
11:47
ely-se has joined #ocaml
11:55
<
orbifx >
hannes: `/usr/bin/env bash` instead?
11:57
<
hannes >
orbifx: not found.. why should anyone require a bash on a unix, if it is easily doable in sh?
11:58
<
orbifx >
they shouldn't if sh can do it no
11:58
<
orbifx >
although on the other hand the developer might enjoy scripting on bash more
11:58
<
orbifx >
so long the target system isn't too minimal
12:00
<
orbifx >
anyway the point is that I've found that `#!/usr/bin/env xxx` for running an interpreter is more portable
12:00
<
hannes >
for an interpreter, such as python or perl, i agree. for shell scripts i really dislike to depend on bash
12:01
<
hannes >
(and i'm in contact with nocrypto-upstream author who merged this exact patch alredy ;)
12:07
raphaelss has quit [Ping timeout: 260 seconds]
12:08
raphaelss has joined #ocaml
12:11
ely-se has quit [Quit: leaving]
12:24
ontologiae_ has joined #ocaml
12:29
ontologiae_ has quit [Ping timeout: 260 seconds]
12:32
JacobEdelman has joined #ocaml
12:38
mort___ has quit [Quit: Leaving.]
12:49
ely-se has joined #ocaml
12:56
zpe has joined #ocaml
13:02
freehck has joined #ocaml
13:06
<
Leonidas >
i write my shell scripts in ZSH :p
13:06
<
Leonidas >
so I can reach maximum unportability
13:17
Simn has quit [Read error: Network is unreachable]
13:18
Simn has joined #ocaml
13:19
<
edwin >
there is a checkbashisms tool on debian
13:19
<
ely-se >
Leonidas: I use PowerShell for that
13:21
raphaelss has quit [Ping timeout: 260 seconds]
13:21
d0nn1e has quit [Ping timeout: 260 seconds]
13:23
<
Leonidas >
ely-se: PowerShell on Mono using Mono-only APIs, that would be a great idea :)
13:24
d0nn1e has joined #ocaml
13:29
zpe has quit [Read error: Connection reset by peer]
13:32
tftio has joined #ocaml
13:35
sizur has quit [Quit: WeeChat 1.3]
13:39
JacobEdelman has quit [Ping timeout: 264 seconds]
13:39
infinity0 has quit [Ping timeout: 246 seconds]
13:41
l1x has quit [Read error: Network is unreachable]
13:42
JacobEdelman has joined #ocaml
13:42
pierpa` is now known as pierpa
13:42
l1x has joined #ocaml
13:43
Simn has quit [Read error: Network is unreachable]
13:44
Simn has joined #ocaml
13:47
igoroliveira has joined #ocaml
13:50
Anarchos has joined #ocaml
14:05
Sim_n has joined #ocaml
14:07
ontologiae_ has joined #ocaml
14:09
Simn has quit [Ping timeout: 264 seconds]
14:11
fedjo has joined #ocaml
14:12
struk|desk has joined #ocaml
14:12
Sim_n has quit [Read error: Network is unreachable]
14:13
Sim_n has joined #ocaml
14:13
BitPuffin has joined #ocaml
14:16
dsheets has joined #ocaml
14:19
mort___ has joined #ocaml
14:21
simn__ has joined #ocaml
14:22
sigjuice has joined #ocaml
14:23
ivan\_ has joined #ocaml
14:23
fedjo has quit [Ping timeout: 246 seconds]
14:23
ivan\ has quit [Ping timeout: 246 seconds]
14:23
fedjo has joined #ocaml
14:24
Sim_n has quit [Ping timeout: 264 seconds]
14:25
ivan\_ is now known as ivan\
14:26
jeroud has quit [Ping timeout: 245 seconds]
14:26
bobpoekert has quit [Ping timeout: 245 seconds]
14:27
l1x has quit [Ping timeout: 245 seconds]
14:28
Sim_n has joined #ocaml
14:31
jeroud has joined #ocaml
14:31
cody` has quit [Quit: Connection closed for inactivity]
14:31
fedjo has quit [Read error: Connection reset by peer]
14:31
simn__ has quit [Ping timeout: 264 seconds]
14:32
fedjo has joined #ocaml
14:36
flux has quit [Remote host closed the connection]
14:42
badon_ has joined #ocaml
14:42
badon has quit [Disconnected by services]
14:42
badon_ is now known as badon
14:43
flux has joined #ocaml
14:43
mietek has quit [Excess Flood]
14:43
mietek has joined #ocaml
14:44
Sorella has quit [Quit: Connection closed for inactivity]
14:49
cojy has quit [Read error: Connection reset by peer]
14:49
cojy has joined #ocaml
14:53
bobpoekert has joined #ocaml
14:54
yegods has joined #ocaml
14:55
dsheets has quit [Ping timeout: 245 seconds]
14:56
martintrojer has quit [Ping timeout: 245 seconds]
14:58
yegods has quit [Remote host closed the connection]
14:58
martintrojer has joined #ocaml
14:59
dsheets has joined #ocaml
14:59
tennix has quit [Ping timeout: 246 seconds]
15:00
l1x has joined #ocaml
15:00
yegods has joined #ocaml
15:08
antkong has joined #ocaml
15:11
yegods has quit [Remote host closed the connection]
15:12
Sim_n is now known as Simn
15:13
infinity0 has joined #ocaml
15:15
yegods has joined #ocaml
15:18
ncthom91 has joined #ocaml
15:19
tane has joined #ocaml
15:21
accname has joined #ocaml
15:22
ncthom91 has quit [Client Quit]
15:23
zpe has joined #ocaml
15:23
<
accname >
Is there a module which prints binary trees to the console? I have a string as input
15:23
<
accname >
or asking another way how can I print a nice looking binary tree to the console
15:24
lolisa has quit [Quit: meow]
15:24
yegods has quit [Remote host closed the connection]
15:25
<
companion_cube >
if you only have a string, that's going to be tough
15:25
<
companion_cube >
but for pretty printing you can try Format
15:27
<
accname >
ups sorry that wasn't correct. the string itself is pretty printed. I have the underlaying binary structure
15:27
yegods has joined #ocaml
15:27
zpe has quit [Ping timeout: 256 seconds]
15:28
jonh has quit [Ping timeout: 264 seconds]
15:29
jonh has joined #ocaml
15:31
<
companion_cube >
well, I don't have anything in mind for really nice printing of trees
15:31
<
Drup >
companion_cube: don't you have your lambda-term printer ?
15:31
<
Drup >
hum no, not lambda-term
15:31
<
companion_cube >
the Printbox thing? yeah
15:31
<
Drup >
yeah, printbox
15:31
<
Drup >
it prints tree, doesn't it ?
15:32
yegods has quit [Ping timeout: 272 seconds]
15:33
ncthom91 has joined #ocaml
15:34
<
accname >
thank you. I will look at them. the lambda.ml look promising
15:40
<
companion_cube >
Drup: isn't your tree_layout ready?
15:41
<
companion_cube >
but it's more Format oriented apparently
15:42
<
Drup >
companion_cube: it's ready, but it's not for pretty printing
15:42
<
companion_cube >
oh.
15:42
<
Drup >
it's for layout
15:42
<
companion_cube >
oh right, it finds positions
15:42
<
companion_cube >
sad
15:43
<
Drup >
I have a plan to implement an algorithm to have decent console layout for some trees
15:43
<
Drup >
but it's not done yet
15:44
sepp2k has quit [Quit: Leaving.]
15:45
Anarchos has quit [Quit: Page closed]
15:50
exm has joined #ocaml
15:51
tennix has joined #ocaml
15:51
<
exm >
Quick question: I need a 16-bit number to do bitwise arithmetic on. Is there a builtin type for that, or a recommended way to do it? I could just mask off the higher order bytes, but that doesn't feel as clean
15:53
<
Drup >
if you want compact storage of many int16, Bigarray is your friend
15:53
zpe has joined #ocaml
15:56
<
exm >
Doesn't look like bigarray exposes bit shifting operations on those types? (I'm pretty new to OCaml, so I'm not sure I'm reading the docs right)
15:56
<
Drup >
Bigarray is just storage
15:56
<
Drup >
you manipulate them as ints
15:57
<
exm >
That's what I thought, okay
15:57
slash^ has joined #ocaml
16:02
cody` has joined #ocaml
16:02
ely-se has quit [Quit: leaving]
16:04
zpe has quit [Remote host closed the connection]
16:08
<
ggole >
What a silly type error.
16:09
<
thizanne >
oh, thanks
16:09
<
Drup >
eh, polymorphic methods :|
16:09
<
thizanne >
... that probably makes my code unusable, but I got what I deserved for trying gadts :)
16:10
<
Drup >
thizanne: for trying objects, actually
16:11
<
thizanne >
the same object with a non-gadt has no problem
16:12
agumonkey has quit [Read error: No route to host]
16:12
<
Drup >
the same functions with no objects has no problem :D
16:12
agumonkey has joined #ocaml
16:12
<
Enjolras >
which type error ?
16:13
<
Enjolras >
ah i see
16:13
<
thizanne >
but the same function with no object does not allow me to redefine only part of f, Drup
16:14
<
thizanne >
(I could have used record like in Ast_mapper)
16:14
<
ggole >
How does it make the code unusable? Is there an obstacle that the example doesn't capture?
16:16
<
thizanne >
actually no
16:16
<
thizanne >
but I guess that means that, if I want to refine f in some object inheriting x, I would need to add the same kind of annotation
16:17
<
thizanne >
(unusable was exagerating, and I won't need to extend this particular method anyway)
16:19
<
ggole >
Right. Well, you're not unlikely to run into fun with types by mixing objects and GADTs anyway.
16:22
Simn has quit [Read error: Network is unreachable]
16:22
Simn has joined #ocaml
16:24
Mercuria1Alchemi has joined #ocaml
16:28
tane has quit [Ping timeout: 272 seconds]
16:29
<
mehdi___ >
thizanne: (self#int Int : int t)
16:30
<
mehdi___ >
I ran into the same issue a few months ago, having to add an obvious type annotation
16:37
yegods has joined #ocaml
16:38
accname has quit [Ping timeout: 240 seconds]
16:40
tane has joined #ocaml
16:41
orbifx has quit [Quit: WeeChat 1.3]
16:46
Guest83716 has quit [Ping timeout: 260 seconds]
16:49
trix has joined #ocaml
16:50
trix is now known as Guest3094
16:54
accname has joined #ocaml
16:59
tennix has quit [Ping timeout: 272 seconds]
17:00
mort___ has quit [Ping timeout: 260 seconds]
17:09
dsheets has quit [Ping timeout: 240 seconds]
17:13
govg has joined #ocaml
17:26
antkong has quit [Quit: antkong]
17:34
jwatzman|work has joined #ocaml
17:36
clockish has quit [Ping timeout: 260 seconds]
17:38
dsheets has joined #ocaml
17:39
clockish has joined #ocaml
17:40
^elyse^ has joined #ocaml
17:42
jeffmo has joined #ocaml
17:48
jonludlam has quit [Quit: Leaving]
17:49
ontologiae_ has quit [Ping timeout: 260 seconds]
17:49
kolko has quit [Ping timeout: 246 seconds]
17:50
kolko has joined #ocaml
17:57
jeffmo_ has joined #ocaml
17:59
jeffmo has quit [Ping timeout: 250 seconds]
17:59
jeffmo_ is now known as jeffmo
18:01
nojb has quit [Quit: nojb]
18:02
nojb has joined #ocaml
18:04
supercircle4 has joined #ocaml
18:09
supercircle4 has quit [Ping timeout: 240 seconds]
18:11
nullcatxxx_ has joined #ocaml
18:11
kolko has quit [Ping timeout: 272 seconds]
18:14
rand has quit [Ping timeout: 246 seconds]
18:16
sz0 has joined #ocaml
18:17
supercircle4 has joined #ocaml
18:18
exm has left #ocaml [#ocaml]
18:19
accname has quit [Quit: Leaving]
18:20
supercircle4 has quit [Client Quit]
18:25
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
18:27
cyraxjoe_ has joined #ocaml
18:27
cyraxjoe has quit [Ping timeout: 246 seconds]
18:30
yegods has quit [Remote host closed the connection]
18:33
ia0 has joined #ocaml
18:33
Haudegen has quit [Ping timeout: 260 seconds]
18:33
ygrek_ has joined #ocaml
18:41
ncthom91 has joined #ocaml
18:43
ncthom91 has quit [Client Quit]
18:45
rand has joined #ocaml
18:46
caml has quit [Ping timeout: 252 seconds]
18:46
Haudegen has joined #ocaml
18:48
supercircle4 has joined #ocaml
18:48
pierpa has quit [Read error: Connection reset by peer]
18:54
pierpa has joined #ocaml
18:57
ygrek_ has quit [Ping timeout: 240 seconds]
19:04
jwatzman|work has quit [Quit: jwatzman|work]
19:04
darkf has quit [Quit: Leaving]
19:05
^elyse^ has quit [Quit: Leaving]
19:13
jwatzman|work has joined #ocaml
19:16
Kakadu_ has joined #ocaml
19:19
systmkor has quit [Ping timeout: 246 seconds]
19:23
yegods has joined #ocaml
19:24
lolisa has joined #ocaml
19:27
ygrek_ has joined #ocaml
19:27
nojb has quit [Quit: nojb]
19:28
nojb has joined #ocaml
19:28
dsheets has quit [Ping timeout: 256 seconds]
19:31
nojb has quit [Client Quit]
19:31
nojb has joined #ocaml
19:34
systmkor has joined #ocaml
19:36
nojb1 has joined #ocaml
19:37
nojb has quit [Ping timeout: 240 seconds]
19:37
nojb1 is now known as nojb
19:38
malc_ has joined #ocaml
19:39
nojb has quit [Client Quit]
19:39
nojb has joined #ocaml
19:40
agumonkey has joined #ocaml
19:42
nojb has quit [Client Quit]
19:43
nojb has joined #ocaml
19:45
ontologiae_ has joined #ocaml
19:46
nojb has quit [Client Quit]
19:46
nojb has joined #ocaml
19:46
lolisa has quit [Ping timeout: 272 seconds]
19:49
nojb has quit [Client Quit]
19:50
nojb has joined #ocaml
19:51
ontologiae_ has quit [Ping timeout: 272 seconds]
19:53
nojb has quit [Client Quit]
19:53
nojb has joined #ocaml
19:56
nojb has quit [Client Quit]
19:56
nojb has joined #ocaml
19:57
supercircle4 has quit [Quit: Sleep]
19:58
igoroliveira has quit [Quit: Connection closed for inactivity]
20:00
nojb has quit [Client Quit]
20:00
nojb has joined #ocaml
20:01
cody` has quit [Quit: Connection closed for inactivity]
20:02
supercircle4 has joined #ocaml
20:03
supercircle4 has quit [Max SendQ exceeded]
20:03
nojb has quit [Client Quit]
20:03
nojb has joined #ocaml
20:03
supercircle4 has joined #ocaml
20:06
rand has quit [Ping timeout: 272 seconds]
20:07
nojb has quit [Client Quit]
20:07
nojb has joined #ocaml
20:08
octachron has quit [Quit: Leaving]
20:10
nojb has quit [Client Quit]
20:12
nojb has joined #ocaml
20:14
nojb has quit [Client Quit]
20:17
nojb has joined #ocaml
20:18
slash^ has quit [Read error: Connection reset by peer]
20:18
linse has joined #ocaml
20:20
nojb has quit [Client Quit]
20:21
nojb has joined #ocaml
20:21
Anarchos has joined #ocaml
20:21
<
linse >
hi, I’m trying to build my own modified version of pfff with the pinning command
20:22
<
linse >
and get an error that some patches did not apply
20:22
<
linse >
any help on how to debug this is greatly appreciated :)
20:22
<
companion_cube >
did you pin a git repository?
20:23
<
linse >
I pinned it to my local cloned version of the pfff repository
20:23
<
linse >
opam pin add pfff /home/sschirmer/cloned/pfff.master
20:23
<
linse >
and then it prompted me to rebuild, I said yes
20:23
<
companion_cube >
I usually use -k git
20:24
<
companion_cube >
but I'm not sure it changes anything
20:24
nojb has quit [Client Quit]
20:24
<
linse >
ah, I could try that, companion_cube
20:24
nojb has joined #ocaml
20:27
nojb has quit [Client Quit]
20:28
nojb has joined #ocaml
20:28
mort___ has joined #ocaml
20:29
rand has joined #ocaml
20:31
nojb has quit [Client Quit]
20:31
nojb has joined #ocaml
20:34
BitPuffin has quit [Ping timeout: 245 seconds]
20:35
nojb has quit [Client Quit]
20:36
nojb has joined #ocaml
20:37
jonludlam has joined #ocaml
20:39
nojb has quit [Client Quit]
20:39
nojb has joined #ocaml
20:40
supercircle4 has quit [Quit: Sleep]
20:42
nojb has quit [Client Quit]
20:43
nojb has joined #ocaml
20:46
nojb has quit [Client Quit]
20:46
nojb has joined #ocaml
20:48
supercircle4 has joined #ocaml
20:49
nojb has quit [Client Quit]
20:50
nojb has joined #ocaml
20:53
nojb has quit [Client Quit]
20:53
nojb has joined #ocaml
20:54
linse_ has joined #ocaml
20:55
linse has quit [Ping timeout: 245 seconds]
20:55
linse_ is now known as linse
20:56
nojb has quit [Client Quit]
20:59
larhat1 has joined #ocaml
21:00
raphaelss has joined #ocaml
21:00
nojb has joined #ocaml
21:02
theblatte has joined #ocaml
21:03
nojb has quit [Client Quit]
21:05
nojb has joined #ocaml
21:05
lostman has joined #ocaml
21:06
<
solrize >
is there some interesting ocaml code around to hack on? i.e. FOSS project with some well-defined pending tasks
21:07
<
companion_cube >
lots, depends on your interest
21:07
nojb has quit [Client Quit]
21:07
nojb has joined #ocaml
21:07
<
solrize >
i don't know the language at all but have been using haskell for a while, so looking for a good way to give ocaml a try
21:08
<
companion_cube >
oh, you might want to start with a book or course — just an advice
21:08
<
companion_cube >
OCaml is not exactly the same as Haskell
21:09
supercircle4 has quit [Quit: Sleep]
21:09
<
solrize >
yeah that's reasonable, i have links to a few books, it looks pretty straightforward
21:09
<
solrize >
mirage is the ocaml running directly on xen?
21:09
<
companion_cube >
ocaml.org has many references if you need
21:09
<
companion_cube >
yes
21:09
<
Drup >
the code in mirage is going to shock you, as an haskeller :)
21:10
<
solrize >
drup uh oh :)
21:10
<
companion_cube >
well it's parametric on the platform (xen, unix...)
21:10
<
solrize >
there is something like that for haskell (halvm.org) and erlang (erlangonxen.org) iirc
21:10
nojb has quit [Client Quit]
21:10
nojb has joined #ocaml
21:10
<
Drup >
solrize: what kind of things are you interested in, exactly ?
21:11
<
solrize >
i'm looking at the ssl stack in the mirage project
21:11
<
solrize >
i'm into crypto
21:11
<
solrize >
so that could be good
21:11
<
companion_cube >
oh, interesting
21:11
supercircle4 has joined #ocaml
21:13
<
solrize >
oh yeah, there are several things here that look good
21:13
<
companion_cube >
nocrypto, I guess, and ocaml-tls
21:14
nojb1 has joined #ocaml
21:14
<
Drup >
I'm not sure the code is accessible to beginners, but yes, those are the two relevant libs
21:14
<
Drup >
(the author, hannes, hangs around)
21:15
<
solrize >
sounds ok... i've looked at the haskell and erlang tls implementations
21:15
<
solrize >
there's also an ssh server in erlang
21:16
<
solrize >
what do you mean by it's parametrized on the platform?
21:17
nojb has quit [Ping timeout: 240 seconds]
21:17
nojb1 has quit [Client Quit]
21:17
nojb has joined #ocaml
21:17
<
Drup >
solrize: first, read up on functors
21:17
<
solrize >
sorry it was companion_cube who said that
21:19
supercircle4 has quit [Quit: Sleep]
21:20
<
edwin >
do you know elliptic curve crypto? not sure whats the status of elliptic-curve crypto in ocaml-tls, but that would be an interesting addition (there's some lib on github implementing primitives)
21:20
freehck has quit [Remote host closed the connection]
21:20
<
solrize >
yeah, i did some hacking on the golang ecc stuff
21:20
malc_ has quit [Quit: Lost terminal]
21:21
nojb has quit [Client Quit]
21:21
<
solrize >
it's like bignum arithmetic though, very hard to write fast code in high level languages
21:21
<
solrize >
golang's is like 20x slower than openssl's :(
21:22
<
edwin >
the low-level crypto primitives in nocrypto are in C
21:22
<
companion_cube >
in OCaml there is a nice binding to GMP, but there must still be some slowdown, I think
21:22
supercircle4 has joined #ocaml
21:22
nojb has joined #ocaml
21:23
<
Drup >
companion_cube: actually, zarith is faster than normal gmp usage in a rather number of applications :]
21:24
<
zozozo >
Drup: any idea why ?
21:24
<
companion_cube >
oh, for small ints
21:24
nojb has quit [Client Quit]
21:24
<
Drup >
yes, small ints are normal ints
21:24
<
companion_cube >
but otoh you don't control allocations, do you?
21:24
<
Drup >
and it doesn't have extra boxing
21:24
<
Drup >
(it uses the int bit to know if it's an integer or a gmp integer)
21:25
<
Drup >
(yes, It was implemented by XL, don't ask)
21:25
<
solrize >
mirage looks really nice, is the idea to have a complete multiprocessing VM in it and have that be able to run under unix?
21:25
<
companion_cube >
monoprocessing*
21:26
<
companion_cube >
it's a unikernel, so you build the full application in one process, low level bricks
21:26
<
companion_cube >
included
21:27
zpe has joined #ocaml
21:27
<
solrize >
what if the application has concurrent i/o or something where you'd naturally want multiple processes or threads?
21:27
<
Drup >
solrize: concurency is fine
21:27
<
Drup >
parallelism is not, for now
21:28
nojb has joined #ocaml
21:28
<
solrize >
ic. i remember there was a snag in implementing concurrency with async i/o in a single thread in linux
21:28
<
solrize >
which is there's no way to open files asynchronously
21:28
<
solrize >
so ghc and erlang both have a pool of threads doing that
21:28
<
Drup >
we said single process, nothing said anything about single thread :p
21:31
nojb has quit [Client Quit]
21:31
nojb has joined #ocaml
21:32
Anarchos has quit [Ping timeout: 272 seconds]
21:35
nojb has quit [Client Quit]
21:36
nojb has joined #ocaml
21:37
tane has quit [Quit: Verlassend]
21:38
tani has joined #ocaml
21:39
nojb has quit [Client Quit]
21:41
nojb has joined #ocaml
21:42
ollehar has joined #ocaml
21:42
tani has quit [Ping timeout: 240 seconds]
21:42
nojb has quit [Client Quit]
21:43
nojb has joined #ocaml
21:44
Mercuria1Alchemi has quit [Ping timeout: 272 seconds]
21:46
nojb has quit [Client Quit]
21:46
nojb has joined #ocaml
21:46
ontologiae_ has joined #ocaml
21:48
ollehar has quit [Ping timeout: 250 seconds]
21:49
ncthom91 has joined #ocaml
21:49
nojb has quit [Client Quit]
21:50
nojb has joined #ocaml
21:51
ontologiae_ has quit [Ping timeout: 272 seconds]
21:53
nojb has quit [Client Quit]
21:53
nojb has joined #ocaml
21:56
nojb has quit [Client Quit]
21:57
nojb has joined #ocaml
21:57
<
solrize >
sign at a town in california
22:01
nojb has quit [Ping timeout: 240 seconds]
22:02
nojb has joined #ocaml
22:03
nojb has quit [Client Quit]
22:03
nojb has joined #ocaml
22:06
ygrek_ has quit [Ping timeout: 272 seconds]
22:07
nojb has quit [Client Quit]
22:07
nojb has joined #ocaml
22:10
infinity0 has quit [Remote host closed the connection]
22:10
nojb has quit [Client Quit]
22:10
infinity0 has joined #ocaml
22:11
nojb has joined #ocaml
22:11
^elyse^ has joined #ocaml
22:14
nojb has quit [Client Quit]
22:14
nojb has joined #ocaml
22:16
zpe has quit [Remote host closed the connection]
22:17
rand has quit [Quit: leaving]
22:17
nojb1 has joined #ocaml
22:18
nojb has quit [Ping timeout: 240 seconds]
22:18
nojb1 is now known as nojb
22:20
<
solrize >
Drup, what about threads for parallelism ?
22:21
nojb has quit [Client Quit]
22:21
nojb has joined #ocaml
22:21
<
Drup >
nope, OCaml as a GIL
22:21
<
Drup >
(because of the GC)
22:22
<
Drup >
there is wip to lift that, but it's wip
22:22
ldopa has joined #ocaml
22:23
c-c has joined #ocaml
22:23
<
c-c >
Hi! What do #ocaml think about rust?
22:23
<
Drup >
It's a very cool low level language
22:24
nojb1 has joined #ocaml
22:24
JacobEdelman has quit []
22:24
<
companion_cube >
it's a nice attempt at making a OCaml-like without GC ;)
22:25
nojb has quit [Ping timeout: 240 seconds]
22:25
nojb1 is now known as nojb
22:26
<
c-c >
Drup cool as in "superficially trendy" or "I like it"?
22:26
nullcatxxx_ has quit [Read error: Connection reset by peer]
22:27
JacobEdelman has joined #ocaml
22:27
nojb has quit [Client Quit]
22:28
nojb has joined #ocaml
22:28
nullcatxxx_ has joined #ocaml
22:28
<
c-c >
companion_cube: so do you think its just an attempt?
22:29
^elyse^ has quit [Quit: Leaving]
22:29
<
companion_cube >
no, I think it's great, I hope it becomes popular
22:31
nojb has quit [Client Quit]
22:32
nojb has joined #ocaml
22:32
<
c-c >
I wonder if I should do it or ocaml
22:32
antkong has joined #ocaml
22:34
<
Drup >
c-c: depends, what do you want to do ?
22:35
nojb has quit [Client Quit]
22:35
<
c-c >
IO loop, multiuser server, gui...
22:36
nojb has joined #ocaml
22:36
<
c-c >
maybe also just shell-ui (but fast)
22:37
<
Algebr >
what is shell-ui? Terminal based applications?
22:37
<
Drup >
we have rather good libraries for that in OCaml already
22:37
ygrek_ has joined #ocaml
22:37
<
c-c >
Algebr: ever play nethack or dwarf fortress?
22:37
mac10688 has joined #ocaml
22:38
<
Algebr >
long time ago lol
22:38
<
Algebr >
you could do it with lambda-term, an OCaml pacakge. I did a little game style thing with lambda-term as well
22:39
nojb has quit [Client Quit]
22:39
nojb has joined #ocaml
22:39
<
Drup >
yeah, lambda-term is perfect for this kind of thing
22:40
<
c-c >
I have some perverted ideas about rendering graphics/3D with text based console
22:40
<
c-c >
its been done in demos, but I don't think in games
22:41
<
Algebr >
is this like the 3d cheat that the sega saturn did
22:41
<
Drup >
that's a very large console.
22:42
<
Drup >
(or a very tiny font)
22:42
<
Drup >
I don't think it works that well in a real console
22:42
nojb has quit [Client Quit]
22:43
nojb has joined #ocaml
22:43
<
c-c >
I was thinking the resolution (and potentially limited refresh rate) would be gameplay elements
22:44
yegods has quit [Remote host closed the connection]
22:45
<
c-c >
I cannot find a link to real code of "ascii 3d renderer" but they exist
22:46
yegods has joined #ocaml
22:46
nojb has quit [Client Quit]
22:46
<
Algebr >
I'm not sure if trying to do this and learn a new language is the best idea....methinks its better to do somethign easier but still chewy.
22:46
nojb has joined #ocaml
22:48
<
c-c >
I know some ocaml
22:49
<
c-c >
making any kind of game is always somehwat monumental effort
22:49
BitPuffin|osx has joined #ocaml
22:49
<
c-c >
rust has glium going for it... great opengl lib
22:49
<
c-c >
but then I'm not user if want opengl or
22:49
nojb has quit [Client Quit]
22:50
nojb has joined #ocaml
22:51
ollehar has joined #ocaml
22:53
nojb has quit [Client Quit]
22:53
nojb has joined #ocaml
22:53
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
22:56
nojb has quit [Client Quit]
22:57
nojb has joined #ocaml
23:00
nojb1 has joined #ocaml
23:01
nojb has quit [Ping timeout: 240 seconds]
23:01
nojb1 is now known as nojb
23:02
<
c-c >
Algebr: are you saying that I should do something simple, or "use ocaml" or "use rust"? :)
23:02
<
c-c >
oh well, must be the first one!
23:04
nojb1 has joined #ocaml
23:05
nojb has quit [Ping timeout: 250 seconds]
23:05
nojb1 is now known as nojb
23:05
<
Algebr >
do something achievable and in OCaml
23:07
nojb has quit [Client Quit]
23:08
<
c-c >
lambda-terms idea seems great
23:09
damason has joined #ocaml
23:10
<
c-c >
ok, thanks for the input Algebr :)=
23:10
nojb has joined #ocaml
23:13
sh0t has joined #ocaml
23:14
nojb has quit [Client Quit]
23:14
nojb has joined #ocaml
23:17
nojb has quit [Client Quit]
23:17
nojb has joined #ocaml
23:19
ncthom91 has joined #ocaml
23:20
ncthom91 has quit [Client Quit]
23:21
nojb has quit [Client Quit]
23:21
nojb has joined #ocaml
23:24
nojb has quit [Client Quit]
23:26
nojb has joined #ocaml
23:27
dmiller has joined #ocaml
23:27
<
linse >
Hey, I still have a problem with my pinned version of pfff
23:27
<
Algebr >
what is the problem
23:27
nojb has quit [Client Quit]
23:28
<
linse >
I used the github version, pinned it, and when I install it I get two patches that fail to apply
23:28
<
linse >
when I just run make instead of pinning it, it works fine
23:28
<
linse >
These patches didn't apply at /home/sschirmer/.opam/4.02.0/build/pfff.0.29:
23:28
<
linse >
- lang_js-analyze-utils_js.mli.patch
23:28
<
linse >
- lang_js-analyze-module_js.ml-Fix-invalid-documentati.patch
23:29
<
linse >
Where do the patches come from?
23:30
<
linse >
I just path pinned it to a fresh git clone of the facebook repo
23:31
nojb has joined #ocaml
23:32
<
Drup >
they are in opam
23:32
<
Drup >
do "opam pin edit pfff" and remove the two lines about the patches
23:33
<
Algebr >
linse: the usual dance worked for me ./configure; make depend; make; make install
23:34
<
linse >
yes, configure and make etc work for me too
23:34
cyraxjoe_ is now known as cyraxjoe
23:34
<
linse >
ah but I see now I can delete the patches via opam pin edit
23:34
<
linse >
thanks Drup!
23:34
sh0t has quit [Ping timeout: 250 seconds]
23:35
Kakadu_ has quit [Remote host closed the connection]
23:35
nojb has quit [Client Quit]
23:36
<
Algebr >
I wonder, can pfff do anythign with llvm Ir
23:36
nojb has joined #ocaml
23:36
<
Drup >
isn't pfff source level ?
23:36
<
Algebr >
yes, but don't you count llvm lr as source?
23:37
<
Drup >
not really, no
23:37
<
Algebr >
I would think it sort of is
23:37
ncthom91 has joined #ocaml
23:38
<
Drup >
It's kind of in the name
23:38
<
Drup >
an IR is not a source language
23:38
<
linse >
Yay it totally worked Drup!
23:38
<
Drup >
linse: cool :)
23:39
nojb has quit [Client Quit]
23:39
nojb has joined #ocaml
23:40
ncthom91 has quit [Client Quit]
23:41
ollehar has quit [Quit: ollehar]
23:42
nojb has quit [Client Quit]
23:43
nojb has joined #ocaml
23:46
malc_ has joined #ocaml
23:48
nojb1 has joined #ocaml
23:49
nojb has quit [Ping timeout: 240 seconds]
23:49
ncthom91 has joined #ocaml
23:49
nojb1 has quit [Client Quit]
23:50
nojb has joined #ocaml
23:51
lostman has quit [Quit: Connection closed for inactivity]
23:52
supercircle4 has quit [Quit: Sleep]
23:53
nojb has quit [Client Quit]
23:53
nojb has joined #ocaml
23:55
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
23:56
nojb has quit [Client Quit]
23:57
mcmillhj_ has joined #ocaml
23:57
nojb has joined #ocaml
23:58
cody` has joined #ocaml
23:59
ldopa has quit [Ping timeout: 272 seconds]