Re: value-flavoured structures

In article <87zfnscypb.fsf@nightsong.com>,
Paul Rubin  <no.email@nospam.invalid> wrote:

Ruvim <ruvim.pinka@gmail.com> writes:

Such dialects, or better said, descendants, already exist.
For example: Factor, StrongForth.

Probably useless for embedded applications.

Agreed.

>
Factor is sort of a Lisp dialect that is garbage collected, I think.  So maybe

I'd say factor is a Forth with lispy features, like garbage collecting.

not great for embedded.  StrongForth, I thought, was like regular Forth but
with a type system.  That shouldn't be a problem unless there are other
issues.  Ada is strongly typed, and C++ is sort-of-strongly typed, and both
are used in embedded apps all the time.

A strong type system is not a problem for embedded applications, as long
as there is a means to defeat the type system.
Ada was designed with this in mind, making distinction between safe and
unsafe modules. Remember that c++ was an afterthought after c that was
not well designed in the first place.

Strong typing can be annoying. I remember wasting time passing a filename
to function that expected a     `const char *` or something, and it is
by no means obvious what you have to do, so you are lured into casting.
A lot of people do not understand that casting is a means to defeat the
type system, so that you loose the advantages.

Groetjes Albert
--
Temu exploits Christians: (Disclaimer, only 10 apostles)
Last Supper Acrylic Suncatcher - 15Cm Round Stained Glass- Style Wall
Art For Home, Office And Garden Decor - Perfect For Windows, Bars,
And Gifts For Friends Family And Colleagues.