Re: Analysis of Richard Damon's Response to Flibble's Typed SHD / Neos Proposal

On 2025-05-23 13:18:45 +0000, Mr Flibble said:

This is the **crux of Damon’s dismissal**. His entire critique rests on
the assumption that:
 1. Only Turing-complete languages matter.

That is true for purposes discussed in comp.theory. More restricted
languages can be interesting for purposes discussed in other groups,
e.g. sci.logic.
The main purpose of computation theory is to develop and study theories
and methods that are useful for practical work with computers and for
development of methods and toos for such practical work. For this
purpose Turing-complete lanugages and systems are the interesting ones.
--
Mikko