Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups: comp.unix.shell,comp.unix.programmer,comp.lang.misc
Subject: Re: Command Languages Versus Programming Languages
Date: Thu, 10 Oct 2024 19:14:15 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <20241010120827.867@kylheku.com>
References: <uu54la$3su5b$6@dont-email.me> <87edbtz43p.fsf@tudado.org>
 <0d2cnVzOmbD6f4z7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <uusur7$2hm6p$1@dont-email.me> <vdf096$2c9hb$8@dont-email.me>
 <87a5fdj7f2.fsf@doppelsaurus.mobileactivedefense.com>
 <ve83q2$33dfe$1@dont-email.me>
 <87wmighu4i.fsf@doppelsaurus.mobileactivedefense.com>
 <ve8s6d$3725r$1@dont-email.me>
 <87o73rj3sr.fsf@doppelsaurus.mobileactivedefense.com>
Injection-Date: Thu, 10 Oct 2024 21:14:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fd525c31a89e53d177e6d80cbe5a279b";
	logging-data="3447717"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Q4BDCQuBJT2M4RLr6hysEeJC068YmV7o="
User-Agent: slrn/pre1.0.4-9 (Linux)
Cancel-Lock: sha1:Ue20SFBWPFq3eiKaRMMb4MudOu8=
Bytes: 2795

On 2024-10-10, Rainer Weikusat <rweikusat@talktalk.net> wrote:
> Muttley@DastartdlyHQ.org ignorantly rambled:
>> On Thu, 10 Oct 2024 16:09:49 +0100
>> Rainer Weikusat <rweikusat@talktalk.net> boring babbled:
>>>Muttley@DastartdlyHQ.org writes:
>>>> Its syntax is also a horrific mess.
>>>
>>>Which means precisely what?
>>
>> Far too much pointless punctuation. An interpreter shouldn't need the vartype
>> signified by $ or @ once its defined, it should already know.
>
> For the purpose of variable declaration, how's the interpeter going to

Interpreter? Perl has some kind of compiler in it, right?

Interpreters for typed languages are possible. The lexical environment
bidnings contain type info, so when the interpreter sees x, it resolves
it through the environment not only to a location/value, but to type
info.

> know the type of a variable without being told about it? Obviously, not
> at all.

But it's not exactly type, because $x means "scalar variable of any
type" whereas @x is an "array of any type".

That's quite useless for proper type checking and only causes noise,
due to having to be repeated.

Actually typed languages don't use sigils. How is that?

The type of a name is declared (or else inferred); references to that
name don't need to repeat that info.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca