comp.lang.ada
 help / color / mirror / Atom feed
From: "Björn Lundin" <b.f.lundin@gmail.com>
Subject: Re: GNAT GPL is not shareware
Date: Tue, 06 Jan 2015 22:15:17 +0100
Date: 2015-01-06T22:15:17+01:00	[thread overview]
Message-ID: <m8hj8p$qn2$1@dont-email.me> (raw)
In-Reply-To: <iWXqw.180018$Sn4.103298@fx10.iad>

On 2015-01-06 21:52, Shark8 wrote:

>> So? Welcome to the real world.
>> PATH is an environment _variable_
>> that is ok to add stuff to.
> 
> I'm not saying it's not ok to add stuff to it; I'm saying making your
> system dependent upon it is, in a word, stupid.

becasue ?


> 
> Really?
> What has file-centric and "distributed among tools" setups brought about
> (a) in terms of configuration complexity? 
I do not know
And I do not see the relevance

>(b) In terms of organization complexity/dependence? 
I do not know
And I do not see the relevance

And (c) in terms of consistency complexity?
I do not know
And I do not see the relevance

> (A) How many different "small tools" have their own configuration which
> directly impacts another tool and that other tool doesn't know about the
> first?

I do not know
And I do not see the relevance here either.

> (B) Consider how many libraries need to be installed in a certain place
> to get them to work right/easily.
> (C) Have you /EVER/ linked to the wrong object because it became out of
> date?

No. Unheard of. Did not think it was possible.


> 
> At what cost?
> If things are in a database you can get consistency-checking essentially
> for free! You can design the system so that you *NEVER* compiler
> "against the wrong object". 

How do you do for accomplish linking out-of-date objects ?
You seem really hung up on this, so I interpret it as it happens often.
Does it?

>You can make it so that you *NEVER* pull an
> 'oopsie' with a simple textual search-and-replace rename.

So why would a db-based ide be better on this thatn a file based?

> Moreover, if stored in a database things like version-control can be
> made more useful by storing only the semantically meaningful changes.
> Things like "formatting style" become absolutely meaningless because,
> guess what, the textual-representation gets reconstructed and
> redisplayed as-needed... and that can be fully customizable to the
> particular user w/o impacting anyone else.

And that would make you be the most impopular man,
if our company set the standard for that.
People get _really_ upset if you tamper with a 15-year old comment.
Or changeing case on variables.
Automatic re-writes is a nono. (a bit conservative. I know)


> Seriously, that "the industry" remains fixated on _text_ as the de facto
> medium for storing/maintaining/manipulating programs is disgusting! --

Very much seems disgusting to you...

> It's like a firearm manufacturer that refuses to use firearms in favor
> of bows because "it's simpler".

It would be simpler to deny weapons at all ...

> 
> Hell, if *"because it's simpler"* is a valid reason to embrace
> something, might I suggest you look into PHP, after all its
> implementation (and usage) is "much simpler" than Ada or most any
> compiled language.

No. I like thing s to be simple AND safe. PHP does not match safe.
I also like the KISS principle. Less errors because of
overly complex configuration. I like it simple so I do not need to
explain stuff for my colleagues. I compile stuff with -O0 and -g
to get good stack-traces when needed. To catch errors, and understand
them as soon as possible, so a fix can be provided.

Yes, i like simple stuff, because they break more seldom.
But don't confuse simple with bad.


And I also like to auto-generate objects from xml-files that wraps
access to database-tables. Output is Ada-files.
Print to standard_output and redirect to file.
Simple. Works. Not needed to fiddle with API to access your IDE-DB
or whatever you can provide. If you provide other input means than your IDE.


>> Lets us kill all text-editors and
>> only use _your_ soon-to-come-any-decade fantastic
>> super duper editor
> 
> Who said anything about killing text editors?
> Of course it'd need a way to display/manipulate the program, and of
> course it'd need to be able to import/export plain-text.

ok - rephrase to 'lets kill all editors that saves to file'

> 
> But the fact still remains: the text-based/file-based model is
> inherently worse because it pushes automatable and verifiable checking
> directly into the user's lap.
> 

Things your coming IDE can catch by saving to DB, it could also catch
when save to file.
Consider the file system your db.


--
Björn


  reply	other threads:[~2015-01-06 21:15 UTC|newest]

Thread overview: 229+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-01-04 19:43 What is the best license to use for open source software? Hubert
2015-01-04 20:24 ` Jeffrey Carter
2015-01-04 20:50 ` David Botton
2015-01-04 21:27   ` Ludovic Brenta
2015-01-04 22:13     ` David Botton
2015-01-04 23:14       ` Ludovic Brenta
2015-01-05  0:56         ` David Botton
2015-01-05  1:20           ` Ludovic Brenta
2015-01-05  2:28             ` David Botton
2015-01-05 11:24               ` GNAT GPL is not shareware (was: Re: What is the best license to use for open source software?) Dirk Heinrichs
2015-01-05 11:38                 ` David Botton
2015-01-05 12:02                   ` GNAT GPL is not shareware Mark Carroll
2015-01-05 13:26                     ` David Botton
2015-01-06  0:39                       ` Dennis Lee Bieber
2015-01-06  0:48                         ` Hubert
2015-01-06  0:54                           ` David Botton
2015-01-06  4:02                             ` Hubert
2015-01-06 13:26                               ` Stefan.Lucks
2015-01-06 14:45                                 ` J-P. Rosen
2015-01-06 14:51                                   ` David Botton
2015-01-06 20:14                                     ` Randy Brukardt
2015-01-06 20:59                                       ` David Botton
2015-01-07 23:36                                         ` Randy Brukardt
2015-01-08  3:22                                           ` David Botton
2015-01-08  4:21                                             ` Hubert
2015-01-08  5:17                                               ` David Botton
2015-01-08  8:52                                             ` Simon Wright
2015-01-08 11:36                                               ` gnatmake to lose support for project files, gprbuild instead Ludovic Brenta
2015-01-09  2:05                                             ` GNAT GPL is not shareware Randy Brukardt
2015-01-09  2:40                                               ` Paul Rubin
2015-01-09  3:42                                                 ` David Botton
2015-01-09  6:50                                                   ` Paul Rubin
2015-01-09 17:17                                                   ` Mark Carroll
2015-01-09 20:08                                                     ` David Botton
2015-01-10 12:53                                                       ` Brian Drummond
2015-01-10  2:06                                                     ` Simon Clubley
2015-01-09  3:40                                               ` David Botton
2015-01-09  9:25                                               ` Jacob Sparre Andersen
2015-01-06 15:36                                   ` G.B.
2015-01-06 17:14                                     ` David Botton
2015-01-06 14:46                                 ` David Botton
2015-01-06 15:09                                 ` Björn Lundin
2015-01-06 17:37                                   ` Björn Lundin
2015-01-06 17:46                                     ` Björn Lundin
2015-01-06 20:52                                     ` Shark8
2015-01-06 21:15                                       ` Björn Lundin [this message]
2015-01-06 21:46                                         ` Shark8
2015-01-07 11:00                                           ` Björn Lundin
2015-01-07 12:23                                             ` sbelmont700
2015-01-07 13:03                                               ` Björn Lundin
2015-01-07 13:46                                                 ` sbelmont700
2015-01-07 14:16                                                   ` Björn Lundin
2015-01-07 22:27                                                 ` Randy Brukardt
2015-01-07 13:19                                               ` Thomas Løcke
2015-01-07 16:32                                             ` Shark8
2015-01-07 17:28                                               ` Björn Lundin
2015-01-07 19:04                                                 ` Shark8
2015-01-07 22:58                                                   ` Randy Brukardt
2015-01-07 19:24                                                 ` Shark8
2015-01-07 21:45                                                   ` Björn Lundin
2015-01-07 17:33                                               ` Björn Lundin
2015-01-07 17:39                                                 ` Björn Lundin
2015-01-07 22:47                                               ` Randy Brukardt
2015-01-07 23:02                                                 ` Björn Lundin
2015-01-07 23:47                                                   ` Randy Brukardt
2015-01-08  8:14                                                 ` Dmitry A. Kazakov
2015-01-08 10:55                                                   ` G.B.
2015-01-08 12:30                                                     ` Dmitry A. Kazakov
2015-01-08 14:17                                                       ` G.B.
2015-01-08 16:54                                                         ` Dmitry A. Kazakov
2015-01-09 13:47                                                           ` G.B.
2015-01-09 22:03                                                             ` Randy Brukardt
2015-01-09 23:39                                                               ` Shark8
2015-01-12 23:49                                                                 ` Randy Brukardt
2015-01-13  9:00                                                                   ` J-P. Rosen
2015-01-13 15:51                                                                     ` Robert A Duff
2015-01-13 17:46                                                                       ` J-P. Rosen
2015-01-13 21:19                                                                     ` Randy Brukardt
2015-01-14  8:47                                                                       ` J-P. Rosen
2015-01-14 16:22                                                                         ` Robert A Duff
2015-01-14 17:45                                                                           ` J-P. Rosen
2015-01-14 23:43                                                                             ` Robert A Duff
2015-01-15  9:31                                                                               ` J-P. Rosen
2015-01-15 14:24                                                                       ` G.B.
2015-01-15 20:24                                                                         ` David Botton
2015-01-15 21:10                                                                           ` Simon Wright
2015-01-16  0:35                                                                             ` David Botton
2015-01-16  0:45                                                                               ` David Botton
2015-01-10  7:18                                                             ` Dmitry A. Kazakov
2015-01-12 11:40                                                               ` G.B.
2015-01-12 13:21                                                                 ` Dmitry A. Kazakov
2015-01-12 14:52                                                                   ` G.B.
2015-01-12 15:22                                                                     ` Dmitry A. Kazakov
2015-01-13  0:00                                                                     ` Randy Brukardt
2015-01-12 23:52                                                                   ` Randy Brukardt
2015-01-09  2:33                                                         ` Randy Brukardt
2015-01-08 18:46                                                     ` Shark8
2015-01-08 20:51                                                       ` Björn Lundin
2015-01-09  2:20                                                     ` Randy Brukardt
2015-01-09 14:11                                                       ` G.B.
2015-01-09 21:33                                                         ` Randy Brukardt
2015-01-09 21:47                                                           ` Shark8
2015-01-09 22:07                                                             ` Randy Brukardt
2015-01-09 23:36                                                               ` Shark8
2015-01-12 23:37                                                                 ` Randy Brukardt
2015-01-07  9:15                                         ` Georg Bauhaus
2015-01-09 10:27                                 ` Arie van Wingerden
2015-01-09 10:58                                   ` Arie van Wingerden
2015-01-09 16:39                                   ` Pascal Obry
2015-01-10 17:33                                     ` Arie van Wingerden
2015-01-10 17:44                                       ` Pascal Obry
2015-01-11  1:09                                       ` David Botton
2015-01-11 11:39                                         ` Arie van Wingerden
2015-01-11 17:42                                       ` Ludovic Brenta
2015-01-06 18:45                               ` Ludovic Brenta
2015-01-05 18:43                     ` Jeffrey Carter
2015-01-05 13:40                   ` G.B.
2015-01-05 13:59                   ` Brad Moore
2015-01-05 14:49                     ` G.B.
2015-01-05 15:11                     ` David Botton
2015-01-06 18:43                   ` Ludovic Brenta
2015-01-06 19:42                     ` David Botton
2015-01-06 20:22                       ` Ludovic Brenta
2015-01-07  1:59                       ` Hubert
2015-01-07  9:38                         ` Pascal Obry
2015-01-07 10:17                           ` Mark Carroll
2015-01-07 10:27                             ` Pascal Obry
2015-01-07 12:44                               ` David Botton
2015-01-07 15:39                               ` Dirk Heinrichs
2015-01-07 23:45                         ` Randy Brukardt
2015-01-08  4:09                           ` Hubert
2015-01-08  8:57                             ` Simon Wright
2015-01-08 11:06                             ` G.B.
2015-01-05 18:43                 ` Jeffrey Carter
2015-01-06  0:44                   ` Dennis Lee Bieber
2015-01-29 12:58                   ` Lucretia
2015-01-29 14:25                     ` Jedi Tek'Unum
2015-01-30 11:20                       ` Brian Drummond
2015-01-29 19:12                     ` Jeffrey Carter
2015-01-29 20:57                       ` Björn Lundin
2015-01-30 16:48                         ` Jedi Tek'Unum
2015-01-30 20:15                           ` Randy Brukardt
2015-01-30 21:03                             ` Randy Brukardt
2015-01-31  8:16                               ` Dirk Heinrichs
2015-01-31 15:38                               ` Jedi Tek'Unum
2015-02-02 20:44                                 ` Randy Brukardt
2015-02-02 22:06                                   ` David Botton
2015-02-03 20:14                                     ` Randy Brukardt
2015-02-04  0:09                                       ` David Botton
2015-02-04  7:27                                         ` Pascal Obry
2015-02-04  8:00                                           ` Mark Carroll
2015-02-04  8:38                                             ` Pascal Obry
2015-02-04 12:27                                               ` G.B.
2015-02-04 12:48                                                 ` David Botton
2015-02-04 17:03                                               ` Björn Lundin
2015-02-04 10:15                                           ` Simon Wright
2015-02-04 12:30                                           ` David Botton
2015-02-02 22:13                                   ` Björn Lundin
2015-02-02 23:03                                   ` Jedi Tek'Unum
2015-02-03 20:36                                     ` Randy Brukardt
2015-02-03 22:54                                       ` Jedi Tek'Unum
2015-02-04 17:42                                         ` Björn Lundin
2015-02-04 19:41                                           ` Simon Wright
2015-02-04 22:49                                             ` Jedi Tek'Unum
2015-02-05  9:00                                               ` Simon Wright
2015-02-04 20:57                                         ` Randy Brukardt
2015-02-04 23:17                                           ` Jedi Tek'Unum
2015-02-04 23:57                                             ` Jedi Tek'Unum
2015-02-05  9:06                                               ` Simon Wright
2015-02-05 20:26                                                 ` Jedi Tek'Unum
2015-02-03 23:34                                       ` Jeffrey Carter
2015-02-03 23:55                                       ` Jedi Tek'Unum
2015-02-04  0:20                                         ` David Botton
2015-02-04 21:20                                         ` Randy Brukardt
2015-01-31  9:49                             ` G.B.
2015-01-31 16:12                               ` Jedi Tek'Unum
2015-02-02 12:06                                 ` Marius Amado-Alves
2015-01-30 11:48                   ` Marius Amado-Alves
2015-01-30 12:10                     ` G.B.
2015-01-30 12:12                     ` Björn Lundin
2015-01-30 13:50                       ` Simon Wright
2015-01-30 15:48                         ` Björn Lundin
2015-01-30 17:13                         ` Jeffrey Carter
2015-01-30 17:34                           ` Simon Wright
2015-01-30 18:21                             ` Jeffrey Carter
2015-01-30 18:49                               ` Simon Wright
2015-01-30 19:46                                 ` Randy Brukardt
2015-01-31  9:02                                   ` Simon Wright
2015-02-01 21:17                                   ` Containers on small systems (Was: GNAT GPL is not shareware) Simon Wright
2015-02-05  9:40                                     ` Containers on small systems Simon Wright
2015-02-06 21:54                                       ` Simon Wright
2015-02-18 22:25                                         ` Simon Wright
2015-01-31 11:04                       ` GNAT GPL is not shareware Brian Drummond
2015-01-05 19:54               ` What is the best license to use for open source software? Michael B.
2015-01-05 20:45                 ` David Botton
2015-01-05 21:51                   ` sbelmont700
2015-01-05 13:36       ` G.B.
2015-01-05 14:54         ` David Botton
2015-01-05  3:47   ` Hubert
2015-01-05 15:56     ` Maciej Sobczak
2015-01-05 16:52       ` Tero Koskinen
2015-01-05 16:53       ` David Botton
2015-01-23 11:49 ` jeditekunum
2015-01-26 15:01   ` Jedi Tek'Unum
2015-01-26 15:37     ` David Botton
2015-01-26 22:46       ` Jedi Tek'Unum
2015-01-27  0:39         ` G.B.
2015-01-27  1:59           ` David Botton
2015-01-27  8:52           ` Dmitry A. Kazakov
2015-01-29  7:03             ` Vadim Godunko
2015-01-29  8:50               ` Dmitry A. Kazakov
2015-01-29 10:25                 ` Georg Bauhaus
2015-01-29 12:31                   ` Vadim Godunko
2015-01-29 10:29                 ` Georg Bauhaus
2015-01-29 13:19                   ` Dmitry A. Kazakov
2015-01-29 14:21                     ` G.B.
2015-01-29 15:06                       ` Dmitry A. Kazakov
2015-01-29 14:41                     ` G.B.
2015-01-29 15:11                       ` Dmitry A. Kazakov
2015-01-29 12:23                 ` G.B.
2015-01-29 12:47                   ` Vadim Godunko
2015-01-29 14:06                     ` G.B.
2015-01-27 22:44           ` Jedi Tek'Unum
2015-01-28  1:16             ` David Botton
2015-01-28 19:29               ` Jedi Tek'Unum
2015-01-27  6:18         ` Shark8
2015-01-27 11:18         ` Brian Drummond
2015-01-28 19:12           ` Jerry Petrey
  -- strict thread matches above, loose matches on Subject: below --
2015-01-09 21:58 GNAT GPL is not shareware Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox