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: border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news2.arglkargh.de!news.mixmin.net!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: [Slightly OT] How to process lightweight text markup languages? Date: Tue, 20 Jan 2015 14:14:20 +0100 Organization: cbb software GmbH Message-ID: <40p9r03i3iz3$.v6nyqqvm8g2w.dlg@40tude.net> References: <124x3vtzoif6w$.1nz4eqzwswawb$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: YGNMlxhiQ90vAyH0QA4qPw.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: number.nntp.giganews.com comp.lang.ada:191936 Date: 2015-01-20T14:14:20+01:00 List-Id: On Tue, 20 Jan 2015 13:36:50 +0100, G.B. wrote: > On 20.01.15 09:44, Dmitry A. Kazakov wrote: >> Can you execute a malformed executable? > > You can run an executable infected with a virus, > so form does not seem to help. So what? This is still a well-formed program. The programmer's intention is irrelevant. "Harmful" is not a language term. Nobody ever suggested that harmful content could be stopped by [web-]language means. Not even people agree on which content is harmful, as you should surely have noticed watching recent news. >> If I had a say, I would begin with a file-/data-less typed OS. That would >> preclude the very notion of "formatted document". It should be just >> "document", a type with operations, no directly accessible data. > > Where is your pessimism? Someone has to overcome HALT > to make this OS's type system sufficiently capable! ;-) How so? Nominal typing is nowhere close to halting problem. On the contrary, it is "understanding" intentions, which is more than just halting, it is no less than full AI. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de