mfurr changed the topic of #ocaml to: OCaml 3.08.2 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
m3ga has joined #ocaml
Nutssh has joined #ocaml
Nutssh has quit [Client Quit]
Nutssh has joined #ocaml
dsilva has quit [Remote closed the connection]
m3ga has quit ["Client exiting"]
okhra has joined #ocaml
okhra has quit ["Leaving"]
tea has quit [Read error: 104 (Connection reset by peer)]
picard has joined #ocaml
<picard> are upper case variables not allowed in ocaml, such as let Foo = 4;; Do capitolized words always refert to constructors
<Riastradh> Yes & yes.
fab__ has joined #ocaml
_fab has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
cjohnson has quit [Remote closed the connection]
cjohnson has joined #ocaml
Kiss^Army has quit ["Abandonando"]
picard has quit [Remote closed the connection]
vezenchio has quit ["I live in a yurt on the steppes of Sheepfuckistan. That's why."]
CosmicRay has joined #ocaml
CosmicRay has quit [Client Quit]
CosmicRay has joined #ocaml
CosmicRay has quit [Client Quit]
CosmicRay has joined #ocaml
CosmicRay has quit [Read error: 113 (No route to host)]
picard has joined #ocaml
<picard> is the ocaml site down?
<Smerdyakov> picard, no.
Sonarman has quit [Read error: 110 (Connection timed out)]
<Smerdyakov> picard, if you mean this garbage at ocaml.org, then there seems to be a problem. But no one in his right mind ever goes there!
<picard> Smerdyakov: why does noone go there?
<Smerdyakov> There's nothing of value there. It's never up-to-date.
<picard> well I can't connect to inria.fr either
<Smerdyakov> I can.
<picard> nope, there it goes
<monochrom> I use ocaml.org for the url to the Lump
m3ga has joined #ocaml
m3ga has quit ["Client exiting"]
cjohnson has quit ["Leaving"]
zzorn has joined #ocaml
mrvn has joined #ocaml
zzorn is now known as zzorn_away
mellum_ is now known as mellum
__DL__ has joined #ocaml
Herrchen has joined #ocaml
mrvn_ has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
monochrom has quit ["me!"]
Skal has joined #ocaml
Skal_ has joined #ocaml
smimou has joined #ocaml
Skal has quit [Read error: 110 (Connection timed out)]
Skal_ is now known as Skal
karryall has joined #ocaml
__DL__ has quit [Remote closed the connection]
__DL__ has joined #ocaml
_shawn has joined #ocaml
shawn_ has quit [Read error: 60 (Operation timed out)]
roussel has joined #ocaml
Ag_47 has joined #ocaml
<Ag_47> hiall
<solarwind> Hi.
roussel has quit ["bye"]
<mflux> hello.
<Ag_47> anything new in the world?
<solarwind> Here's snowing.
<solarwind> Is the 5th of March and snowing.
mattam has joined #ocaml
<Ag_47> who knows what happened to www.ocaml.org?
<mflux> maybe they are finally transferring the control to the inria-people (or not)
<solarwind> Ag_47: http://caml.inria.fr/
<Ag_47> solarwind: i know.
<solarwind> Then why asking about ocaml.org?
<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
<vegai> vincenz: some
<vincenz> well a functor is kinda like a template
<vegai> yeah, that was my first impression too
<vegai> I can't use abstract types in functions?
<vincenz> think about it
ccc has joined #ocaml
ccc has left #ocaml []
yakker has quit ["Leaving"]
monochrom has joined #ocaml
Snark has joined #ocaml
zzorn_away is now known as zzorn
__DL__ has quit ["Bye Bye"]
__DL__ has joined #ocaml
Snark has quit ["Leaving"]
_JusSx_ has joined #ocaml
_JusSx_ has quit [Client Quit]
_JusSx_ has joined #ocaml
cjohnson has joined #ocaml
fab__ has quit []
_fab has joined #ocaml
bzzbzz has quit ["leaving"]
gl has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
gl has left #ocaml []
mflux has joined #ocaml
mflux_ has quit [sterling.freenode.net irc.freenode.net]
Skal has quit [sterling.freenode.net irc.freenode.net]
Skal has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
malc_ has joined #ocaml
Submarine has joined #ocaml
mauke has quit [Remote closed the connection]
vodka-goo has joined #ocaml
mauke has joined #ocaml
cjohnson has quit [Remote closed the connection]
smimou has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
__DL__ has quit [Remote closed the connection]
zzorn_ has joined #ocaml
CosmicRay has quit ["Client exiting"]
zzorn_ is now known as zzorn_afk
yangsx has joined #ocaml
zzorn has quit [Read error: 110 (Connection timed out)]
smimou has quit ["?"]
yangsx has quit [Remote closed the connection]
Gueben has quit ["Leaving"]
Submarine has quit ["Leaving"]
zzorn_afk has quit ["They are coming to take me away, ha ha"]
mrpingoo has joined #ocaml
gim has quit [Read error: 60 (Operation timed out)]