00:02
Neros has quit [Remote host closed the connection]
00:05
emmanuelux has quit [Remote host closed the connection]
00:08
maufred has quit [Ping timeout: 268 seconds]
00:09
lolcathost has left #ocaml []
00:20
maufred has joined #ocaml
00:25
lolcathost has joined #ocaml
00:30
pkrnjevi_ has joined #ocaml
00:30
pkrnjevi_ is now known as pkrnj
00:51
justdit has joined #ocaml
00:53
tac has joined #ocaml
01:09
tac has quit [Quit: Page closed]
01:12
<
_habnabit >
argghhhhh
01:12
<
_habnabit >
apparently Enum.peek followed by Enum.hard_count raises Invalid_argument("equal: functional value")
01:14
<
_habnabit >
... huh, and I get the same thing with Enum.get and Enum.hard_count
01:16
TechCel has joined #ocaml
01:17
<
_habnabit >
and i get the same thing with Enum.count?? i give up
01:18
madroach has quit [Ping timeout: 244 seconds]
01:20
madroach has joined #ocaml
01:34
ccasin has left #ocaml []
01:35
ccasin has joined #ocaml
02:09
gustav__ has quit [Read error: Connection reset by peer]
02:16
lolcathost has quit [Ping timeout: 264 seconds]
02:27
TechCel has quit [Ping timeout: 246 seconds]
02:38
justdit has quit [Ping timeout: 260 seconds]
02:45
justdit has joined #ocaml
02:49
astertronistic has joined #ocaml
02:53
scroy has joined #ocaml
03:00
walter has quit [Ping timeout: 240 seconds]
03:01
matthieu has joined #ocaml
03:15
Yoric has joined #ocaml
03:15
walter has joined #ocaml
03:25
tautologico has quit [Quit: tautologico]
03:26
tac has joined #ocaml
03:54
jamii has joined #ocaml
03:59
Yoric has quit [Ping timeout: 252 seconds]
04:04
lolcathost has joined #ocaml
04:27
jamii has quit [Ping timeout: 246 seconds]
04:28
mjonsson has quit [Ping timeout: 268 seconds]
04:47
larhat has quit [Quit: Leaving.]
04:47
larhat has joined #ocaml
04:49
larhat has quit [Client Quit]
04:57
lolcathost has quit [Ping timeout: 255 seconds]
05:14
matthieu has quit [Ping timeout: 246 seconds]
05:27
tac has quit [Quit: Page closed]
05:30
ankit9 has joined #ocaml
05:37
answer_42 has joined #ocaml
05:38
ankit9 has quit [Ping timeout: 260 seconds]
05:53
lolcathost has joined #ocaml
06:01
lolcathost has quit [Ping timeout: 255 seconds]
06:02
lolcathost has joined #ocaml
06:03
lolcathost has quit [Client Quit]
06:06
larhat has joined #ocaml
06:08
lolcathost has joined #ocaml
06:09
larhat has quit [Client Quit]
06:11
larhat has joined #ocaml
06:14
pango is now known as pangoafk
06:15
Yoric has joined #ocaml
06:19
larhat has quit [Quit: Leaving.]
06:26
larhat has joined #ocaml
06:28
lolcathost has quit [Ping timeout: 255 seconds]
06:30
lolcathost has joined #ocaml
06:32
hkBst has joined #ocaml
06:32
hkBst has quit [Changing host]
06:32
hkBst has joined #ocaml
06:38
ontologiae has quit [Ping timeout: 252 seconds]
06:39
lolcathost has quit [Quit: leaving]
06:40
lolcathost has joined #ocaml
06:42
mye has joined #ocaml
06:45
larhat has quit [Quit: Leaving.]
06:47
larhat has joined #ocaml
06:57
djcoin has joined #ocaml
06:57
thomasga has joined #ocaml
07:06
thomasga has quit [Read error: Connection reset by peer]
07:06
thomasga1 has joined #ocaml
07:14
ftrvxmtrx has joined #ocaml
07:18
cago has joined #ocaml
07:26
Cyanure has joined #ocaml
07:26
ocp has joined #ocaml
07:26
lolcathost has quit [Ping timeout: 240 seconds]
07:27
ankit9 has joined #ocaml
07:29
lolcathost has joined #ocaml
07:31
andreypopp has joined #ocaml
07:42
cdidd has quit [Ping timeout: 240 seconds]
07:46
Snark has joined #ocaml
07:56
BiDOrD has joined #ocaml
07:56
BiDOrD_ has quit [Read error: Connection reset by peer]
07:57
ontologiae has joined #ocaml
07:58
cdidd has joined #ocaml
08:06
andreypopp has quit [Quit: sleep]
08:14
andreypopp has joined #ocaml
08:18
astertronistic has quit [Ping timeout: 268 seconds]
08:19
andreypopp has quit [Quit: sleep]
08:20
eikke has joined #ocaml
08:24
Kakadu has joined #ocaml
08:37
scroy has quit [Read error: Connection reset by peer]
08:44
TechCel has joined #ocaml
08:46
BiDOrD_ has joined #ocaml
08:49
BiDOrD has quit [Ping timeout: 255 seconds]
08:49
ankit9 has quit [Ping timeout: 246 seconds]
08:57
mcclurmc_away is now known as mcclurmc
09:01
cdidd has quit [Remote host closed the connection]
09:01
_andre has joined #ocaml
09:05
ankit9 has joined #ocaml
09:19
<
pippijn >
are anti-quotations not supported in camlp4o? it works with camlp4of
09:19
lolcathost has quit [Ping timeout: 246 seconds]
09:19
mye_ has joined #ocaml
09:20
lolcathost has joined #ocaml
09:21
mye has quit [Ping timeout: 240 seconds]
09:21
mye_ is now known as mye
09:23
<
Kakadu >
hey. I want to receive ("asdf","1 2 3") from line "asdf: 1 2 3"
09:23
<
Kakadu >
and scanf is not very trivial for me
09:25
<
pippijn >
Kakadu: BatString.split
09:27
<
rixed >
Scanf.sscanf "asdf: 1 2 3" "%s@: %[0-9 ]" (fun a b -> a,b);; ?
09:31
<
Kakadu >
rixed: It's OK, but what about a little bit more complex?
09:31
<
Kakadu >
# Scanf.sscanf "asfdasd: uuu vvv ooo" "%s@: %['a'-'z' ' ']" (fun s d -> [s;d]);;
09:31
<
Kakadu >
- : string list = ["asfdasd"; ""]
09:33
<
Kakadu >
"%s@: %[a-z ]" works
09:33
<
Kakadu >
rixed: many thanks
09:34
TechCel has quit [Ping timeout: 276 seconds]
09:36
lolcathost has quit [Quit: leaving]
09:36
lolcathost has joined #ocaml
09:50
justdit has quit [Quit: Lost terminal]
09:53
Kakadu has quit [Remote host closed the connection]
09:54
Kakadu has joined #ocaml
09:58
Kakadu has quit [Remote host closed the connection]
10:01
Kakadu has joined #ocaml
10:29
mye has quit [Quit: mye]
10:31
thomasga1 has quit [Quit: Leaving.]
10:51
avsm has joined #ocaml
10:58
mye has joined #ocaml
10:58
mye_ has joined #ocaml
10:59
avsm1 has joined #ocaml
11:02
avsm has quit [Ping timeout: 260 seconds]
11:02
mye has quit [Ping timeout: 240 seconds]
11:02
mye_ is now known as mye
11:22
answer_42 has quit [Ping timeout: 276 seconds]
11:26
hkBst has quit [Read error: Connection reset by peer]
11:26
hkBst has joined #ocaml
11:33
answer_42 has joined #ocaml
11:42
avsm1 has quit [Quit: Leaving.]
11:43
xavierm02 has joined #ocaml
11:45
Xizor has joined #ocaml
11:46
ppseafield has joined #ocaml
11:51
tane has joined #ocaml
12:00
sepp2k has joined #ocaml
12:09
chambart has joined #ocaml
12:13
avsm has joined #ocaml
12:20
avsm has quit [Ping timeout: 260 seconds]
12:24
ankit9 has quit [Ping timeout: 255 seconds]
12:32
gustav__ has joined #ocaml
12:33
beckerb has joined #ocaml
12:34
hkBst has quit [Read error: Connection reset by peer]
12:34
thomasga has joined #ocaml
12:35
hkBst has joined #ocaml
12:37
ankit9 has joined #ocaml
12:38
lolcathost has quit [Ping timeout: 252 seconds]
12:40
lolcathost has joined #ocaml
12:40
beckerb has quit [Read error: Connection timed out]
12:40
beckerb has joined #ocaml
12:41
hkBst has quit [Ping timeout: 246 seconds]
12:46
avsm has joined #ocaml
12:47
lolcathost has quit [Ping timeout: 240 seconds]
12:49
lolcathost has joined #ocaml
12:50
thomasga has quit [Quit: Leaving.]
12:53
avsm has quit [Ping timeout: 252 seconds]
12:54
lolcathost has quit [Ping timeout: 255 seconds]
13:13
avsm has joined #ocaml
13:16
eikke has quit [Read error: Connection reset by peer]
13:19
eikke has joined #ocaml
13:24
mye has quit [Ping timeout: 246 seconds]
13:32
ontologiae has quit [Read error: Connection reset by peer]
13:33
BiDOrD_ has quit [Read error: Connection reset by peer]
13:33
BiDOrD has joined #ocaml
13:36
ontologiae has joined #ocaml
13:37
ontologiae has quit [Read error: Connection reset by peer]
13:41
ontologiae has joined #ocaml
13:41
smondet has joined #ocaml
14:00
Kakadu has quit [Quit: Konversation terminated!]
14:01
letrec has joined #ocaml
14:08
avsm has quit [Quit: Leaving.]
14:08
avsm has joined #ocaml
14:10
travisbrady has joined #ocaml
14:10
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
14:14
ankit9 has quit [Quit: Leaving]
14:14
avsm1 has joined #ocaml
14:16
avsm has quit [Ping timeout: 240 seconds]
14:19
avsm has joined #ocaml
14:19
avsm1 has quit [Read error: Connection reset by peer]
14:27
bzzbzz has quit [Quit: leaving]
14:32
avsm has quit [Quit: Leaving.]
14:33
matthieu has joined #ocaml
14:40
astertronistic has joined #ocaml
14:40
cdidd has joined #ocaml
14:45
astertronistic has quit [Ping timeout: 268 seconds]
14:59
cago has left #ocaml []
15:02
avsm has joined #ocaml
15:03
matthieu has quit [Ping timeout: 246 seconds]
15:06
letrec has quit [Quit: Konversation terminated!]
15:07
Kakadu has joined #ocaml
15:21
ftrvxmtrx has quit [Quit: Leaving]
15:32
avsm has quit [Quit: Leaving.]
15:37
ocp has quit [Read error: Operation timed out]
15:42
tac has joined #ocaml
15:53
mcstar has joined #ocaml
16:02
avsm has joined #ocaml
16:11
avsm has quit [Ping timeout: 256 seconds]
16:21
eni has joined #ocaml
16:22
<
_habnabit >
eni, what? the '_a?
16:22
<
thelema >
eni: value restriction
16:22
<
eni >
the type of i changes
16:23
<
eni >
i was excpecting
16:23
<
eni >
i : ('a->'a) -> ('a->'a)
16:23
jamii has joined #ocaml
16:24
<
eni >
or directly 'a -> 'a (this is more llogical)
16:24
<
thelema >
let i x = id id x
16:24
<
thelema >
# let id x = x;;
16:24
<
thelema >
val id : 'a -> 'a = <fun>
16:24
<
thelema >
# let i x = id id x;;
16:24
<
thelema >
val i : 'a -> 'a = <fun>
16:25
<
eni >
id id is waiting for an argument right?
16:25
<
eni >
the 2nd id is 'a -> 'a
16:26
<
eni >
so is the first one, where 'a is 'a->'a .. i can't get my head around this fenomen
16:26
<
thelema >
id clearly has type 'a -> 'a, and expects one argument
16:27
larhat has quit [Quit: Leaving.]
16:27
<
thelema >
(id id) applies id to a value of type ('a -> 'a) and gets back the same value; so type ('a -> 'a)
16:27
larhat has joined #ocaml
16:31
gnuvince has joined #ocaml
16:33
<
eni >
so in fact let i = id id isn't the same as let i x = id id x;;
16:34
<
thelema >
they should be the same, but ocaml treats them differently.
16:34
<
thelema >
the second is clearly a function, so it can be made fully polymorphic
16:34
<
thelema >
but the first might have something bad going on inside it, so it's made only a little polymorphic
16:34
<
thelema >
by "something bad", I mean mutable state
16:35
jamii has quit [Ping timeout: 246 seconds]
16:35
<
_habnabit >
# BA1.create BA.int BA.c_layout 10 |> BA1.enum |> Enum.group (=) |> map List.of_enum |> List.of_enum;;
16:35
<
_habnabit >
Exception: Invalid_argument "equal: functional value".
16:35
<
eni >
so this doesn't happen in haskell?
16:35
<
_habnabit >
I don't know where this error comes from
16:35
<
thelema >
_habnabit: probably the Enum.group (=)
16:35
<
thelema >
what's BA1?
16:36
<
thelema >
bigarray?
16:36
<
_habnabit >
Bigarray.Array1
16:36
<
thelema >
Hmm, what's the result type of BA1.enum? int enum?
16:37
<
_habnabit >
I'm having the same problem with List.enum and Array.enum actually
16:37
<
_habnabit >
I was pretty sure I hadn't had this problem before doing the same Enum.group
16:37
avsm has joined #ocaml
16:37
<
thelema >
hmm, then the Enum.group (=) should work fine. Try Enum.group (Int.equals) (if you're using new enough batteries)
16:38
<
_habnabit >
yeah, I don't have Int.equals
16:38
<
thelema >
let int_equals (a:int) b = a = b
16:38
<
thelema >
that will take (=) out of the equation. :)
16:38
<
_habnabit >
same thing
16:39
<
_habnabit >
same error, I mean
16:39
<
thelema >
Hmm... no backtrace?
16:39
<
_habnabit >
this is all in the toplevel
16:40
<
_habnabit >
leaving off the things before the thing that consumes the eum
16:44
<
_habnabit >
well, that would do it--I completely misread the type of Enum.group
16:44
<
_habnabit >
Enum.group identity is fine
16:46
avsm has quit [Ping timeout: 248 seconds]
16:50
ftrvxmtrx has joined #ocaml
16:51
sepp2k1 has joined #ocaml
16:52
sepp2k has quit [Ping timeout: 240 seconds]
16:59
avsm has joined #ocaml
17:02
caligula__ has quit [Remote host closed the connection]
17:04
mcclurmc is now known as mcclurmc_away
17:06
answer_42 has quit [Quit: WeeChat 0.3.9]
17:07
<
mcstar >
thelema: can you point me to an official explanation of the appearance of the monomorphic type?
17:08
Yoric has joined #ocaml
17:10
pkrnjevi_ has joined #ocaml
17:14
caligula has joined #ocaml
17:14
pkrnjevi_ is now known as pkrnj
17:29
pkrnj has joined #ocaml
17:45
jamii has joined #ocaml
17:53
Kakadu has quit [Quit: Konversation terminated!]
17:59
mcclurmc_away is now known as mcclurmc
18:00
sivoais has quit [Read error: Connection reset by peer]
18:00
sivoais has joined #ocaml
18:15
gustav__ has quit [Remote host closed the connection]
18:18
pangoafk is now known as pango
18:29
pkrnj has joined #ocaml
18:31
pkrnj has quit [Client Quit]
18:31
pkrnj has joined #ocaml
18:36
djcoin has quit [Ping timeout: 252 seconds]
18:41
Snark has quit [Quit: Quitte]
18:45
_andre has quit [Quit: leaving]
18:50
pcjoby has left #ocaml []
18:50
avsm has quit [Quit: Leaving.]
19:00
Submarine has joined #ocaml
19:00
Submarine has quit [Changing host]
19:00
Submarine has joined #ocaml
19:02
<
travisbrady >
Could you implement the lmax disruptor in ocaml? Would it make sense given the way ocaml is implemented?
19:02
ontologiae has quit [Ping timeout: 260 seconds]
19:04
<
thelema >
ocaml doesn't provide low level primitives for concurrency, so it wouldn't be as efficient
19:08
larhat has quit [Quit: Leaving.]
19:20
<
ousado >
travisbrady: there's ocamlnet
19:23
tautologico has joined #ocaml
19:24
<
ousado >
urgh, that thing is written exclusively in java?
19:28
<
thelema >
ousado: yes, which for all its flaws, does expose pretty low-level concurrency primitives and has a memory model of sorts, as opposed to OCaml, which has no memory model
19:29
<
ousado >
such a thing has to be implemented in C or a sfe alternative
19:33
<
thelema >
each JVM implements the Java memory model on top of the memory model of the processor it's running on.
19:34
<
ousado >
yes. maybe that thing is as good as it gets for the JVM
19:38
andreypopp has joined #ocaml
19:40
pkrnj has quit [Quit: Computer has gone to sleep.]
19:43
Submarine has quit [Remote host closed the connection]
19:46
beckerb has quit [Quit: Konversation terminated!]
19:46
eikke has quit [Ping timeout: 260 seconds]
19:46
andreypopp has quit [Quit: sleep]
19:55
chambart has quit [Ping timeout: 240 seconds]
20:03
pkrnj has joined #ocaml
20:05
Neros has joined #ocaml
20:08
answer_42 has joined #ocaml
20:11
larhat has joined #ocaml
20:18
<
travisbrady >
larhat: ahh, interesting.
20:19
<
thelema >
hey, neat. All committed one day ago
20:19
<
travisbrady >
I ask because I'm currently working with storm (which uses the disruptor internally) at work and I'd prefer to work in Ocaml if possible.
20:20
<
larhat >
travisbrady: it would be at least nice and interesting to see disruptor implemented in ocaml :)
20:24
avsm has joined #ocaml
20:29
beginner42 has joined #ocaml
20:29
<
beginner42 >
is someone here familiar with the zmq ocaml binding and knows how to send and receive multi part messages?
20:39
Yoric has quit [Ping timeout: 246 seconds]
20:46
ppseafield has quit [Quit: Leaving.]
20:56
beginner42 has quit [Quit: irc2go]
21:06
mcstar has quit [Quit: mcstar]
21:07
avsm has quit [Quit: Leaving.]
21:11
ontologiae has joined #ocaml
21:18
tane has quit [Quit: Verlassend]
21:24
emmanuelux has joined #ocaml
21:26
avsm has joined #ocaml
21:27
answer_42 has quit [Ping timeout: 252 seconds]
21:27
djcoin has joined #ocaml
21:31
travisbrady has quit [Quit: travisbrady]
21:32
eni has quit [Ping timeout: 245 seconds]
21:35
Yoric has joined #ocaml
21:44
xavierm02 has quit [Quit: Leaving]
21:46
Yoric has quit [Ping timeout: 252 seconds]
21:50
Yoric has joined #ocaml
21:51
lolcathost has joined #ocaml
21:59
rwmjonesKVMForum is now known as rwmjones
22:08
avsm has quit [Quit: Leaving.]
22:12
walter has quit [Quit: Leaving]
22:13
walter has joined #ocaml
22:13
walter has quit [Client Quit]
22:13
walter has joined #ocaml
22:14
lolcathost has quit [Ping timeout: 240 seconds]
22:20
chambart has joined #ocaml
22:20
djcoin has quit [Quit: WeeChat 0.3.9]
22:22
lolcathost has joined #ocaml
22:26
Skolem has joined #ocaml
22:26
pou_ has quit [Quit: leaving]
22:26
travisbrady has joined #ocaml
22:27
lolcathost has quit [Ping timeout: 252 seconds]
22:28
jamii has quit [Ping timeout: 246 seconds]
22:38
tac has quit [Ping timeout: 245 seconds]
22:39
smondet` has joined #ocaml
22:39
avsm has joined #ocaml
22:40
smondet has quit [Ping timeout: 240 seconds]
22:43
avsm has quit [Ping timeout: 252 seconds]
22:47
Skolem has quit [Quit: Skolem]
22:48
smondet` has quit [Ping timeout: 276 seconds]
22:51
emmanuelux has quit [Remote host closed the connection]
22:58
travisbrady has quit [Quit: travisbrady]
22:59
lolcathost has joined #ocaml
23:01
mjonsson has joined #ocaml
23:11
ontologiae has quit [Ping timeout: 276 seconds]
23:15
Cyanure has quit [Remote host closed the connection]
23:30
larhat has quit [Quit: Leaving.]
23:33
tac has joined #ocaml
23:56
travisbrady has joined #ocaml
23:59
fraggle_ has quit [Ping timeout: 252 seconds]