hkBst has quit ["Konversation terminated!"]
Morphous_ has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
Morphous has quit [Read error: 110 (Connection timed out)]
Ched- has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
aguai has joined #ocaml
aguai has left #ocaml []
RobertFischer has joined #ocaml
RobertFischer has quit []
thelema has quit [Read error: 110 (Connection timed out)]
RobertFischer has joined #ocaml
ijcd__ has quit [Read error: 104 (Connection reset by peer)]
ijcd_ has quit [Read error: 104 (Connection reset by peer)]
ijcd_ has joined #ocaml
ijcd__ has joined #ocaml
ijcd__ has quit [Read error: 60 (Operation timed out)]
ijcd has joined #ocaml
ijcd has quit [Connection reset by peer]
ijcd__ has joined #ocaml
ijcd___ has joined #ocaml
ijcd____ has joined #ocaml
ijcd_ has quit [Read error: 60 (Operation timed out)]
ijcd__ has quit [Connection timed out]
kelaouchi has quit [Remote closed the connection]
ijcd___ has quit [Read error: 104 (Connection reset by peer)]
ijcd____ has quit [Read error: 104 (Connection reset by peer)]
ijcd___ has joined #ocaml
ijcd__ has joined #ocaml
ijcd___ has quit [Read error: 104 (Connection reset by peer)]
ijcd__ has quit [Read error: 104 (Connection reset by peer)]
ijcd_ has joined #ocaml
ijcd__ has joined #ocaml
RobertFischer has quit []
ijcd__ has quit [Read error: 104 (Connection reset by peer)]
ijcd_ has quit [Read error: 104 (Connection reset by peer)]
ijcd has joined #ocaml
ijcd__ has joined #ocaml
Associat0r has joined #ocaml
struktured_ has joined #ocaml
ijcd____ has joined #ocaml
ijcd__ has quit [Read error: 104 (Connection reset by peer)]
ijcd____ has quit [Read error: 104 (Connection reset by peer)]
ijcd____ has joined #ocaml
ijcd___ has joined #ocaml
ijcd___ has quit [Connection reset by peer]
ijcd___ has joined #ocaml
ijcd__ has joined #ocaml
ijcd____ has quit [Connection reset by peer]
ijcd___ has quit [Read error: 104 (Connection reset by peer)]
ijcd__ has quit [Read error: 104 (Connection reset by peer)]
ijcd____ has joined #ocaml
struktured__ has joined #ocaml
ijcd__ has joined #ocaml
ijcd__ has quit [Connection reset by peer]
ijcd___ has joined #ocaml
ijcd__ has joined #ocaml
struktured has quit [Read error: 113 (No route to host)]
ijcd has quit [Read error: 110 (Connection timed out)]
struktured_ has quit [Read error: 110 (Connection timed out)]
ijcd____ has quit [Read error: 110 (Connection timed out)]
ijcd___ has quit []
kelaouchi has joined #ocaml
Jedai has joined #ocaml
filp has joined #ocaml
electronx has joined #ocaml
asmanur has joined #ocaml
electronx has quit ["Leaving"]
kelaouchi has quit [Remote closed the connection]
kelaouchi has joined #ocaml
Ched- has left #ocaml []
Yoric[DT] has joined #ocaml
Gionne has joined #ocaml
hkBst has joined #ocaml
vixey` has joined #ocaml
<
vixey`>
does anyone know where there is a copy of A simple applicative language: mini-ML?
<
Yoric[DT]>
no idea
johnnowak has joined #ocaml
guillem has joined #ocaml
seafood has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
seafood has quit []
seafood has joined #ocaml
seafood has quit []
<
Yoric[DT]>
I have the beginning of a prototype for exception hierarchies in OCaml.
<
Yoric[DT]>
If anyone is interested.
* Yoric[DT]
will return.
Yoric[DT] has quit ["Ex-Chat"]
OChameau has joined #ocaml
Yoric[DT] has joined #ocaml
struktured__ has quit [Read error: 110 (Connection timed out)]
bluestorm has joined #ocaml
Jedai has joined #ocaml
sirius6b has joined #ocaml
Linktim has joined #ocaml
love-pingoo has joined #ocaml
jonas_e has joined #ocaml
Ched- has joined #ocaml
Ched- has left #ocaml []
Associat0r has quit [Read error: 104 (Connection reset by peer)]
LordMetroid has joined #ocaml
jonas_e has quit [Remote closed the connection]
Linktim_ has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Linktim- has joined #ocaml
Flice has quit ["Leaving"]
Associat0r has joined #ocaml
sporkmonger has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
<
Yoric[DT]>
Ok, I do have exception hierarchies working.
Gionne has quit [Read error: 60 (Operation timed out)]
<
Yoric[DT]>
Error messages are a bit confusing, but it seems to work.
<
Yoric[DT]>
Back to the paper, now.
Linktim- has quit [Read error: 110 (Connection timed out)]
Demitar has quit [Read error: 110 (Connection timed out)]
Anna` has joined #ocaml
Anna` is now known as spiwack
sporkmonger has quit []
hkBst has quit [Read error: 113 (No route to host)]
johnnowak has quit []
bluestorm has quit [Remote closed the connection]
bluestorm has joined #ocaml
Linktim has joined #ocaml
sporkmonger has joined #ocaml
bzzbzz has joined #ocaml
Linktim_ has joined #ocaml
Snark has joined #ocaml
tomh has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
Linktim- has joined #ocaml
coucou747 has joined #ocaml
thelema has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
<
Yoric[DT]>
bluestorm: ping
love-pingoo has quit ["Connection reset by pear"]
marmotine has joined #ocaml
thelema has quit [Read error: 110 (Connection timed out)]
jonas_e has joined #ocaml
seafood has joined #ocaml
<
vixey`>
why did ocaml compilers move away from the CAM?
<
spiwack>
'cause the ZAM is highly more efficient, mostly
RobertFischer has joined #ocaml
<
bluestorm>
Yoric[DT]: pong
<
Yoric[DT]>
Coucou.
<
Yoric[DT]>
Du you have a few (dozen) minutes?
<
bluestorm>
depends :p
<
bluestorm>
probably
<
bluestorm>
(i'm hacking a custom doc generator right now)
<
Yoric[DT]>
spiwack: do you mind explaining him?
seafood has quit []
Linktim_ has joined #ocaml
<
spiwack>
in a couple of minutes
<
spiwack>
moving to private messaging
<
asmanur>
Is there anyway to tell ocamlc to ignore the existing mli's ?
<
Yoric[DT]>
bluestorm: /join #ml2008
ivan_ has joined #ocaml
thelema has joined #ocaml
<
Yoric[DT]>
Working on a paper for the ML Workshop 2008.
<
Yoric[DT]>
(deadline Monday)
<
Yoric[DT]>
(running late)
Linktim- has quit [Read error: 110 (Connection timed out)]
Linktim- has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
sirius6b has quit ["Ухожу"]
Snrrrub has quit []
RobertFischer has joined #ocaml
filp has quit ["Bye"]
schme has joined #ocaml
schme has quit [Client Quit]
schme has joined #ocaml
schme has quit [Remote closed the connection]
guillem has quit [Remote closed the connection]
mc__ has joined #ocaml
mc__ has left #ocaml []
pango has quit [Remote closed the connection]
thelema has quit ["[BX] Save water -- drink beer!"]
r0bby has quit [Connection timed out]
pango has joined #ocaml
ivan_ has quit ["Ухожу"]
<
Associat0r>
can I ask an F# question in here?
<
Associat0r>
F# channel is almost empty
<
Associat0r>
what is the best way to simulate polymorphic variants in F#
<
vixey`>
why did you bother to ask if you could ask?
<
RobertFischer>
vixey`: LOL.
yallop has joined #ocaml
tomh has joined #ocaml
OChameau has quit ["Leaving"]
smimram has quit ["bli"]
asmanur_ has joined #ocaml
sporkmonger has quit [Read error: 110 (Connection timed out)]
sporkmonger has joined #ocaml
asmanur has quit [Read error: 110 (Connection timed out)]
RobertFischer has quit []
RobertFischer has joined #ocaml
<
bla>
Associat0r, doesn't F# have polymorphic variants?
<
Yoric[DT]>
Associat0r: my best guess would be dynamic type information.
<
Yoric[DT]>
Or you can look at Haskell's HList. It's supposed to be comparable to polymorphic variants, although I have no clue what it does or how.
<
Associat0r>
bla : no
<
RobertFischer>
Associat0r: What can Variant types do that string constants can't?
<
Associat0r>
so I can have the best of both functional and OOP
<
Associat0r>
RobertFischer : this is not about strings
<
RobertFischer>
Specifically, what functionality are you looking for from variant types that you can't do with string constants in F#?
<
Associat0r>
string constants would be too slow
<
Associat0r>
what I want is being able to extend with new types and new behaviour
<
RobertFischer>
Okay, so it's not functionality you're missing, it's just speed.
<
RobertFischer>
Got a specific example of how you can't extend new types and new behavior through string constants but you can through variant types?
<
Associat0r>
it needs to be at least as fast as normal virtual function calls
<
Associat0r>
I can't have string overhead
<
Associat0r>
see the first link for what I want to be able todo
<
Associat0r>
and the second link
psnively has joined #ocaml
<
psnively>
Testing...
RobertFischer has quit []
r0bby has joined #ocaml
<
bla>
psnively, works.
ygrek has joined #ocaml
nuncanada has joined #ocaml
psnively has quit []
coucou747 has quit ["bye ca veut dire tchao en anglais"]
johnnowak has joined #ocaml
Linktim- has quit [Remote closed the connection]
Linktim has joined #ocaml
guillem has joined #ocaml
spiwack has quit [Remote closed the connection]
smimou has joined #ocaml
jbms has joined #ocaml
RobertFischer has joined #ocaml
johnnowak has quit []
johnnowak has joined #ocaml
guillem has quit [Remote closed the connection]
guillem has joined #ocaml
guillem has quit [Remote closed the connection]
guillem has joined #ocaml
jonas_e has left #ocaml []
coucou747 has joined #ocaml
yallop has left #ocaml []
bzzbzz has quit ["leaving"]
ygrek has quit [Remote closed the connection]
bzzbzz has joined #ocaml
Snark has quit ["Ex-Chat"]
bluestorm has quit ["Konversation terminated!"]
sporkmonger has quit [Read error: 110 (Connection timed out)]
johnnowak has quit []
sporkmonger has joined #ocaml
sporkmonger has quit []
m3ga has joined #ocaml
darinm has joined #ocaml
darinm has quit [Read error: 104 (Connection reset by peer)]
darinm has joined #ocaml
asmanur_ has quit [Remote closed the connection]
darinm has left #ocaml []
johnnowak has joined #ocaml
Linktim has quit [Remote closed the connection]
seafood has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
RobertFischer has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
seafood has quit [Read error: 104 (Connection reset by peer)]
marmotine has quit [Remote closed the connection]
guillem has quit [Remote closed the connection]
Yoric[DT] has quit ["Ex-Chat"]
LordMetroid has quit ["Leaving"]
jbms has quit [Read error: 110 (Connection timed out)]
Snrrrub has joined #ocaml
Jedai has quit [Read error: 113 (No route to host)]
seafood has joined #ocaml
Associat0r has quit []
hkBst has quit ["Konversation terminated!"]