Real world need for DbC, or some way to show due diligence:
http://www.lightbluetouchpaper.org/2007/08/10/house-of-lords-inquiry-personal-internet-security/
Quote:
"The third area, and this is where the committee has been most far-sighted, and
therefore in the short term this may well be their
JK Smith at Grid-Sky wrote:
At any rate, I've found that while you or I might be very diligent at
explicitly freeing resources, on a complicated system, some programmers
simply are not, and we have to work with these programmers.
The point is, the traditional software warranties won't be toler
On 12 Aug 2007, at 19:13, JK Smith at Grid-Sky wrote:
Note that extremely unlikely that things will happen just because you
say/think they are important. In most commercial project it depends
on whether you represent a lot of money which threatens to disappear
if your requirements are not met,
>It is supported in FPC 2.2.
Sweet!
___
fpc-pascal maillist - fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-pascal
Daniel had mentioned your work in a community post. Thanks for the effort,
and I'd love to try it out. And thanks for that detailed post.
James
___
fpc-pascal maillist - fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fp
> So I don't really see the relation. Even though it may seem at first
> sight that you do not have to bother with individual objects in case
> of split heaps, in practice you do because you have to make sure that
> no pointer to any of those objects can escape beyond where you free
> the split hea
On Sun, Aug 12, 2007 at 01:00:44AM -0500, JK Smith at Grid-Sky wrote:
> Three things needed in FPC:
>
> 2) Contract programming. We have to be able to show proof of correctness in
> code to prove the business value of FPC. This will be a major theme for the
> business side of software development
On 8/12/07, Krishna <[EMAIL PROTECTED]> wrote:
> On 8/12/07, Jonas Maebe <[EMAIL PROTECTED]> wrote:
> >
> > On 12 Aug 2007, at 08:00, JK Smith at Grid-Sky wrote:
> >
> > > 1) Garbage collection. Anybody who's worked on apps with objects of
> > > objects
> > > of objects of objects will see the valu
On 8/12/07, Jonas Maebe <[EMAIL PROTECTED]> wrote:
>
> On 12 Aug 2007, at 08:00, JK Smith at Grid-Sky wrote:
>
> > 1) Garbage collection. Anybody who's worked on apps with objects of
> > objects
> > of objects of objects will see the value in this. If CMEM is used,
> > can the
> > Boehm garbage col
On 12 Aug 2007, at 08:00, JK Smith at Grid-Sky wrote:
1) Garbage collection. Anybody who's worked on apps with objects of
objects
of objects of objects will see the value in this. If CMEM is used,
can the
Boehm garbage collector be used?
I don't know if anyone has tried this, nor what the
On 12/08/07, ik <[EMAIL PROTECTED]> wrote:
> source conference, and when I mentioned the word "Pascal" people
> wanted to move along to a new subject... there is no problem with the
> language... only with the way it feels for some people.
I can't agree more. It is actually funny seeing peoples e
JK Smith at Grid-Sky wrote:
Ok, one more: 4) I miss array slice syntax (str:= s[2..7];) from the Stony
Brook M2 days. So much more concise than Copy().;
One thing I *really* love about Python. No, really!
Brad
--
"Human beings, who are almost unique in having the ability
to learn from the exp
Op Sun, 12 Aug 2007, schreef ik:
> > Ok, one more: 4) I miss array slice syntax (str:= s[2..7];) from the Stony
> > Brook M2 days. So much more concise than Copy().;
>
> Let me please quote Marco and say "this is a synthetic sugar", or at
> least sort of.. it's not like there is no way (without
Hi,
I'm talking from my own knowledge and experience, and not in behalf of
anyone else...
On 8/12/07, JK Smith at Grid-Sky <[EMAIL PROTECTED]> wrote:
> Three things needed in FPC:
>
> 1) Garbage collection. Anybody who's worked on apps with objects of objects
> of objects of objects will see the
Three things needed in FPC:
1) Garbage collection. Anybody who's worked on apps with objects of objects
of objects of objects will see the value in this. If CMEM is used, can the
Boehm garbage collector be used? Even a resurrection of the split-heap stuff
into something more generalized (mini-heap
15 matches
Mail list logo
