brooksbp has quit [Read error: 104 (Connection reset by peer)]
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
hsuh has quit [Remote closed the connection]
filp has quit ["Bye"]
yminsky has joined #ocaml
dbueno has joined #ocaml
hsuh has joined #ocaml
dbueno has quit [Client Quit]
brooksbp has joined #ocaml
brooksbp_ has quit [Read error: 104 (Connection reset by peer)]
yminsky has quit []
seafood_ has joined #ocaml
jburd has quit [Read error: 110 (Connection timed out)]
ita has quit ["Hasta luego!"]
ikaros has quit [Remote closed the connection]
ikaros has joined #ocaml
Zolaa has joined #ocaml
Zola has quit [Read error: 104 (Connection reset by peer)]
brooksbp has quit []
ludwig- has quit ["Leaving"]
ser_ has joined #ocaml
ser_ has quit [Read error: 104 (Connection reset by peer)]
ser_ has joined #ocaml
mordaunt has quit [Connection reset by peer]
ser_ has quit [Read error: 104 (Connection reset by peer)]
ser_ has joined #ocaml
ser_ has quit [Read error: 104 (Connection reset by peer)]
ikaros_ has joined #ocaml
Zolaa is now known as Zola
ikaros has quit [Read error: 110 (Connection timed out)]
hsuh has quit ["m-x die"]
smimou has quit ["bli"]
kelaouch1 has joined #ocaml
m3ga has joined #ocaml
kelaouchi has quit [Read error: 110 (Connection timed out)]
m3ga has quit ["disappearing into the sunset"]
seafood_ has quit []
seafood_ has joined #ocaml
brooksbp has joined #ocaml
brooksbp has quit [Read error: 104 (Connection reset by peer)]
brooksbp has joined #ocaml
brooksbp has quit [Read error: 104 (Connection reset by peer)]
brooksbp has joined #ocaml
david_koontz has quit []
brooksbp has quit [Read error: 104 (Connection reset by peer)]
brooksbp_ has joined #ocaml
brooksbp_ has quit [Client Quit]
brooksbp_ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
mrsolo has joined #ocaml
seafood__ has joined #ocaml
seafood___ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood__ has quit [Read error: 110 (Connection timed out)]
olleolleolle has joined #ocaml
Jeff_123 has joined #ocaml
<Jeff_123>
does anyone know if it's possible to embed a toplevel inside a bytecode program?
<Jeff_123>
...without too much hastle
<flux>
might be possible, but afaik nobody's done it :)
<flux>
the best idea I suppose might be to setup a socket or pipe to converse with a toplevel.. rwmjones has done that with xavierbot.
olleolleolle has quit [Client Quit]
<flux>
however it won't provide you with the juicy internals, for your disposal
<flux>
you could always write your program around the toplevel though
<flux>
although even that won't give you access to the internals, if that's what you want
<Jeff_123>
that's true, but I want only a very restricted form of the toplevel. Something like TCL's "interp create -safe"
<Jeff_123>
I didn't think caml had something equivalent, but I figured I'd ask. I looked at metaocaml but that doesn't quite look like it'd do waht I want either.
<Jeff_123>
...without me having to write a parser
<Jeff_123>
heh, maybe camlp4 has what I want? An ocaml parser i can use during run-time?
seafood_ has joined #ocaml
seafood___ has quit [Read error: 104 (Connection reset by peer)]
Mr_Awesome has quit ["aunt jemima is the devil!"]
seafood_ has quit []
Snark has joined #ocaml
kelaouch1 has quit [Remote closed the connection]
seafood_ has joined #ocaml
olleolleolle has joined #ocaml
rwmjones_ is now known as rwmjones
ttamttam has joined #ocaml
filp has joined #ocaml
__suri_ has quit []
Jeff_123 has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
ertai has joined #ocaml
brooksbp has joined #ocaml
brooksbp_ has quit [Read error: 110 (Connection timed out)]
mrsolo has quit ["This computer has gone to sleep"]
hsuh has joined #ocaml
mikeX has joined #ocaml
brooksbp has quit []
hsuh has quit ["off to work i go"]
smimou has joined #ocaml
Zola has left #ocaml []
ertai has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
hsuh has joined #ocaml
ertai has joined #ocaml
rickardg has joined #ocaml
Snark has quit ["Quitte"]
seafood_ has quit []
screwt8 has quit [Remote closed the connection]
Abo-Marwan has quit [Remote closed the connection]
screwt8 has joined #ocaml
screwt8 has quit [Remote closed the connection]
Abo-Marwan has joined #ocaml
Abo-Marwan has quit [Remote closed the connection]
screwt8 has joined #ocaml
Abo-Marwan60 has joined #ocaml
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
Naked has joined #ocaml
pattern has joined #ocaml
Naked is now known as Hadaka
mrsolo has joined #ocaml
rickardg` has joined #ocaml
Tetsuo has joined #ocaml
mrsolo has quit ["This computer has gone to sleep"]
rickardg has quit [Connection timed out]
mrsolo has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]>
hi
<hsuh>
hi
__suri has joined #ocaml
screwt8 has quit [Remote closed the connection]
Abo-Marwan60 has quit [Remote closed the connection]
screwt8 has joined #ocaml
mrsolo has quit ["This computer has gone to sleep"]
hsuh has quit [Remote closed the connection]
olleolleolle has quit []
hsuh has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
ttamttam has left #ocaml []
olleolleolle has joined #ocaml
filp has quit ["Bye"]
ertai has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
screwt8 has quit [Read error: 104 (Connection reset by peer)]
david_koontz has joined #ocaml
crathman has joined #ocaml
buluca has joined #ocaml
Yoric[DT] has joined #ocaml
hkBst has quit ["Konversation terminated!"]
screwt8 has joined #ocaml
ttamtta1 has joined #ocaml
nuncanada has joined #ocaml
filp has joined #ocaml
Snark has joined #ocaml
Demitar has quit ["Burn the land and boil the sea. You can't take the sky from me."]
ygrek has joined #ocaml
brooksbp has joined #ocaml
crathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.10/2007111504]"]
<JohnnyL>
i wonder how one can cleanly solve the multiple inheritence problems. <ponders>
<Snark>
JohnnyL, eiffel
<JohnnyL>
yah?
<ttamtta1>
Do not use objects ? ;-)
<jonafan>
inheritance baaaad
<jonafan>
like frankenstein
<jonafan>
which is apt because inheritance makes frankenstein objects, especially multiple inheritance
m3ga has joined #ocaml
ygrek has quit [Remote closed the connection]
<JohnnyL>
JohnnyL, i get the feeling you have no idea what your talking about.
<Yoric[DT]>
What part of multiple inheritence do you call a problem ?
<flux>
hmph, this doesn't work: type 'a z = [ 'a | b ] - any suggestions if it can be made to work?
<Yoric[DT]>
flux: what about
<Yoric[DT]>
type 'a z = [ A of 'a | B] ?
<Yoric[DT]>
er...
<Yoric[DT]>
actually, which syntax are you using ?
<Yoric[DT]>
What are these [] ?
<flux>
not really what I was thinking.. I'm trying to express a union of two sets of types
rickardg` has quit [Read error: 110 (Connection timed out)]
<flux>
or actually a union of two polymorphic variant types
<flux>
and the sets themselves are variant constructors
<Yoric[DT]>
Do you mean that you have type a = [some polymorphic variants] and type b = [some other polymorphic variants] and you want to merge these ?
<flux>
yes
authentic has joined #ocaml
<flux>
and actually I want to have a function that does that: gives two values of two types, it would produce a value of type which is the union of such types
<flux>
hm, perhaps I can form that function and ask what its type would be..
<zmdkrbou>
what do you mean by "union of such types" ?
<zmdkrbou>
ah, polymorphic variants
<zmdkrbou>
you can't inspect the types of your arguments
<Yoric[DT]>
# value test (a:a) (d:d) (b:bool) = if b then a else d;
<Yoric[DT]>
This expression has type d but is here used with type a
<Yoric[DT]>
These two variant types have no intersection
<flux>
maybe they just cannot be used that way, then
ita has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
<flux>
maybe I should browse some advanced examples on those
<flux>
any pointers?
<ita>
let v = ref 0;
brooksbp has quit []
rickardg has joined #ocaml
<Yoric[DT]>
ita: :)
<Yoric[DT]>
flux: sorry, never fully understood polymorphic variants.
buluca has quit [Read error: 113 (No route to host)]
<flux>
this works, though: type a = [ `A ] type b = [ `B ] let a : a = `A let b : b = `B let foo cond a b = if cond then a else b let v = foo true (a:[`A]:>[>`A]) (b:[`B]:>[>`B])
<flux>
I'm not sure how to cleanly express the last line, though :)
<ita>
and i thought haskell was complicated
ita has left #ocaml []
ita has joined #ocaml
<mbishop>
hmm
<mbishop>
does this help?
<flux>
(we're waiting for something to come up, right?)
* mbishop
nods
<mbishop>
# let a = [ `None; `Some 1];;
<mbishop>
val a : [> `None | `Some of int ] list = [`None; `Some 1]
<mbishop>
that's an example from Ocaml for Scientists
<flux>
I don't think it helps..
<flux>
thanks for trying, though :)
* mbishop
shrugs
<mbishop>
I don't understand polymorphic variants either, but I had Ocaml for Scientists here so :P
<flux>
the function I'm trying to have would be like [`A] -> [`B] -> [`A|`B], but for any two polymorphic variant types
<flux>
it might be possible..
<flux>
because there is this [a | b] -notation (a and b are polymorphic variant types)
ttamtta1 has left #ocaml []
brooksbp has joined #ocaml
<flux>
mbishop, the book doesn't happen to go very deeply on the subject, does it?
<flux>
I found a paper had examples on the unions, but apparently they are implemented only in a certain ocaml branch, plus it required using modules..
<flux>
so I think all hope is lost :)
<flux>
it'd be fun to implement this in c++, just to see if it is any more flexible, with its turing-complete type system
<flux>
(I suppose the answer is "yes", but is it even after you take also the inflexibility into account)
<Yoric[DT]>
flux: well, you can ask on the OCaml ml.
brooksbp has quit []
olleolleolle has quit []
jburdnb has joined #ocaml
<flux>
which list do you think would be a suitable one?
<Yoric[DT]>
I'd say caml-list@inria.fr .
ygrek has quit [Remote closed the connection]
Snark has quit ["Quitte"]
Demitar has joined #ocaml
hsuh has quit ["uhu"]
olleolleolle has joined #ocaml
brooksbp has joined #ocaml
jburdnb has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
buluca has quit [Remote closed the connection]
brooksbp has quit []
ita is now known as ita|zzz
ita|zzz has quit ["Hasta luego!"]
filp has quit ["Bye"]
Tetsuo has quit ["Leaving"]
nuncanada has quit ["Leaving"]
buluca has joined #ocaml
brooksbp has joined #ocaml
smimou has quit ["bli"]
brooksbp has quit [Client Quit]
brooksbp has joined #ocaml
rickardg has quit [Connection timed out]
mikeX has quit ["leaving"]
brooksbp has quit [Read error: 104 (Connection reset by peer)]
bla has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
olleolleolle has quit []
bla has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]