vezenchio has quit ["\o/ in mochintin namocniuh \o/"]
ski has quit ["Zzzz"]
interferon has joined #ocaml
interferon has quit [Remote closed the connection]
ChoJin has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
threeve has quit []
Revision17 has quit [Read error: 104 (Connection reset by peer)]
Smerdyakov has quit []
cmeme has quit [Read error: 104 (Connection reset by peer)]
ski has joined #ocaml
pattern has quit [kornbluth.freenode.net irc.freenode.net]
mellum has quit [kornbluth.freenode.net irc.freenode.net]
Mike_L has quit [kornbluth.freenode.net irc.freenode.net]
Mike_L has joined #ocaml
ChoJin has joined #ocaml
pattern has joined #ocaml
mellum has joined #ocaml
__DL__ has joined #ocaml
cmeme has joined #ocaml
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
Snark has joined #ocaml
ChoJin has quit [Read error: 110 (Connection timed out)]
mlh_ has quit [kornbluth.freenode.net irc.freenode.net]
gim has quit [kornbluth.freenode.net irc.freenode.net]
pnou_ has quit [kornbluth.freenode.net irc.freenode.net]
rossberg has quit [kornbluth.freenode.net irc.freenode.net]
det has quit [kornbluth.freenode.net irc.freenode.net]
j_n has quit [kornbluth.freenode.net irc.freenode.net]
Snark has quit [kornbluth.freenode.net irc.freenode.net]
mauke has quit [kornbluth.freenode.net irc.freenode.net]
Esine has quit [kornbluth.freenode.net irc.freenode.net]
vincenz has quit [kornbluth.freenode.net irc.freenode.net]
clog has joined #ocaml
mflux has joined #ocaml
mellum has joined #ocaml
rossberg has joined #ocaml
pattern has joined #ocaml
j_n has joined #ocaml
whee has joined #ocaml
Esine has joined #ocaml
__DL__ has joined #ocaml
det has joined #ocaml
gim has joined #ocaml
joeytwiddle has joined #ocaml
rossberg has quit [calvino.freenode.net irc.freenode.net]
Amorphous has joined #ocaml
rossberg has joined #ocaml
Snark has joined #ocaml
Snark has quit [calvino.freenode.net irc.freenode.net]
Amorphous has quit [calvino.freenode.net irc.freenode.net]
Snark has joined #ocaml
Amorphous has joined #ocaml
mlh_ has joined #ocaml
juri has joined #ocaml
Naked has joined #ocaml
Naked is now known as Hadaka
Banana has joined #ocaml
calvin_ has joined #ocaml
zvrba has joined #ocaml
mw has joined #ocaml
TaXules has joined #ocaml
shrimpx has joined #ocaml
ulfdoz has joined #ocaml
noj has joined #ocaml
skylan has joined #ocaml
Mike_L has joined #ocaml
mlh_ has quit [Client Quit]
oracle1 has joined #ocaml
mauke has joined #ocaml
vincenz has joined #ocaml
clog has joined #ocaml
ski has joined #ocaml
skylan has joined #ocaml
dan2 has joined #ocaml
det has joined #ocaml
rossberg has joined #ocaml
petter has joined #ocaml
Enveigler has joined #ocaml
Enveigler_ has joined #ocaml
ski has quit [sterling.freenode.net irc.freenode.net]
Snark has quit [sterling.freenode.net irc.freenode.net]
Amorphous has quit [sterling.freenode.net irc.freenode.net]
det has quit [sterling.freenode.net irc.freenode.net]
rossberg has quit [sterling.freenode.net irc.freenode.net]
zvrba has quit [sterling.freenode.net irc.freenode.net]
zvrba has joined #ocaml
<ulfdoz>
re
Enveigler has quit [Read error: 110 (Connection timed out)]
det has joined #ocaml
ski has joined #ocaml
Amorphous has joined #ocaml
Snark has joined #ocaml
rossberg has joined #ocaml
ulfdoz has quit ["back soon"]
waltraud has joined #ocaml
waltraud is now known as ulfdoz
Amorphous has quit [Read error: 145 (Connection timed out)]
<juri>
stupid question: will a binary i compile with ocamlopt, using lablgtk2 and cairo-ocaml, work without any ocaml stuff, including lablgtk2 and cairo-ocaml, installed?
<juri>
i have no other machine to test on and i'd rather not uninstall all of that (or play with chroot) just to test this out :-)
<petter>
maybee use ldd to see what libs it depends on?
<juri>
looks clean, i thought there might be a slight chance it could load something dynamically
<juri>
seems unlikely
<juri>
well, rm -rf'd /usr/lib/ocaml/3.09.3/cairo and the thing still works, i suppose that answers my question
<juri>
er, s/09/08/
Gueben has joined #ocaml
Enveigler_ has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
Enveigler_ has joined #ocaml
mflux_ has quit [sterling.freenode.net irc.freenode.net]
vincenz has quit [sterling.freenode.net irc.freenode.net]
Mike_L has quit [sterling.freenode.net irc.freenode.net]
Hadaka has quit [sterling.freenode.net irc.freenode.net]
juri has quit [sterling.freenode.net irc.freenode.net]
whee has quit [sterling.freenode.net irc.freenode.net]
pattern has quit [sterling.freenode.net irc.freenode.net]
mflux has joined #ocaml
whee has joined #ocaml
Gueben has quit [sterling.freenode.net irc.freenode.net]
Snark has quit [sterling.freenode.net irc.freenode.net]
det has quit [sterling.freenode.net irc.freenode.net]
zvrba has quit [sterling.freenode.net irc.freenode.net]
pattern has joined #ocaml
zvrba has joined #ocaml
Naked has joined #ocaml
Gueben has joined #ocaml
Naked is now known as Hadaka
clog has joined #ocaml
__DL__ has joined #ocaml
Banana has joined #ocaml
det has joined #ocaml
joeytwiddle has joined #ocaml
Esine has joined #ocaml
gim has joined #ocaml
ulfdoz has joined #ocaml
Snark has joined #ocaml
dan2 has joined #ocaml
Banana has quit [brown.freenode.net irc.freenode.net]
vincenz has quit [brown.freenode.net irc.freenode.net]
mellum__ has quit [brown.freenode.net irc.freenode.net]
TaXules has quit [brown.freenode.net irc.freenode.net]
shrimpx has quit [brown.freenode.net irc.freenode.net]
petter has quit [brown.freenode.net irc.freenode.net]
mw has quit [brown.freenode.net irc.freenode.net]
ski has quit [brown.freenode.net irc.freenode.net]
Hipo has quit [brown.freenode.net irc.freenode.net]
calvin_ has quit [brown.freenode.net irc.freenode.net]
mauke has quit [brown.freenode.net irc.freenode.net]
skylan has quit [brown.freenode.net irc.freenode.net]
petter has joined #ocaml
mw has joined #ocaml
mellum___ has joined #ocaml
skylan has joined #ocaml
Hipo has joined #ocaml
mauke has joined #ocaml
ski has joined #ocaml
ulfdoz has quit [brown.freenode.net irc.freenode.net]
juri has joined #ocaml
Mike_L has joined #ocaml
zvrba has joined #ocaml
Banana has joined #ocaml
vincenz has joined #ocaml
calvin_ has joined #ocaml
calvin_ has quit [brown.freenode.net irc.freenode.net]
vincenz has quit [brown.freenode.net irc.freenode.net]
ski has quit [brown.freenode.net irc.freenode.net]
Hipo has quit [brown.freenode.net irc.freenode.net]
zvrba has quit [brown.freenode.net irc.freenode.net]
Mike_L has quit [brown.freenode.net irc.freenode.net]
mw has quit [brown.freenode.net irc.freenode.net]
__DL__ has quit [brown.freenode.net irc.freenode.net]
juri has quit [brown.freenode.net irc.freenode.net]
Hadaka has quit [brown.freenode.net irc.freenode.net]
Snark has quit [brown.freenode.net irc.freenode.net]
rossberg has quit [brown.freenode.net irc.freenode.net]
mauke has quit [brown.freenode.net irc.freenode.net]
Amorphous has quit [brown.freenode.net irc.freenode.net]
whee has quit [brown.freenode.net irc.freenode.net]
Enveigler_ has quit [brown.freenode.net irc.freenode.net]
noj has quit [brown.freenode.net irc.freenode.net]
pattern has quit [brown.freenode.net irc.freenode.net]
mflux has quit [brown.freenode.net irc.freenode.net]
petter has quit [brown.freenode.net irc.freenode.net]
TaXules has joined #ocaml
shrimpx has joined #ocaml
calvin_ has joined #ocaml
vincenz has joined #ocaml
zvrba has joined #ocaml
Mike_L has joined #ocaml
juri has joined #ocaml
ski has joined #ocaml
mauke has joined #ocaml
Hipo has joined #ocaml
mw has joined #ocaml
petter has joined #ocaml
Snark has joined #ocaml
__DL__ has joined #ocaml
Hadaka has joined #ocaml
pattern has joined #ocaml
whee has joined #ocaml
mflux has joined #ocaml
Enveigler_ has joined #ocaml
Amorphous has joined #ocaml
noj has joined #ocaml
rossberg has joined #ocaml
pattern has quit [brown.freenode.net irc.freenode.net]
mflux has quit [brown.freenode.net irc.freenode.net]
mflux has joined #ocaml
vincenz has quit [brown.freenode.net irc.freenode.net]
TaXules has quit [brown.freenode.net irc.freenode.net]
shrimpx has quit [brown.freenode.net irc.freenode.net]
ski has quit [brown.freenode.net irc.freenode.net]
calvin_ has quit [brown.freenode.net irc.freenode.net]
Hipo has quit [brown.freenode.net irc.freenode.net]
__DL__ has quit [brown.freenode.net irc.freenode.net]
mw has quit [brown.freenode.net irc.freenode.net]
Mike_L has quit [brown.freenode.net irc.freenode.net]
zvrba has quit [brown.freenode.net irc.freenode.net]
mflux has quit [brown.freenode.net irc.freenode.net]
Hadaka has quit [brown.freenode.net irc.freenode.net]
juri has quit [brown.freenode.net irc.freenode.net]
rossberg has quit [brown.freenode.net irc.freenode.net]
Snark has quit [brown.freenode.net irc.freenode.net]
Amorphous has quit [brown.freenode.net irc.freenode.net]
mauke has quit [brown.freenode.net irc.freenode.net]
whee has quit [brown.freenode.net irc.freenode.net]
Enveigler_ has quit [brown.freenode.net irc.freenode.net]
noj has quit [brown.freenode.net irc.freenode.net]
petter has quit [brown.freenode.net irc.freenode.net]
rossberg has joined #ocaml
mflux has joined #ocaml
TaXules has joined #ocaml
shrimpx has joined #ocaml
calvin_ has joined #ocaml
vincenz has joined #ocaml
zvrba has joined #ocaml
Mike_L has joined #ocaml
juri has joined #ocaml
ski has joined #ocaml
mauke has joined #ocaml
Hipo has joined #ocaml
mw has joined #ocaml
petter has joined #ocaml
__DL__ has joined #ocaml
Hadaka has joined #ocaml
whee has joined #ocaml
Enveigler_ has joined #ocaml
Amorphous has joined #ocaml
noj has joined #ocaml
Snark has joined #ocaml
ulfdoz has joined #ocaml
pattern has joined #ocaml
Esine has quit [Connection reset by peer]
Esine has joined #ocaml
Amorphous has quit [Success]
mikeX has joined #ocaml
mikeX has quit ["Leaving"]
vezenchio has joined #ocaml
Amorphous has joined #ocaml
Enveigler has joined #ocaml
Enveigler_ has quit [Read error: 110 (Connection timed out)]
Tachyon76 has joined #ocaml
Gueben has quit [Remote closed the connection]
threeve has joined #ocaml
j00t has joined #ocaml
Tachyon76 has quit ["Leaving"]
j00t has quit ["Leaving"]
Gueben has joined #ocaml
GuebN has joined #ocaml
Gueben has quit [Nick collision from services.]
GuebN is now known as Gueben
Smerdyakov has joined #ocaml
mikeX has joined #ocaml
mikeX has quit ["Leaving"]
mfurr has joined #ocaml
Enveigler has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit []
threeve has left #ocaml []
ChoJin_ has joined #ocaml
ChoJin_ has quit [Read error: 110 (Connection timed out)]
cmeme has joined #ocaml
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
Saulzar has joined #ocaml
ChoJin_ has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
ChoJin_ has quit ["Leaving"]
ChoJin has joined #ocaml
<ChoJin>
hello
<zvrba>
hello
Gueben has quit [Read error: 104 (Connection reset by peer)]
ski has quit ["Zzz (Han teleporterar taliban !)"]
mrsolo has joined #ocaml
Enveigler has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
mikeX has joined #ocaml
monochrom has joined #ocaml
gim has joined #ocaml
Saulzar has quit ["Leaving"]
Snark has quit ["Leaving"]
mikeX has quit ["Leaving"]
Revision17 has joined #ocaml
ramkrsna has joined #ocaml
<oracle1>
uh..how does a string option array option look like?
petter has quit [Read error: 110 (Connection timed out)]
<oracle1>
Some ( [| Some "a" |]);;
<oracle1>
strange thing.
Enveigler has quit [Read error: 110 (Connection timed out)]
<monochrom>
You get an array, or you get None.
<monochrom>
If you get an array, each entry is None or a string.
<monochrom>
Not so strange once you find a use of it.
<oracle1>
as with everything, heh.
ramkrsna has quit [Remote closed the connection]
__DL__ has quit ["Bye Bye"]
<monochrom>
Though I have to say, at the outermost level, why bother with an array or None? May as well use an array of size 0.
<oracle1>
don't ask me. The
<oracle1>
Mysql Module is using it
<oracle1>
maybe a result of some foreign type conversion
angagon has joined #ocaml
angagon has left #ocaml []
<monochrom>
Ah! Then there is a reason to distinguish "no array" from "empty array". The former indicates some failure; the latter a successful query but it happens to yield an empty table.
<mellum___>
Why not use exceptions for failures?
<monochrom>
That sparks a religious war. :)
<oracle1>
exceptions suck
<oracle1>
(heh and there we go)
<ChoJin>
I have a problem. My mind is too object oriented. I have a pure abstract class BinaryFile and two derivated class ELFBinaryFile and PEBinaryFile. This allow me to have a BinaryFile array, and also to have function which takes BinaryFile types.
<ChoJin>
not the question I am wondering, is what is the equivalent in module oriented design
<ChoJin>
s/not/now
<ChoJin>
I would you do that without classes
<ChoJin>
I guess it is similar to wondering how you would do a "plugin system" without OOP
<monochrom>
I think OOP is fine for this.
<ChoJin>
yes, just for the sake of it, I am wondering how one would do without :)
<monochrom>
The requirement of having a BinaryFile array makes it very hard or hackery to do without a notion of subtyping.
Gueben has joined #ocaml
<ChoJin>
this requirement is because I want to have a "plugin" system
<ChoJin>
such that I can add new binaryfile easily
threeve has joined #ocaml
<monochrom>
Yes. Another implicit requirement that also calls for subtyping is that we don't know what other kinds of BinaryFile's there will be in the future.
<ChoJin>
So I would add an instance to this array, and I can go through this array to see what is supported. I can even have a function "accept" to auto-detect the format
<monochrom>
Sometimes OOP is a clean solution.
<ChoJin>
monochrom: so basically, plugin system are hard/hackish to develop without OOP?
<ChoJin>
I have been doing OOP for so long, that sometime I am afraid to be biased, that's why I wanted to check if there is a better way to do it in ocaml
<ChoJin>
I even don't recall exactly how I was doing it in C, problably using some function pointers
<monochrom>
There is a plugin system in Haskell plus GHC extensions. It does not use subtyping, and I don't know what it uses, and somehow I'm still sure it's rather clean. But what it uses is not available in ocaml.
<ChoJin>
ok
<ChoJin>
maybe it use the "deriving" thing?
<monochrom>
No. Something deeper.
<ChoJin>
I'll check then. Can be interesting
<monochrom>
Indeed.
<monochrom>
Ah, by "in" I mean someone has written a plugin system using Haskell plus GHC extensions; not that this plugin system already comes out of the box.
<monochrom>
You have to ask in #haskell.
<ChoJin>
k
<ChoJin>
thx :)
det has quit ["Terminated with extreme prejudice - dircproxy 1.0.5"]
vezenchio has quit ["\o/ in mochintin namocniuh \o/"]