Re: Concatenation and Characters

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
: 
: semantics check => halting problem

halting problem => infinite program/data size
(otherwise just hard work, may take too long or not)

: In this case "bowl" and "filled" have different semantics. "bowl" can
: be left uninitailized (I assume that "glass" isn't controlled),
: "filled" shall be always set. So I wished that this difference would
: be exposed through the syntax. Which way, it is another question.

But which way is there to satisfy any request made this way?
Is there any way to be sure that bit(n) of memory(k) or
register(m) will be "valid", so filled does reflect what it was
intended to reflect?
As you said, that's difficult, or worse than that, right?

: then the compiler would complain that this form of parameter
: specification is allowed for only the types having initial values.

Ah, o.k., but can this be done for deeply nested specifications?

-- georg