Re: [fpc-pascal] Competitive advantage in showing proof of correctness

2007-08-13 Thread Daniël Mantione
Op Tue, 14 Aug 2007, schreef Vinzent Hoefler: > On Tuesday 14 August 2007 06:14, Daniël Mantione wrote: > > > Lastly, pre and post conditions are just another runtime check. > > No. If you can prove that the conditions always hold, you don't even > need to compile to the program to prove its

Re: [fpc-pascal] Competitive advantage in showing proof of correctness

2007-08-13 Thread Marco van de Voort
> 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 most controversial > recommendation, is that they

Re: [fpc-pascal] Competitive advantage in showing proof of correctness

2007-08-13 Thread Vinzent Hoefler
On Tuesday 14 August 2007 06:14, Daniël Mantione wrote: > Lastly, pre and post conditions are just another runtime check. No. If you can prove that the conditions always hold, you don't even need to compile to the program to prove its correctness. There's a company already doing that: http://w

Re: [fpc-pascal] Competitive advantage in showing proof of correctness

2007-08-13 Thread Daniël Mantione
Op Mon, 13 Aug 2007, schreef JK Smith at Grid-Sky: > As I mentioned before, assuming some degree of liability for your work is on > the horizon. > > From > http://www.lightbluetouchpaper.org/2007/08/10/house-of-lords-inquiry-personal-internet-security/ > > Quote: > > "The third area, and this

[fpc-pascal] Competitive advantage in showing proof of correctness

2007-08-13 Thread JK Smith at Grid-Sky
As I mentioned before, assuming some degree of liability for your work is on the horizon. From 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

[fpc-pascal] Unknown usage of function FixPath

2007-08-13 Thread Darius Blaszijk
In fpmkunit.pp I found the function FixPath for which I don't understand the exact purpose of. What happens is that if I issue an install command the BaseInstallDir takes the FPCDIR env variable (which is c:\fpc in my case) (line 1472). This value is then passed on to FixPath which converts all

[fpc-pascal] Xprint with Free Pascal

2007-08-13 Thread Graeme Geldenhuys
Hi, Has anybody managed to use Xprint (under Linux or any other *nix environment) with Free Pascal? Regards, - Graeme - ___ fpc-pascal maillist - fpc-pascal@lists.freepascal.org http://lists.freepascal.org/mailman/listinfo/fpc-pascal

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Andreas Berger
I am doing two free-lance projects at the moment for two clients. One insists that I use C++ and Qt. When I suggested Delphi (I started this 5 years ago) he was offended. The other client didn't care. When I told him about installation of one singe EXE (no libraries, dll's and other dependencie

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Daniël Mantione
Op Mon, 13 Aug 2007, schreef Michael Van Canneyt: > Obviously their clients have more sense than this company does... Mod up +1 Insightfull... Yes, this is the whole point, end users like Pascal applications more than Java applications. (Because their are faster, use les smemory, install eas

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Michael Van Canneyt
On Mon, 13 Aug 2007, Tom Walsh wrote: > ik wrote: > > Hi, > > > > I wonder how can we make Pascal and FPC more attractive to people, and > > I believe in what Donal Knuth have said: > > > > "The most important thing in the programming language is the name. A > > language will not succeed without

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Florian Klaempfl
Tom Walsh schrieb: > ik wrote: >> Hi, >> >> I wonder how can we make Pascal and FPC more attractive to people, and >> I believe in what Donal Knuth have said: >> >> "The most important thing in the programming language is the name. A >> language will not succeed without a good name. I have recently

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Tom Walsh
Bisma Jayadi wrote: This project is with a company that just spent 4+ million USD on a Java solution (client and server side) to replace all their old Pascal code, then, their clients told them they didn't like the Java solution, that they wanted to keep using the Pascal stuff! Isn't Java als

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Bisma Jayadi
This project is with a company that just spent 4+ million USD on a Java solution (client and server side) to replace all their old Pascal code, then, their clients told them they didn't like the Java solution, that they wanted to keep using the Pascal stuff! Isn't Java also free? :-P Oh, and

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Tom Walsh
ik wrote: Hi, I wonder how can we make Pascal and FPC more attractive to people, and I believe in what Donal Knuth have said: "The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I a

Re: [fpc-pascal] Need three things

2007-08-13 Thread Jeff Wormsley
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

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Graeme Geldenhuys
On 13/08/07, Marco van de Voort <[EMAIL PROTECTED]> wrote: > > One can develop FPC for OSX with Carbon too. (and that is done, e.g. Pixel). > And hopefully not to far in the future using fpGUI as well. :-) Graeme. ___ fpc-pascal maillist - fpc-pascal

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Mark Wood
It makes better sense when you put it that way. Cheers, Mark. Michael Van Canneyt wrote: On Mon, 13 Aug 2007, Marco van de Voort wrote: On 8/13/07, Michael Van Canneyt <[EMAIL PROTECTED]> wrote: place. If you do happen to make money on the side with it: congratulations. But d

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Mark Wood
I have a lot more examples of such problems using the "Pascal" and the way it "sounds"... And in the bottom line, it's all about marketing. It would probably help if it had a name other than "Free". It refers to free as in OS, of course, but many people read it as "free" (as in beer) a

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Bisma Jayadi
But do not expect us to change our motivation. This is one of many reasons why I trust FPC over Delphi (Borland/CodeGear): the great and noble motivation of the core developers. I do respect such motivation. Not many developers are able to survive with such motivation. In many cases, such mot

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Michael Van Canneyt
On Mon, 13 Aug 2007, Marco van de Voort wrote: > > On 8/13/07, Michael Van Canneyt <[EMAIL PROTECTED]> wrote: > > > place. > > > > > > If you do happen to make money on the side with it: congratulations. > > > > > > But do not expect business arguments to have any influence whatsoever > > > on t

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Michael Van Canneyt
On Mon, 13 Aug 2007, ik wrote: > > People forget the bottom line; FPC and Lazarus are HOBBY projects > > for the core developers. We do not want or need to make money with > > them. Otherwise we would not have made it open source in the first > > place. > > > > If you do happen to make money on

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Marco van de Voort
> On 8/13/07, Michael Van Canneyt <[EMAIL PROTECTED]> wrote: > > place. > > > > If you do happen to make money on the side with it: congratulations. > > > > But do not expect business arguments to have any influence whatsoever > > on the core developers. That includes name changes, which are simply

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread ik
On 8/13/07, Michael Van Canneyt <[EMAIL PROTECTED]> wrote: > > > On Mon, 13 Aug 2007, ik wrote: > > > Hi Michael, > > > > > > I have a lot more examples of such problems using the "Pascal" and the > > way it "sounds"... > > > > And in the bottom line, it's all about marketing. > > For business mayb

Re: [fpc-pascal] Inconsistencies in fpmake?

2007-08-13 Thread dhkblaszyk
> > > On Mon, 13 Aug 2007, [EMAIL PROTECTED] wrote: > >> >> I was doing some tests with fpmake and came across what appears to be >> an >> >> inconsistency. >> >> >> >> When fpmaking a program a units/cpu-os is created but the commandline >> >> parameters for FPC are "-FE." which causes the tool an

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Weyert de Boer
Vincent Snijders wrote: Weyert de Boer schreef: Puff, Delphi IDE is way faster then Lazarus. Beside of the need of that idiotic X11 under MacOSX. I will just develop my applications in Mono together with Cocoa# this works perfectly well together with Chrome. :) Nothing, indeed. I don't think

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Marco van de Voort
> Puff, Delphi IDE is way faster then Lazarus. Beside of the need of that > idiotic X11 under MacOSX. I will just develop my applications in Mono > together with Cocoa# this works perfectly well together with Chrome. :) Is that combination (C#/Mono-Cocoa#) portable? It is not fair to compare a p

Re: [fpc-pascal] Inconsistencies in fpmake?

2007-08-13 Thread Michael Van Canneyt
On Mon, 13 Aug 2007, [EMAIL PROTECTED] wrote: > >> I was doing some tests with fpmake and came across what appears to be an > >> inconsistency. > >> > >> When fpmaking a program a units/cpu-os is created but the commandline > >> parameters for FPC are "-FE." which causes the tool and possible ot

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Michael Van Canneyt
On Mon, 13 Aug 2007, ik wrote: > Hi Michael, > > > I have a lot more examples of such problems using the "Pascal" and the > way it "sounds"... > > And in the bottom line, it's all about marketing. For business maybe. People forget the bottom line; FPC and Lazarus are HOBBY projects for the

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Florian Klaempfl
Vincent Snijders schrieb: > Weyert de Boer schreef: >> Puff, Delphi IDE is way faster then Lazarus. Beside of the need of >> that idiotic X11 under MacOSX. I will just develop my applications in >> Mono together with Cocoa# this works perfectly well together with >> Chrome. :) > > Good arguments.

Re: [fpc-pascal] Inconsistencies in fpmake?

2007-08-13 Thread Peter Vreman
>>> I was doing some tests with fpmake and came across what appears to be an >>> inconsistency. >>> >>> When fpmaking a program a units/cpu-os is created but the commandline >>> parameters for FPC are "-FE." which causes the tool and possible other >>> units to be placed in the directory where the

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Florian Klaempfl
Weyert de Boer schrieb: > Puff, Delphi IDE is way faster then Lazarus. Beside of the need of that > idiotic X11 under MacOSX. I will just develop my applications in Mono > together with Cocoa# this works perfectly well together with Chrome. :) And how would a name change change this? _

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Vincent Snijders
Weyert de Boer schreef: Puff, Delphi IDE is way faster then Lazarus. Beside of the need of that idiotic X11 under MacOSX. I will just develop my applications in Mono together with Cocoa# this works perfectly well together with Chrome. :) Good arguments. A name change would make no difference.

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Weyert de Boer
Puff, Delphi IDE is way faster then Lazarus. Beside of the need of that idiotic X11 under MacOSX. I will just develop my applications in Mono together with Cocoa# this works perfectly well together with Chrome. :) ___ fpc-pascal maillist - fpc-pascal

Re: [fpc-pascal] Inconsistencies in fpmake?

2007-08-13 Thread dhkblaszyk
>> I was doing some tests with fpmake and came across what appears to be an >> inconsistency. >> >> When fpmaking a program a units/cpu-os is created but the commandline >> parameters for FPC are "-FE." which causes the tool and possible other >> units to be placed in the directory where the progra

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread ik
Hi Michael, I will write here instead of inline... I personally know a company that wrote a product using Delphi, and had an already existed product, but when they came to raise some money, the only thing that really interested the investors where that they use Delphi instead of Java, and forced t

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Tomas Hajny
As the subject already suggest, this thread is off-topic here and already quite lengthy. I'd like to kindly ask everybody interested in this discussion to move it to fpc-other list, which is dedicated to this kind of stuff. Thanks a lot Tomas ___ fpc-p

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Graeme Geldenhuys
On 13/08/07, Michael Van Canneyt <[EMAIL PROTECTED]> wrote: > Use Lazarus for a month daily, to develop a real program, and then come back. > People who have used lazarus for about 1 hour and then tell us > 'this and that feature is not working' > just do not have any right of voice. Lazarus has qu

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Michael Van Canneyt
On Mon, 13 Aug 2007, Skybuck Flying wrote: > Well there are some things ofcourse wrong with Free Pascal: I'm assuming you were being sarcastic or ironic. You can assume the same when you read this reply. > > 1. First the name: > > "Free" > > Bussiness people don't believe in "Free". So wha

Re: [fpc-pascal] OT: Rename for Pascal

2007-08-13 Thread Marco van de Voort
> Well there are some things ofcourse wrong with Free Pascal: > > 1. First the name: > "Free" > Bussiness people don't believe in "Free". First you must define a target in business people. Which is easy. First and for all, FPC is interested in business people that have something to offer. And of