Re: [Slightly OT] How to process lightweight text markup languages?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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