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: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: [Slightly OT] How to process lightweight text markup languages?
Date: Tue, 20 Jan 2015 13:36:50 +0100
Organization: A noiseless patient Spider
Message-ID: <m9li42$2sp$1@dont-email.me>
References: <slrnmbntdm.19vl.lithiumcat@nat.rebma.instinctive.eu>
 <ynm6coktfevl.1esu61g1n9477.dlg@40tude.net> <m9iokj$upl$1@dont-email.me>
 <c9058n5dlu56.608mrt8042o0$.dlg@40tude.net> <m9jd2u$j08$1@dont-email.me>
 <m9jofo$8e1$1@loke.gir.dk>
 <a26a1003-dff6-4f07-90e7-b9aa041ad1bd@googlegroups.com>
 <124x3vtzoif6w$.1nz4eqzwswawb$.dlg@40tude.net>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 20 Jan 2015 12:36:18 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
 logging-data="2969"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX18+vBH9iFgZirqTq17Rs/s9ypbV0iWWdGc="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <124x3vtzoif6w$.1nz4eqzwswawb$.dlg@40tude.net>
Cancel-Lock: sha1:HrlWOm3jF/zMGHW1iaq4fnKGZc8=
Xref: number.nntp.giganews.com comp.lang.ada:191935
Date: 2015-01-20T13:36:50+01:00
List-Id: <comp.lang.ada>

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.

> 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! ;-)