<solarwind>
Hm.. the irony is that I'm watching a french movie in this very moment.
<Ag_47>
solarwind: i begin to suspect bad things everytime a popular resource become unavailable
<vegai>
agh, why do all examples of the module language consist of Stack, Set and the "Bank Account example"
* vegai
wants redundancy
<solarwind>
Ag_47: Be more optimistic.
solarwind has quit ["Blip."]
<mflux>
I wonder if ocaml is ever/in near future going to support real, efficient multiprocessing.. multicore cpu's are coming.
<mflux>
I understand gc is the biggest obstacle?
<karryall>
xavier said they were not interested IIRC
<karryall>
basically, they did not believe in SMP
<mflux>
I wonder if that's going to change, intel is thinking 75% of their cpu's will be dual-core in 2006 ;) (which you guys have propably read too)
<mflux>
any ideas how sml is in this regard?
<mflux>
I believe haskell has some projects for supporting concurrency with different approaches..
vezenchio has joined #ocaml
kisu has quit [Read error: 104 (Connection reset by peer)]
Herrchen has quit ["bye"]
kisu has joined #ocaml
<karryall>
don't know about sml or haskell but yes the gc is one of the main obstacles
<karryall>
actually caml had a concurrent GC at some point and they simplified it to make ocaml's gc
mflux_ has joined #ocaml
karryall has quit [sterling.freenode.net irc.freenode.net]
mflux has quit [sterling.freenode.net irc.freenode.net]
tintin has joined #ocaml
nlv11757_ has left #ocaml []
tea has joined #ocaml
karryall has joined #ocaml
j_n has quit ["j_n has no reason"]
CosmicRay has joined #ocaml
senko has quit [Read error: 54 (Connection reset by peer)]
j_n has joined #ocaml
bzzbzz has joined #ocaml
<vincenz>
woah
<vincenz>
what spam was that earlier?
Ag_47 has left #ocaml []
picard has quit ["Leaving"]
<vegai>
is the ocaml book out in paper yet?
<karryall>
vegai: which one ?
Gueben has joined #ocaml
<vegai>
"Developing Applications With Objective Caml" by Chailloux, Manoury, Pagano
<vegai>
O'Reilly
<vegai>
oh, the original is in French, of course
<vegai>
so, the translation is not published yet?
<vincenz>
why? It's free
<vincenz>
download
<vegai>
I'm unable to study from computer screen
<Smerdyakov>
vegai, maybe you need special computer glasses! I just got 'em!
<vegai>
perhaps I need a $50000 monitor..
<vegai>
"unable" is too strong. Let's just say that my performance is much worse that way
<vegai>
too much distractions
<vegai>
well, I guess I can print the more relevant parts of it
<karryall>
IIRC the translation wasn't meant to be published
<vegai>
oh...
<vegai>
then again, I could get the French version
<vegai>
to kill two birds with one stone, you know :)
<karryall>
you mean 'faire d'une pierre deux coups' I guess
<karryall>
:)
<karryall>
bye
karryall has quit ["tcho"]
bzzbzz has quit ["leaving"]
<vincenz>
vegai: ever heard of a printer?
<vincenz>
ooops..too late
<vincenz>
anyways I printed it all
<vincenz>
doublesided of course
<vegai>
vincenz: if I'm going to have it on paper, why shouldn't I just buy the book?
<vegai>
higher quality paper + money to the authors -- both good things
bzzbzz has joined #ocaml
<mflux_>
company/university-sponsored printing is free, which is a good thing too?-)
<vegai>
free for me
<vegai>
anyway, I just like books
<vincenz>
I used to too
<vincenz>
now I have too many books on C++ that are not conformant to std
<vincenz>
which are not reclycable
<vegai>
I don't like C++ books, though :)
<vegai>
I was ashamed to have Bjarnstroup's book in my shelf
<vegai>
thankfully, some poor soul bought it
<mflux_>
if one had bought an ocaml book (written in french?), it would be outdated too
<mflux_>
bjarnestroup's :)
<mflux_>
I have one too
<mflux_>
and still do ;)
<vegai>
I always call him "Starstrousstroup" in informal speech
<vincenz>
startrousersoup
<vincenz>
?
<vegai>
preffered to all of these possibilites is to ignore him, though
<vincenz>
who?
<vegai>
exactly.
<vincenz>
stroustrup?
<vegai>
who?
<vincenz>
hehe
<vincenz>
ugh
<vincenz>
I'm reading winskel...I think I'm in over my head
* vincenz
sighs
<vincenz>
I can understand it but the exercises where he asks to prove something... :/
* vincenz
doesn't have a background in CS or formalisms
<vegai>
ok, so back to the topic
<vincenz>
oreilly
<vegai>
consider the Stack example that every modules tutorial has
<vincenz>
hmmhmm?
<vegai>
if I have two different implementations (structs) of the stack that share the same signature
<vincenz>
yes
<vegai>
then I can define functions that accept these both stacks?
<vincenz>
functions?
<vincenz>
you mean Functors
<mflux_>
I think he means functions?
<vegai>
I think so too
<vincenz>
I don't
<vincenz>
cause any function that can use both...
<vegai>
I do, but I might be mistaken
<vincenz>
will need to access the functions that actually do stuff with these stacks
<vincenz>
to get access to these methods... you must have imported the module
<vincenz>
seeing the module is now variable
<vincenz>
you want a Functor module
<vincenz>
taking as parameter the stack implementation module
<vegai>
so the point is to have functions that do things on Stacks, but as they use only the functions defined in the Stack sig, *my* functions shouldn't have to care about the Stack's implementations
<vegai>
so, this is done by functors?
<vegai>
ok
<vincenz>
basically at SOME point you will have to do
<vincenz>
STACKIMPLEMENTATION.pop_element stack
<vincenz>
either you choose one
<vincenz>
or you make a functor module
<vegai>
hmm, might the classes be a better solution for this then..
<vincenz>
this is all compiletime-bound by the way
<vincenz>
if you want polymorphism look into oo
er has joined #ocaml
er is now known as yakker
<vegai>
I'd rather do it with modules
<vegai>
so I'll read on
<vincenz>
modules are inherently compiletime
<yakker>
is the Str module part of the standard OCaml distribution?
<vincenz>
yes
<vincenz>
but you gotta link to str.cma or str.cmxa
<yakker>
vincenz: thanx.
<vincenz>
np
<vincenz>
vegai: you know c++?
<vincenz>
vegai: ping
* vincenz
uses a combination of functors and oo aspects to get something akin to mixins :D