In article <87zfnscypb.fsf@nightsong.com>,   
   Paul Rubin wrote:   
   >Ruvim 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.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   
|