From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gegeweb.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: What is the best license to use for open source software? Date: Thu, 29 Jan 2015 16:11:55 +0100 Organization: cbb software GmbH Message-ID: References: <8f389b7e-31e8-48ea-98c4-cd4471db9293@googlegroups.com> <1w1u3p8o0pf3u.5fidvp7gla8x$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: OpkKbm9QwHUq0Y4SxjI2mw.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:24797 Date: 2015-01-29T16:11:55+01:00 List-Id: On Thu, 29 Jan 2015 15:41:04 +0100, G.B. wrote: > On 29.01.15 14:19, Dmitry A. Kazakov wrote: >> The idea is to check as much as possible. E.g. HTML tags with parameters >> like would be mapped onto Ada subprograms with corresponding typed >> parameters (src, alt, height, width). > > Almost all attempts at equating web applications and forms > programming have failed in one way or other. All web applications I saw failed, yet people are keeping on producing web applications... > And on the conceptual side: for a start, targeting "web devices", > one does not usually want _any_ style related instructions in > "business logic", hence no height, no width in Ada source text; > also, one doesn't want any i18n in source text, so you'd have > to introduce indirection to resources outside Ada in any case. > > The typing issue cannot be solved practically, because > the "hardware" (browsers) is inconsistent WRT the "language", > leading to contradictory interpretations. Trying to tackle > the inconsistency by case distinction is hard, if at all > possible. Which is exactly an argument in favor of not using HTML directly... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de