mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
brooksbp_ has joined #ocaml
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 ?
ygrek has joined #ocaml
<JohnnyL> Yoric[DT], merging similiar patterns/methods/parameters.
<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)]