foobarquux changed the topic of #ocaml to: www.ocaml.org
woober has joined #ocaml
<woober> how can i make persistant objects with ocaml?
woober has left #ocaml []
malc has quit ["no reason"]
<jemfinch`> anyone here?
mellum has quit [carter.openprojects.net irc.openprojects.net]
mellum has joined #ocaml
teek has joined #ocaml
malc has joined #ocaml
klacke has joined #ocaml
klacke has quit ["ChatZilla 0.8.4 [Mozilla rv:0.9.6/20011120]"]
teek has quit ["Coffee break"]
malc has quit ["Changing server..."]
mellum has quit [Read error: 60 (Operation timed out)]
mellum has joined #ocaml
Submarine has joined #ocaml
<Submarine> hi
<jemfinch`> howdy
<jemfinch`> did my email requesting polymorphic Set and Map modules not get to the list?
<jemfinch`> I don't remember getting it after I sent it...
<Submarine> You are not subscribed?
<jemfinch`> well, some of my mails have gotten to the list.
<Submarine> Mmmh.
<jemfinch`> I sent the FORT question, and an answer to that one guy who had the same problem I did.
<Submarine> I suspect it trashes every mail not originated from a subscribed address.
<Submarine> Or it queues it for Pierre Weis to approve.
<jemfinch`> yeah, I think so...but some of my emails have gotten through, and they've all been from the same address.
<Submarine> Or INRIA has problems.
<jemfinch`> so you've not seen an email requesting polymorphic Set and Map modules?
<Submarine> Just a sec.
<Submarine> You are jeremy fincher?
<jemfinch`> yep.
<Submarine> 've been looking for a good framework to unit-test my software, and Fort seems
<Submarine> to fit the bill. There are, however, a few things standing in my way that I'd
<Submarine> like to resolve.
<jemfinch`> yeah, that one was sent after the one requesting polymorphic types.
<Submarine> This can be consistent with manual approval.
<jemfinch`> yeah, it can be.
<jemfinch`> and I've gotten mails saying I've been moved to the "bounces" section...
<jemfinch`> but everytime I try to fix that, it doesn't work.
<jemfinch`> (and nothing has bounced, to my knowledge)
<Submarine> mmmh... where is that "smart diff" utility?
<Submarine> I think there's somewhere a diff utility that's capable of detecting that two "different" numbers are the same floating-point numbers.
<jemfinch`> I've not heard of that utility...
* jemfinch` just put his source code in CVS a few days ago.
woober has joined #ocaml
<jemfinch`> hey, woober.
<woober> Hi, jemfinch`
<woober> does ocaml have something for object persistence>
<woober> (> -> ?)
<Submarine> Define object persistence.
<jemfinch`> woober: Check out the Marshall module.
<woober> program starts, objects defined. program stops. program starts again, old objects are still availabe, can be modified...
<jemfinch`> (it might only have one l)
<woober> hmmm... Marshal is serial io based... anything more along the lines of oodb?
<Submarine> Well, the problem with OCaml marshalling is that it won't survive version changes.
<jemfinch`> woober: no, there's no oodb type thing implemented in O'Caml to my knowledge.
<woober> ok. thnx!
woober has left #ocaml []
* jemfinch` wonders why he doesn't actually stick around longer.
Torquemada has joined #ocaml
<Submarine> hello
<Torquemada> hi submarine
Torquemada is now known as foobarquux
malc has joined #ocaml
<Submarine> hi
<foobarquux> 11 ! :)
<malc> binary
* Submarine debugs mlgmp
<foobarquux> what's mlgmp ?
<malc> Submarine: nums are inadequate or something?
<malc> gnu multiprecission library ml bindings i would think
<Submarine> indeed
<Submarine> Well, the Bignum module does not offer floats.
<foobarquux> ok
<Submarine> And it uses an old underlying library that does not offer optimal performance on modern machines.
<malc> dec&inria joint venture from 80-is
<malc> so no wonder really
<Submarine> I'm using MPFR (LORIA / Paris 6).
* malc uses Num atop of functors.. [guess you cant shit on performance any more than that]
<Submarine> I have something like that for my Algebra package.
<malc> is it available from somewhere? i sortof need symbolic representation of some cofactors
<Submarine> Not yet.
<Submarine> This package simply offers multivariate polynomials and various generic constructs over rings.
<Submarine> So you can quotient the ring of polynomials over a field by the ideal generated by a polynomial.
<Submarine> No Grobner bases. :-)
<malc> You sadly mistaken me for someone with math skills ;)
<Submarine> what's a "cofactor" ?
<malc> Submarine: term i(probably) invented, not really up-to-date with english math terminology
smklsmkl has joined #ocaml
smkl has quit [Remote closed the connection]
mellum has quit [Read error: 110 (Connection timed out)]
<malc> Submarine: paragraph advertising mic-paren(among other things) misses one, is that intentional?
<Submarine> ?
<malc> ighlights your matching parentheses in green and your non-matching ones in red when you put the cursor on them (very nice to edit Lisp or Caml.
<Submarine> this page is grossly out of date
<malc> still missing paren in this exact place is amusing
Submarine has quit ["Client Exiting"]