* Yurik
is away: movie & sleep
malc has quit ["no reason"]
koyuki has joined #ocaml
* Yurik
is away: sleep
Yurik has quit [carter.openprojects.net irc.openprojects.net]
smkl has quit [carter.openprojects.net irc.openprojects.net]
Yurik has joined #ocaml
smkl has joined #ocaml
smkl has quit [Read error: 104 (Connection reset by peer)]
smkl has joined #ocaml
gene9 has joined #ocaml
gene9 has quit [Client Quit]
samx has joined #ocaml
TimFreeman has joined #ocaml
TimFreeman has left #ocaml []
TimFreeman has joined #ocaml
TimFreeman has left #ocaml []
* Yurik
is back (gone 03:26:10)
* Yurik
is away: sleep a little more
samx has quit [Read error: 110 (Connection timed out)]
* Yurik
is back (gone 00:53:53)
graydon has quit []
jemfinch has joined #ocaml
jemfinch has quit [Remote closed the connection]
* Yurik
is away: sleep 20 minutes more
* Yurik
is back (gone 00:24:35)
Yurik has quit ["reboot"]
Yurik has joined #ocaml
Yurik has quit ["Client Exiting"]
Yurik has joined #ocaml
* Yurik
is away: out, will be back in hour or so
smkl has quit [Remote closed the connection]
smkl has joined #ocaml
* Yurik
is back (gone 02:49:34)
malc has joined #ocaml
tav has quit [Read error: 104 (Connection reset by peer)]
tav has joined #ocaml
malc has quit ["no reason"]
Yurik_ has joined #ocaml
Yurik has quit [Read error: 104 (Connection reset by peer)]
Yurik_ is now known as Yurik
malc has joined #ocaml
Jiriki has quit [Read error: 104 (Connection reset by peer)]
Jiriki has joined #ocaml
* Yurik
is away: smoke
* Yurik
is back (gone 00:05:51)
malc has quit ["no reason"]
Verbed has joined #ocaml
malc has joined #ocaml
graydon has joined #ocaml
malc has quit ["no reason"]
owll has joined #ocaml
<
Yurik>
owll: hi. did you see my mail? :-)
<
Yurik>
owll: I mean my mail about framerd (DTYPE specs :)
<
owll>
hmmm, not yet
<
owll>
getmailed to me
<
Yurik>
owll: I just found that DTYPE implemented in Erlang will be much nicer than a lot of C code...
<
owll>
8-0000000000000000
<
owll>
wow................
<
Yurik>
where what? :)
<
Yurik>
if you mean DTYPE for Erlang, it still not finished, since I found a lack of precise documentation on DTYPE format
<
Yurik>
hope you can help :)
<
owll>
i understand, you found third party DTYPE impl for Erlang... :)
<
owll>
mjust misreading
<
owll>
now, i prerpare same for OCaml and Python
<
Yurik>
DTYPE (over TCP)?
<
owll>
full DTYPE impl
<
owll>
marshalling/demarshaling and networking
<
Yurik>
wow-wow! so, can you help me? :)
<
Yurik>
that is what I started to do recently in Erlang...
<
owll>
will to try...
* Yurik
likes Erlang bit syntax..
<
Yurik>
like make_fixnum(Number) when integer(Number) -> <<?DT_FIXNUM:8,Number:32/big>>.
<
Yurik>
btw, is DTYPE big-endian? :)
Yurik_ has joined #ocaml
Yurik has quit [Read error: 104 (Connection reset by peer)]
Yurik_ has quit [Client Quit]
Yurik_ has joined #ocaml
Yurik_ is now known as Yurik
* Yurik
is away: to wif e
Yurik has quit [Read error: 104 (Connection reset by peer)]
samx has joined #ocaml
owll has quit ["Client Exiting"]
owll has joined #ocaml
Verbed has quit ["Client Exiting"]
malc has joined #ocaml
samx has quit [Read error: 110 (Connection timed out)]
samx has joined #ocaml
malc has quit ["no reason"]
emu has joined #ocaml
<
emu>
anyone familiar with functors in SML here, by any chance?
<
emu>
functor Signal (structure Time : ORDER
<
emu>
functor Signal (structure Time : ORDER
<
emu>
structure Value : EQUAL)
<
emu>
I have to specify two types, with 'where', somehow
<
emu>
but this crappy book doesn't say how
<
smkl>
probably something like "where type t = Time.t ..."
<
emu>
and type v = Value.v?
<
smkl>
yes .. is this sml97 ?
samx has quit [Read error: 110 (Connection timed out)]
malc has joined #ocaml
jao has joined #ocaml
owll has quit [Read error: 104 (Connection reset by peer)]
koyuki has quit [carter.openprojects.net irc.openprojects.net]
koyuki has joined #ocaml
Jiriki has quit ["Reconnecting"]
Jiriki has joined #ocaml