gim has quit [Read error: 54 (Connection reset by peer)]
avlondono has joined #ocaml
key2 has joined #ocaml
cjohnson has quit [Remote closed the connection]
smklsmkl has quit [Read error: 110 (Connection timed out)]
smklsmkl has joined #ocaml
<key2>
someone could tell me how to make a DLL or a lib with OCAML?
<mattam>
ocamlc -a
smimou has quit [Read error: 104 (Connection reset by peer)]
mimosa has joined #ocaml
pattern has quit []
pattern has joined #ocaml
bk_ has quit ["I'll be back"]
bk_ has joined #ocaml
Kinners has quit ["leaving"]
<bk_>
ok, emacs + tuareg + viper-mode
mimosa has quit [Read error: 60 (Operation timed out)]
* JPL-Justin
is away: I'm busy
bk_ has quit ["I'll be back"]
avlondono has quit ["Leaving"]
Kinners has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
Smerbyakov has joined #ocaml
Smerbyakov is now known as mpn
mpn has quit []
mrsolo has joined #ocaml
Anvil_Vapre has quit [Remote closed the connection]
Kinners has quit ["leaving"]
vezenchio has joined #ocaml
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
m[kel[ is now known as smkl
_shawn is now known as shawn
Kinners has joined #ocaml
kosmikus|away is now known as kosmikus
Kinners has quit ["leaving"]
JPL-Justin is now known as JPL-Justin-away
<key2>
what's viper-mode
bk_ has joined #ocaml
twotwo has joined #ocaml
key2 has quit [Read error: 54 (Connection reset by peer)]
smkl has quit [Read error: 60 (Operation timed out)]
smkl has joined #ocaml
bk_ has quit ["I'll be back"]
bk_ has joined #ocaml
smimou has joined #ocaml
Shammah has joined #ocaml
Diablo has joined #ocaml
rox has quit [Read error: 104 (Connection reset by peer)]
mrsolo has quit ["Leaving"]
gim has joined #ocaml
andrewb has quit ["Leaving"]
cjohnson has joined #ocaml
<Diablo>
hello, I'm looking for some code example around UDP-multicast... Do you know where I can look for it?
Vekza has quit [Read error: 110 (Connection timed out)]
mattam_ has joined #ocaml
mattam has quit [Read error: 60 (Operation timed out)]
bk_ has quit ["I'll be back"]
smimou has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
smimou has quit [Success]
smimou has joined #ocaml
smimou has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
smimou has quit [Client Quit]
smimou has joined #ocaml
gim has quit ["++"]
smklsmkl has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
__DL__ has quit ["Bye Bye"]
bk_ has joined #ocaml
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
miach has joined #ocaml
bk_ has quit ["I'll be back"]
Vekza has joined #ocaml
smimou has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
gim has joined #ocaml
frack has joined #ocaml
cjohnson has quit [Remote closed the connection]
vegai has quit [Excess Flood]
vegai has joined #ocaml
avlondono has joined #ocaml
karryall has joined #ocaml
smklsmkl has joined #ocaml
m[kel[ has quit [Read error: 110 (Connection timed out)]
juergen has joined #ocaml
Diablo has quit [Nick collision from services.]
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
Shammah has quit ["ChatZilla 0.9.35 [Mozilla rv:1.5/20030925]"]
frack has quit ["leaving"]
bk_ has joined #ocaml
rox has joined #ocaml
gl has left #ocaml []
gl has joined #ocaml
juergen has quit ["Leaving"]
Vekza has quit ["Leaving"]
mattam_ is now known as mattam
kosmikus is now known as kosmikus|away
m[kel[ has quit [Read error: 60 (Operation timed out)]
m[kel[ has joined #ocaml
kwmarc has joined #ocaml
maihem has joined #ocaml
mij_ has quit [Read error: 60 (Operation timed out)]
mij has joined #ocaml
smimou has quit [Read error: 54 (Connection reset by peer)]
smimou has joined #ocaml
smimou has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
smimou has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
<yella>
is there something like code-insight in tuareg mode or similar?
<yella>
like i write 'List.' and it shows the available functions ?
<Banana>
hum...
<Banana>
there is a trick.
<Banana>
module M = List;;
<Banana>
and you get the module signature.
<Banana>
well there is way better than that as i just discovered...
<Banana>
you highlight a function (say Array.make) and Ctrl-c h
<Banana>
if you want help on the Sys module then you have to hilight "Sys."
<Banana>
and it also works for types.
<yella>
let me see
<yella>
im not really used to emacs, but it seems pretty handy
<yella>
oh. that's what i wanted
<yella>
nice! thanks
<Banana>
thx to you.
<Banana>
I wouldn't have thought of looking for that :)
<yella>
heh
smklsmkl has joined #ocaml
<yella>
oh i like the C-c C-r
m[kel[ has quit [Read error: 110 (Connection timed out)]
vezenchio has quit ["--- reality is that which, when you stop believing in it, doesn't go away ---"]
CosmicRay has joined #ocaml
karryall has quit ["we"]
Vekza has joined #ocaml
kosmikus|away is now known as kosmikus
Tram has joined #ocaml
twotwo has quit [Read error: 104 (Connection reset by peer)]
smklsmkl has quit [Read error: 110 (Connection timed out)]
smklsmkl has joined #ocaml
m[kel[ has joined #ocaml
smklsmkl has quit [Read error: 110 (Connection timed out)]
maihem_ has joined #ocaml
cjohnson has joined #ocaml
maihem__ has joined #ocaml
avlondono has quit ["Leaving"]
maihem_ has quit [Operation timed out]
maihem has quit [Connection timed out]
maihem_ has joined #ocaml
Anvil_Vapre has joined #ocaml
maihem__ has quit [Read error: 60 (Operation timed out)]
m[kel[ has quit [Read error: 60 (Operation timed out)]
Xcalibor has joined #ocaml
<Xcalibor>
greetings
<Riastradh>
Hi.
<Banana>
hello Xcalibor
<Banana>
and Riastradh by the way.
<Riastradh>
No, I was already here.
<Banana>
yeah, but i didn't say you hello before.
<Banana>
or did I in the morning ???
<Banana>
rhaaaa stupid time shift.
m[kel[ has joined #ocaml
<Riastradh>
Frob grovel full lexical mumble.
<Xcalibor>
i read somewhere that ocaml license has changed... is it open source now?
<Banana>
The only licence change i heard of was for the bignum library.
<Banana>
which is GPL now.
<Xcalibor>
mmm...
<Xcalibor>
well, you still own the programs you write and can spread binaries and necessary libraries with 'em, right?
<Banana>
of course.
<Banana>
the only thing that is not "free" (i mean as free as the GPL imposes) is the core compiler.
<Banana>
which is under the Qpl licence.
<Xcalibor>
ah, great
<Banana>
but you are free to do what you want with your program.
<Xcalibor>
cause I was looking for a good replacement for C++ and perl, and OCaml seems to be fast, clear, powerful and fun to write in
<Banana>
don't say anymore... :)
<Banana>
but yes you are right :))
<Xcalibor>
i'd use scheme or common-lisp, but i somehow get stuck with cl and scheme, ah, which implementation? i wish r6rs was already out...
<Xcalibor>
found a nice ocaml tutorial thanks to de.icio.us but lost it, maybe anyone of you got its url?
<Smerdyakov>
I think there may be issues with Windows OCaml programs, which need Cygwin.
<Smerdyakov>
(Issues in terms of licensing for commercial software)
<Banana>
Xcalibor: have you tried the links on the ocaml official page ?
<_jpl_>
OCaml on Windows requires Cygwin?
<Banana>
no.
<Banana>
but you can compile it with cygwin.
<Smerdyakov>
_jpl_, I thought it did. Someone said it did, and that would cause problems.
<Banana>
there is a native port of Ocaml for windows which uses the msvc++ compiler.
<Smerdyakov>
OK
<Smerdyakov>
But who wants to deal with VC++? :D
<Banana>
:)
avlondono has joined #ocaml
<Banana>
it was our quest of the day at the lab today.
<Banana>
trying to compile ocaml with the "free" version of msvc++
<Banana>
(which lacks the assembler...)
<avlondono>
hello everyone. mmm I have a related question but about ocaml in ia64. about the assembly produced ...
<Banana>
yes ?
<avlondono>
Banana: what is your problem?
<Banana>
?
<Banana>
you said you had a question no ?
<avlondono>
mine is that ocaml produces wrong assembly code ... or gcc has a bug with the extr.u instruction
<avlondono>
any experience? anyone?
<Banana>
which version of ocaml/gcc/OS ?
<avlondono>
ocaml: 3.07+2
<avlondono>
gcc 2.96 (I know it's old, it could be the problem)
<Banana>
it is imho.
<avlondono>
OS: RH9.0
<Banana>
gcc2.96 is known to produce wrong assembly in many cases.
<avlondono>
yeah, I know, it sucks, and the worst is that it isn't compatible with 2.95 nor 3.0
<Banana>
try to upgrade.
<avlondono>
so the libraries .... I guess many things might be broken in the upgrade ...
<Banana>
but...
<Banana>
is RH 9 that old ?
<avlondono>
no, that's how I got it ...
<Banana>
i thought there alredy was a gcc3 shipped with...
<avlondono>
I'm not the root ...
<avlondono>
yep
<avlondono>
dunno why
<avlondono>
man you've been of a lot of help. At least you gave me some hope
<Banana>
well, the ia64 port of ocaml arrived in ocaml 3.06 ?
<Banana>
(or am i wrong).
<Banana>
I think a bug like this would have been discovered earlier.
<Banana>
(and fixed, since it's critical).
<avlondono>
I think so. but I might be wrong.
<avlondono>
I will try again with some other assembler
<Banana>
holala.
<Banana>
no it's much older than this.
<avlondono>
I arrived to the ocaml world in 3.06
<Banana>
IA64 port was first add in ocaml-3.01
<Banana>
so a bug in code generation is unlikely to happen in 3.07
<avlondono>
gcc is most likely. you know the last days I've been kind of sick of many troubles with the compiler, I couldn't make ocaml work with the intel compiler (icc crashes). In a different machine.
<avlondono>
and whenever calling an icc compiled library, it's crashing.
<avlondono>
specifically with an MPI library
smklsmkl has joined #ocaml
<Banana>
hum...
m[kel[ has quit [Connection timed out]
<avlondono>
so, I'm in a desperate condition with the compiling step in something different than gcc-ia32-ocaml
<avlondono>
thnx again.
<Banana>
nothing.
monotonom has joined #ocaml
CosmicRay has quit ["Client exiting"]
<avlondono>
Banana: I need at least gcc 3.4. I guess I was too negative already.
<Banana>
whooo...
<Banana>
gcc3.4 ?
<Banana>
it was just released a few days ago...
<Banana>
i've had some pb at link time when i tested it yesterday...
<avlondono>
yes, but is the only one that do optimize code for itanium2 officially. Anyway, now I'm checking the specification of the assembly instruction
kosmikus is now known as kosmikus|away
smklsmkl has quit [Read error: 60 (Operation timed out)]
<avlondono>
the fourth operand should be from 1-64
<avlondono>
ocaml is puting a 0 there
<avlondono>
let's report the bug then.
<Banana>
no...
<avlondono>
no????
<avlondono>
what am I missing?
<Banana>
the value is in the range 1-64 yes.
<Banana>
BUT.
<avlondono>
BUT
<Banana>
s encoded as len6-1 in the instruction
<avlondono>
yes
<Banana>
so encoded as 0-63 non ?
<avlondono>
nop
<avlondono>
if you write assembly code, it should be from 1-64
<Banana>
hum...
<Banana>
ok.
<Banana>
then if you are sure, bug report.
<avlondono>
then the machine will encode it to len6-1
drWorm has joined #ocaml
Dawe has joined #ocaml
<drWorm>
how can i do pattern matching on the structure of strings, as in 'match foo with "a" ^ rest -> ... | "b" ^ rest -> ...'?
<Smerdyakov>
You don't.
<drWorm>
ok, hm. :)
<Smerdyakov>
^ is not related to "the structure of strings." It is an after-the-fact operation that you could implement yourself.
<drWorm>
i put it there to illustrate what i meant, i found out that it's illegal :)
<Banana>
drWorm: if it's only the first element you could match foo.[0] with ...
<Smerdyakov>
You can't pattern match on strings, as far as I know.
<Smerdyakov>
They are vectors or arrays or something.
<Smerdyakov>
Er, I mean you can't match on them with anything but equality with a constant.
<drWorm>
ok, i guess i'll make me some types instead
<Xcalibor>
drWorm, you can try to use a regex on it, though
<drWorm>
Xcalibor: that's really overkill for my needs, but thanks :)
Dawe has quit ["leaving"]
<Xcalibor>
drWorm, if it works, it's never overkill ;-)
kwmarc has quit [Read error: 113 (No route to host)]
<_jpl_>
drWorm: good morning, how are you
Alain_ has joined #ocaml
<drWorm>
_jpl_: i'm fine, thanks (and interested in things)
<Alain_>
interesting, how much slower the discussions are on #ocaml than on caml-list#inria.fr :-)
<drWorm>
slower, but more profound
<Alain_>
I hope so !
<_jpl_>
drWorm: :)
<Riastradh>
I bet if you attained total enlightenment while drinking beer, beer would shoot out of your nose.
<drWorm>
man.
<Alain_>
"more profound" ?
<_jpl_>
A satori moment while drinking beer. I wonder what would trigger it.
<Smerdyakov>
Riastradh, why do you say that so much?
<Riastradh>
I've said it only twice on IRC.
<Smerdyakov>
Riastradh, that's a lot.
<Riastradh>
And this time it was just the perfect moment to say it.
<Banana>
well there as been many noise on caml-list today....
<Banana>
(people asking how to compile under windows with this and that ...)
<Banana>
;)
<Alain_>
thanks Banana
<drWorm>
i still read caml-beginners, wouldn't know :)
<Banana>
Alain_: just kidding.
<Alain_>
I'm trying to unsubscribe from caml-beginners for months
<_jpl_>
I only read caml-uninitiated
<Alain_>
Well, spam-oracle filters out the mail from caml-beginners, so I don't care any more
<Banana>
the Thread on "Why isn't there Pervasives.identity" included ....
<drWorm>
Alain_: maybe you have to prove your worth before it lets you go :)
<Alain_>
what are you talking about, drWorm ?
<drWorm>
show that you have attained the Zen of HOF
<Alain_>
Ah ok.
<Alain_>
Sure.
<Banana>
Alain_: or just post an outrageouly offensive email to that list.
<Banana>
so that you get banned.
<Banana>
but ... your reputation may suffer though...
<Alain_>
We should organize an OCaml quizz to unsubscribe from ocaml-beginners
<Alain_>
I cannot post to the list. That's the problem.
<Alain_>
I should figure out which email account I used when I subscribed.
<Alain_>
Not too difficult, but spam-oracle is clever enough.
<Alain_>
Ahem, my reputation, ahem.
<Banana>
Some years ago it would have been considered waste of bandwidth :)
smklsmkl has quit [Read error: 60 (Operation timed out)]
<Alain_>
Considering the amount of other kind of spams ...
smimou has quit ["?"]
<_jpl_>
drWorm: I now have that song stuck in my head
gim has quit ["bn"]
<drWorm>
there are worse tunes that can stick :)
<_jpl_>
drWorm: indeed, it's a favorite
skylan has quit [orwell.freenode.net irc.freenode.net]
yella has quit [orwell.freenode.net irc.freenode.net]
_jpl_ has quit [orwell.freenode.net irc.freenode.net]
Alain_ has quit [orwell.freenode.net irc.freenode.net]
monotonom has quit [orwell.freenode.net irc.freenode.net]
Tram has quit [orwell.freenode.net irc.freenode.net]
Vekza has quit [orwell.freenode.net irc.freenode.net]
mij has quit [orwell.freenode.net irc.freenode.net]
drWorm has quit [orwell.freenode.net irc.freenode.net]
malte has quit [orwell.freenode.net irc.freenode.net]
Banana has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
Xcalibor has quit [orwell.freenode.net irc.freenode.net]
kosmikus|away has quit [orwell.freenode.net irc.freenode.net]
shawn has quit [orwell.freenode.net irc.freenode.net]
Akshaal has quit [orwell.freenode.net irc.freenode.net]
themus has quit [orwell.freenode.net irc.freenode.net]
shrimpx has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
slashvar_ has quit [orwell.freenode.net irc.freenode.net]
Dybbuk has quit [orwell.freenode.net irc.freenode.net]
Anvil_Vapre has quit [orwell.freenode.net irc.freenode.net]
cjohnson has quit [orwell.freenode.net irc.freenode.net]
Hipo has quit [orwell.freenode.net irc.freenode.net]
rox has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
pattern has quit [orwell.freenode.net irc.freenode.net]
zoidberg has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
mellum has quit [orwell.freenode.net irc.freenode.net]
maihem_ has quit [orwell.freenode.net irc.freenode.net]
bk_ has quit [orwell.freenode.net irc.freenode.net]
miach has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
fab has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
JPL-Justin-away has quit [orwell.freenode.net irc.freenode.net]
Alain_ has joined #ocaml
drWorm has joined #ocaml
monotonom has joined #ocaml
Xcalibor has joined #ocaml
Anvil_Vapre has joined #ocaml
maihem_ has joined #ocaml
cjohnson has joined #ocaml
Tram has joined #ocaml
Vekza has joined #ocaml
mij has joined #ocaml
gl has joined #ocaml
rox has joined #ocaml
bk_ has joined #ocaml
miach has joined #ocaml
mattam has joined #ocaml
Smerdyakov has joined #ocaml
pattern has joined #ocaml
kosmikus|away has joined #ocaml
malte has joined #ocaml
Dybbuk has joined #ocaml
fab has joined #ocaml
shawn has joined #ocaml
Banana has joined #ocaml
Akshaal has joined #ocaml
skylan has joined #ocaml
themus has joined #ocaml
_jpl_ has joined #ocaml
slashvar_ has joined #ocaml
Riastradh has joined #ocaml
JPL-Justin-away has joined #ocaml
cmeme has joined #ocaml
Hipo has joined #ocaml
yella has joined #ocaml
lam has joined #ocaml
mof has joined #ocaml
hf_ has joined #ocaml
shrimpx has joined #ocaml
mellum has joined #ocaml
zoidberg has joined #ocaml
Hadaka has joined #ocaml
<Alain_>
I decided to put some random functions I wrote.
<Alain_>
into a library.
<Alain_>
I hesitate between extlib and findlib as the name for the lib.
yella has quit [orwell.freenode.net irc.freenode.net]
_jpl_ has quit [orwell.freenode.net irc.freenode.net]
skylan has quit [orwell.freenode.net irc.freenode.net]
mof has quit [orwell.freenode.net irc.freenode.net]
lam has quit [orwell.freenode.net irc.freenode.net]
Banana has quit [orwell.freenode.net irc.freenode.net]
malte has quit [orwell.freenode.net irc.freenode.net]
mij has quit [orwell.freenode.net irc.freenode.net]
Vekza has quit [orwell.freenode.net irc.freenode.net]
Tram has quit [orwell.freenode.net irc.freenode.net]
monotonom has quit [orwell.freenode.net irc.freenode.net]
drWorm has quit [orwell.freenode.net irc.freenode.net]
Alain_ has quit [orwell.freenode.net irc.freenode.net]
hf_ has quit [orwell.freenode.net irc.freenode.net]
gl has quit [orwell.freenode.net irc.freenode.net]
shrimpx has quit [orwell.freenode.net irc.freenode.net]
Akshaal has quit [orwell.freenode.net irc.freenode.net]
Xcalibor has quit [orwell.freenode.net irc.freenode.net]
themus has quit [orwell.freenode.net irc.freenode.net]
shawn has quit [orwell.freenode.net irc.freenode.net]
kosmikus|away has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
slashvar_ has quit [orwell.freenode.net irc.freenode.net]
Dybbuk has quit [orwell.freenode.net irc.freenode.net]
cjohnson has quit [orwell.freenode.net irc.freenode.net]
Anvil_Vapre has quit [orwell.freenode.net irc.freenode.net]
Hipo has quit [orwell.freenode.net irc.freenode.net]
pattern has quit [orwell.freenode.net irc.freenode.net]
Smerdyakov has quit [orwell.freenode.net irc.freenode.net]
zoidberg has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
rox has quit [orwell.freenode.net irc.freenode.net]
mellum has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
fab has quit [orwell.freenode.net irc.freenode.net]
maihem_ has quit [orwell.freenode.net irc.freenode.net]
JPL-Justin-away has quit [orwell.freenode.net irc.freenode.net]
mattam has quit [orwell.freenode.net irc.freenode.net]
bk_ has quit [orwell.freenode.net irc.freenode.net]
miach has quit [orwell.freenode.net irc.freenode.net]
Alain_ has joined #ocaml
drWorm has joined #ocaml
monotonom has joined #ocaml
Xcalibor has joined #ocaml
Anvil_Vapre has joined #ocaml
maihem_ has joined #ocaml
cjohnson has joined #ocaml
Tram has joined #ocaml
Vekza has joined #ocaml
mij has joined #ocaml
gl has joined #ocaml
rox has joined #ocaml
bk_ has joined #ocaml
miach has joined #ocaml
mattam has joined #ocaml
Smerdyakov has joined #ocaml
pattern has joined #ocaml
kosmikus|away has joined #ocaml
malte has joined #ocaml
Dybbuk has joined #ocaml
fab has joined #ocaml
shawn has joined #ocaml
Banana has joined #ocaml
Akshaal has joined #ocaml
themus has joined #ocaml
slashvar_ has joined #ocaml
Riastradh has joined #ocaml
JPL-Justin-away has joined #ocaml
cmeme has joined #ocaml
Hipo has joined #ocaml
Hadaka has joined #ocaml
zoidberg has joined #ocaml
mellum has joined #ocaml
shrimpx has joined #ocaml
hf_ has joined #ocaml
mof has joined #ocaml
lam has joined #ocaml
<drWorm>
did you know that if if the sun were hollow, a million earths would fit inside (and yet it is only a middle-sized star)
skylan has joined #ocaml
_jpl_ has joined #ocaml
yella has joined #ocaml
<Banana>
?
<drWorm>
just your random fact
<Alain_>
if the stdlib was hollow, a million extlibs would fit inside ?
_jpl_ has quit [Read error: 104 (Connection reset by peer)]
<drWorm>
and yet, stdlib is only a middle-sized lib
<Alain_>
yes
<Alain_>
crazy
<Banana>
well well well...
<mattam>
oh this thread on hashtbl.keys was so interresting too...
<Banana>
time for me to sleep.
_jpl_ has joined #ocaml
<Banana>
ho yes it was.
<drWorm>
_jpl_: if the sun were hollow, how many earths would fit inside?
<Alain_>
time for me to make this 2.6.5 kernel boot...
<_jpl_>
drWorm: So many that... I forget
<drWorm>
millions! :)
<Alain_>
have good night, Kim
<_jpl_>
drWorm: I do know that it's a mass of incandescent gas, a gigantic nuclear furnace
<drWorm>
yes :) and it's not a place where we could live.
<Banana>
'night people.
smklsmkl has joined #ocaml
<bk_>
Darl McBride isn't hollow and yet hes still full of s*hit
<avlondono>
lol
<drWorm>
a million lies fits inside
<bk_>
hehe
<Alain_>
do you think we should issue a feature request to the caml team to get this into the stdlib ?
<Alain_>
module Id(T : sig module type S end)(X : T.S) : T.S = X;;
<drWorm>
the identity module, i like
<Smerdyakov>
Alain_, why?
<Alain_>
don't know
<Alain_>
could be useful if you have a higher-order functor
<mattam>
id is usefull when passing functions, really
<Banana>
but there was a stupid reason...
<Banana>
like identity could be optimised as "%identity"...
<mattam>
the %identity thing i didn't understand though...
<mattam>
;)
<Banana>
the only reason to have identity, is to pass it as a "default" function or something...
<Banana>
not to apply it...
<Alain_>
I feel that "let swap (x,y) = (y,x)" or "let apply_ooo f x y = f y x" would be more useful than id.
<Alain_>
anyway
<Xcalibor>
time for bed, laters!
<Banana>
i think the "Cathedral" thread gave silly ideas to some people...
<Banana>
'night Xcalibor
<Banana>
now every day someone post something like "This Uber Useful function HAS TO BE included in stdlib..."
Xcalibor has quit ["Leaving"]
<mattam>
List.intersperse sep fn list would be nice too
<Alain_>
Banana, yeah for instance I used windows today
<monotonom>
Your apply_ooo is Haskell's flip. Oops wrong channel. Well you can always add your apply_ooo to your own collection of ocaml utility functions.
<Alain_>
thanks monotonom. echo "let apply_ooo f x y = f y x" >> extlib.ml
<Banana>
Alain_: did you succeed to compile ocaml with masm in fine ?
<Alain_>
I don't want to compile ocaml, just use ocamlopt.
<Alain_>
I have a very bad karma with windows
<Banana>
yeah I saw that.
<Alain_>
even with Cygwin, as you might have noticed this morning
<Banana>
("Installing dot net components...")
<Alain_>
arf
<Alain_>
I liked this very special "perpetual motion"-progress bar widget.
<drWorm>
IE invention :)
<monotonom>
Hmm how could you have perpetual motion in a finite-length progress bar? By a Zeno kind of thing?
<Alain_>
we all have a lot to learn from windows
<Alain_>
when it was over, it started again
<Alain_>
and again
<Alain_>
and again
<Alain_>
with the same text, of course
<monotonom>
Ah heheh.
<Banana>
and from it's mmi.
<Alain_>
and then a BSD daemon appeared in front of the screen
<Banana>
"Press Abort to continue, press no to proceed, press Yes to abort."
<Alain_>
and the installer decided it was getting serious
<Alain_>
so it finished just then
<Alain_>
I have witnesses
<Banana>
Well, we could call it an empiric law "Windows works better in presence of hairy people wearing bsd t-shirts"
<Alain_>
Makes me think I have a MMIX t-shirt. I should try it next time I try to do something with windos.