adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
Neros has quit [Remote host closed the connection]
emmanuelux has quit [Remote host closed the connection]
maufred has quit [Ping timeout: 268 seconds]
lolcathost has left #ocaml []
maufred has joined #ocaml
lolcathost has joined #ocaml
pkrnjevi_ has joined #ocaml
pkrnjevi_ is now known as pkrnj
justdit has joined #ocaml
tac has joined #ocaml
tac has quit [Quit: Page closed]
<_habnabit> argghhhhh
<_habnabit> apparently Enum.peek followed by Enum.hard_count raises Invalid_argument("equal: functional value")
<_habnabit> ... huh, and I get the same thing with Enum.get and Enum.hard_count
TechCel has joined #ocaml
<_habnabit> and i get the same thing with Enum.count?? i give up
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
ccasin has left #ocaml []
ccasin has joined #ocaml
gustav__ has quit [Read error: Connection reset by peer]
lolcathost has quit [Ping timeout: 264 seconds]
TechCel has quit [Ping timeout: 246 seconds]
justdit has quit [Ping timeout: 260 seconds]
justdit has joined #ocaml
astertronistic has joined #ocaml
scroy has joined #ocaml
walter has quit [Ping timeout: 240 seconds]
matthieu has joined #ocaml
Yoric has joined #ocaml
walter has joined #ocaml
tautologico has quit [Quit: tautologico]
tac has joined #ocaml
jamii has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
lolcathost has joined #ocaml
jamii has quit [Ping timeout: 246 seconds]
mjonsson has quit [Ping timeout: 268 seconds]
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
larhat has quit [Client Quit]
lolcathost has quit [Ping timeout: 255 seconds]
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
matthieu has quit [Ping timeout: 246 seconds]
tac has quit [Quit: Page closed]
ankit9 has joined #ocaml
answer_42 has joined #ocaml
ankit9 has quit [Ping timeout: 260 seconds]
lolcathost has joined #ocaml
lolcathost has quit [Ping timeout: 255 seconds]
lolcathost has joined #ocaml
lolcathost has quit [Client Quit]
larhat has joined #ocaml
lolcathost has joined #ocaml
larhat has quit [Client Quit]
larhat has joined #ocaml
pango is now known as pangoafk
Yoric has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
lolcathost has quit [Ping timeout: 255 seconds]
lolcathost has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
lolcathost has quit [Quit: leaving]
lolcathost has joined #ocaml
mye has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
djcoin has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
thomasga1 has joined #ocaml
ftrvxmtrx has joined #ocaml
cago has joined #ocaml
Cyanure has joined #ocaml
ocp has joined #ocaml
lolcathost has quit [Ping timeout: 240 seconds]
ankit9 has joined #ocaml
lolcathost has joined #ocaml
andreypopp has joined #ocaml
cdidd has quit [Ping timeout: 240 seconds]
Snark has joined #ocaml
BiDOrD has joined #ocaml
BiDOrD_ has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
cdidd has joined #ocaml
andreypopp has quit [Quit: sleep]
andreypopp has joined #ocaml
astertronistic has quit [Ping timeout: 268 seconds]
andreypopp has quit [Quit: sleep]
eikke has joined #ocaml
Kakadu has joined #ocaml
scroy has quit [Read error: Connection reset by peer]
TechCel has joined #ocaml
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 255 seconds]
ankit9 has quit [Ping timeout: 246 seconds]
mcclurmc_away is now known as mcclurmc
cdidd has quit [Remote host closed the connection]
_andre has joined #ocaml
ankit9 has joined #ocaml
<pippijn> hi
<pippijn> are anti-quotations not supported in camlp4o? it works with camlp4of
lolcathost has quit [Ping timeout: 246 seconds]
mye_ has joined #ocaml
lolcathost has joined #ocaml
mye has quit [Ping timeout: 240 seconds]
mye_ is now known as mye
<Kakadu> hey. I want to receive ("asdf","1 2 3") from line "asdf: 1 2 3"
<Kakadu> and scanf is not very trivial for me
<pippijn> Kakadu: BatString.split
<rixed> Scanf.sscanf "asdf: 1 2 3" "%s@: %[0-9 ]" (fun a b -> a,b);; ?
<Kakadu> rixed: It's OK, but what about a little bit more complex?
<Kakadu> # Scanf.sscanf "asfdasd: uuu vvv ooo" "%s@: %['a'-'z' ' ']" (fun s d -> [s;d]);;
<Kakadu> - : string list = ["asfdasd"; ""]
<Kakadu> ahhh
<Kakadu> "%s@: %[a-z ]" works
<Kakadu> rixed: many thanks
TechCel has quit [Ping timeout: 276 seconds]
lolcathost has quit [Quit: leaving]
lolcathost has joined #ocaml
<pippijn> how can I get anti-quotations to work? I get this error: http://paste.xinu.at/ahT/
justdit has quit [Quit: Lost terminal]
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
mye has quit [Quit: mye]
thomasga1 has quit [Quit: Leaving.]
avsm has joined #ocaml
mye has joined #ocaml
mye_ has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 260 seconds]
mye has quit [Ping timeout: 240 seconds]
mye_ is now known as mye
answer_42 has quit [Ping timeout: 276 seconds]
hkBst has quit [Read error: Connection reset by peer]
hkBst has joined #ocaml
answer_42 has joined #ocaml
avsm1 has quit [Quit: Leaving.]
xavierm02 has joined #ocaml
Xizor has joined #ocaml
ppseafield has joined #ocaml
tane has joined #ocaml
sepp2k has joined #ocaml
chambart has joined #ocaml
avsm has joined #ocaml
avsm has quit [Ping timeout: 260 seconds]
ankit9 has quit [Ping timeout: 255 seconds]
gustav__ has joined #ocaml
beckerb has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
hkBst has joined #ocaml
ankit9 has joined #ocaml
lolcathost has quit [Ping timeout: 252 seconds]
lolcathost has joined #ocaml
beckerb has quit [Read error: Connection timed out]
beckerb has joined #ocaml
hkBst has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
lolcathost has quit [Ping timeout: 240 seconds]
lolcathost has joined #ocaml
thomasga has quit [Quit: Leaving.]
avsm has quit [Ping timeout: 252 seconds]
lolcathost has quit [Ping timeout: 255 seconds]
avsm has joined #ocaml
eikke has quit [Read error: Connection reset by peer]
eikke has joined #ocaml
mye has quit [Ping timeout: 246 seconds]
ontologiae has quit [Read error: Connection reset by peer]
BiDOrD_ has quit [Read error: Connection reset by peer]
BiDOrD has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
smondet has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
letrec has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
travisbrady has joined #ocaml
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
ankit9 has quit [Quit: Leaving]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
avsm1 has quit [Read error: Connection reset by peer]
bzzbzz has quit [Quit: leaving]
avsm has quit [Quit: Leaving.]
matthieu has joined #ocaml
astertronistic has joined #ocaml
cdidd has joined #ocaml
astertronistic has quit [Ping timeout: 268 seconds]
cago has left #ocaml []
avsm has joined #ocaml
matthieu has quit [Ping timeout: 246 seconds]
letrec has quit [Quit: Konversation terminated!]
Kakadu has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
avsm has quit [Quit: Leaving.]
ocp has quit [Read error: Operation timed out]
tac has joined #ocaml
mcstar has joined #ocaml
avsm has joined #ocaml
avsm has quit [Ping timeout: 256 seconds]
eni has joined #ocaml
<eni> why does this happen http://pastebin.com/2Xzs29Qp ?
<_habnabit> eni, what? the '_a?
<thelema> eni: value restriction
<eni> the type of i changes
<eni> i was excpecting
<eni> i : ('a->'a) -> ('a->'a)
jamii has joined #ocaml
<eni> or directly 'a -> 'a (this is more llogical)
<thelema> let i x = id id x
<thelema> # let id x = x;;
<thelema> val id : 'a -> 'a = <fun>
<thelema> # let i x = id id x;;
<thelema> val i : 'a -> 'a = <fun>
<eni> id id is waiting for an argument right?
<eni> the 2nd id is 'a -> 'a
<eni> so is the first one, where 'a is 'a->'a .. i can't get my head around this fenomen
<thelema> id clearly has type 'a -> 'a, and expects one argument
larhat has quit [Quit: Leaving.]
<thelema> (id id) applies id to a value of type ('a -> 'a) and gets back the same value; so type ('a -> 'a)
larhat has joined #ocaml
gnuvince has joined #ocaml
<eni> so in fact let i = id id isn't the same as let i x = id id x;;
<thelema> they should be the same, but ocaml treats them differently.
<thelema> the second is clearly a function, so it can be made fully polymorphic
<thelema> but the first might have something bad going on inside it, so it's made only a little polymorphic
<thelema> by "something bad", I mean mutable state
jamii has quit [Ping timeout: 246 seconds]
<_habnabit> # BA1.create BA.int BA.c_layout 10 |> BA1.enum |> Enum.group (=) |> map List.of_enum |> List.of_enum;;
<_habnabit> Exception: Invalid_argument "equal: functional value".
<eni> so this doesn't happen in haskell?
<_habnabit> I don't know where this error comes from
<thelema> _habnabit: probably the Enum.group (=)
<thelema> what's BA1?
<thelema> bigarray?
<_habnabit> Bigarray.Array1
<thelema> Hmm, what's the result type of BA1.enum? int enum?
<_habnabit> yes
<_habnabit> I'm having the same problem with List.enum and Array.enum actually
<_habnabit> I was pretty sure I hadn't had this problem before doing the same Enum.group
avsm has joined #ocaml
<thelema> hmm, then the Enum.group (=) should work fine. Try Enum.group (Int.equals) (if you're using new enough batteries)
<_habnabit> yeah, I don't have Int.equals
<thelema> let int_equals (a:int) b = a = b
<thelema> that will take (=) out of the equation. :)
<_habnabit> same thing
<_habnabit> same error, I mean
<thelema> Hmm... no backtrace?
<_habnabit> this is all in the toplevel
<_habnabit> leaving off the things before the thing that consumes the eum
<_habnabit> enum
<_habnabit> oh
<_habnabit> well, that would do it--I completely misread the type of Enum.group
<_habnabit> Enum.group identity is fine
avsm has quit [Ping timeout: 248 seconds]
ftrvxmtrx has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
caligula__ has quit [Remote host closed the connection]
mcclurmc is now known as mcclurmc_away
answer_42 has quit [Quit: WeeChat 0.3.9]
<mcstar> thelema: can you point me to an official explanation of the appearance of the monomorphic type?
Yoric has quit [Quit: Instantbird 1.3a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
pkrnjevi_ has joined #ocaml
caligula has joined #ocaml
pkrnjevi_ is now known as pkrnj
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
pkrnj has joined #ocaml
jamii has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
mcclurmc_away is now known as mcclurmc
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
gustav__ has quit [Remote host closed the connection]
pangoafk is now known as pango
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
pkrnj has joined #ocaml
pkrnj has quit [Client Quit]
pkrnj has joined #ocaml
djcoin has quit [Ping timeout: 252 seconds]
Snark has quit [Quit: Quitte]
_andre has quit [Quit: leaving]
pcjoby has left #ocaml []
avsm has quit [Quit: Leaving.]
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<travisbrady> Could you implement the lmax disruptor in ocaml? Would it make sense given the way ocaml is implemented?
ontologiae has quit [Ping timeout: 260 seconds]
<thelema> ocaml doesn't provide low level primitives for concurrency, so it wouldn't be as efficient
larhat has quit [Quit: Leaving.]
<ousado> travisbrady: there's ocamlnet
tautologico has joined #ocaml
<ousado> urgh, that thing is written exclusively in java?
<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
<ousado> well.
<ousado> such a thing has to be implemented in C or a sfe alternative
<ousado> *safe
<thelema> each JVM implements the Java memory model on top of the memory model of the processor it's running on.
<ousado> yes. maybe that thing is as good as it gets for the JVM
andreypopp has joined #ocaml
pkrnj has quit [Quit: Computer has gone to sleep.]
Submarine has quit [Remote host closed the connection]
beckerb has quit [Quit: Konversation terminated!]
eikke has quit [Ping timeout: 260 seconds]
andreypopp has quit [Quit: sleep]
chambart has quit [Ping timeout: 240 seconds]
pkrnj has joined #ocaml
Neros has joined #ocaml
answer_42 has joined #ocaml
larhat has joined #ocaml
<larhat> travisbrady: there is a https://github.com/djs55/shared-memory-ring repo; readme looks somehow related to disruptor.
<travisbrady> larhat: ahh, interesting.
<thelema> hey, neat. All committed one day ago
<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.
<larhat> travisbrady: it would be at least nice and interesting to see disruptor implemented in ocaml :)
avsm has joined #ocaml
beginner42 has joined #ocaml
<beginner42> is someone here familiar with the zmq ocaml binding and knows how to send and receive multi part messages?
Yoric has quit [Ping timeout: 246 seconds]
ppseafield has quit [Quit: Leaving.]
beginner42 has quit [Quit: irc2go]
mcstar has quit [Quit: mcstar]
avsm has quit [Quit: Leaving.]
ontologiae has joined #ocaml
tane has quit [Quit: Verlassend]
emmanuelux has joined #ocaml
avsm has joined #ocaml
answer_42 has quit [Ping timeout: 252 seconds]
djcoin has joined #ocaml
travisbrady has quit [Quit: travisbrady]
eni has quit [Ping timeout: 245 seconds]
Yoric has joined #ocaml
xavierm02 has quit [Quit: Leaving]
Yoric has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
lolcathost has joined #ocaml
rwmjonesKVMForum is now known as rwmjones
avsm has quit [Quit: Leaving.]
walter has quit [Quit: Leaving]
walter has joined #ocaml
walter has quit [Client Quit]
walter has joined #ocaml
lolcathost has quit [Ping timeout: 240 seconds]
chambart has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.9]
lolcathost has joined #ocaml
Skolem has joined #ocaml
pou_ has quit [Quit: leaving]
travisbrady has joined #ocaml
lolcathost has quit [Ping timeout: 252 seconds]
jamii has quit [Ping timeout: 246 seconds]
tac has quit [Ping timeout: 245 seconds]
smondet` has joined #ocaml
avsm has joined #ocaml
smondet has quit [Ping timeout: 240 seconds]
avsm has quit [Ping timeout: 252 seconds]
Skolem has quit [Quit: Skolem]
smondet` has quit [Ping timeout: 276 seconds]
emmanuelux has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
lolcathost has joined #ocaml
mjonsson has joined #ocaml
ontologiae has quit [Ping timeout: 276 seconds]
Cyanure has quit [Remote host closed the connection]
larhat has quit [Quit: Leaving.]
tac has joined #ocaml
travisbrady has joined #ocaml
fraggle_ has quit [Ping timeout: 252 seconds]