Re: How can my software know when a LX200 has finished slewing?



Martin Brown wrote:
> PASCAL is only one example of a family of strongly typed languages. It
> was imperfect. Algol68 was cute and very powerful in its day. Modula2
> solved most of the flaws in Pascal and I think remains one of only a
> handful of languages with a full formal verified specification. Ada went
> beyond that but military involvement made it overly complex in the end.
> Ultra high reliability software now has to use a cunning subset of the
> Ada language.

When I TA'd a class in programming languages, I called it a KSL: a
Kitchen Sink Language.

> I would personally prefer to catch errors at compile time whenever
> possible YMMV.

Hard to believe anyone would think otherwise, but you never know.

Brian Tung <brian@xxxxxxx>
The Astronomy Corner at http://astro.isi.edu/
Unofficial C5+ Home Page at http://astro.isi.edu/c5plus/
The PleiadAtlas Home Page at http://astro.isi.edu/pleiadatlas/
My Own Personal FAQ (SAA) at http://astro.isi.edu/reference/faq.txt
.



Relevant Pages

  • Re: How can my software know when a LX200 has finished slewing?
    ... But strongly typed languages are much better when lives are at stake or for mission critical systems. ... Far better to have programmers typos and common errors detected at compile time than turn it into code that is guaranteed to crash in obscure ways later. ... Ultra high reliability software now has to use a cunning subset of the Ada language. ...
    (sci.astro.amateur)
  • Re: Negative float problem
    ... The Ada language has been designed in such a way that either a construct always works, and works the same with every implementation, or does not ... Luckily, you can define your own integer types that match your application's needs, and not have to rely on the predefined numeric types, as you have to do in most other languages. ... SPARK gets rid of most implementation-defined things, but type Integer is still in there ... ... Jeff Carter "My legs are gray, my ears are gnarled, my eyes are old and bent." ...
    (comp.lang.ada)
  • Re: 10 Great Things I can Say About ME!
    ... only place where you can play out your sicko fantasy. ... I'm cute! ... I am fluent in two different languages and have a good working ... here comes a humming bird! ...
    (rec.music.opera)
  • 10 Great Things I can Say About ME!
    ... I'm cute! ... I love all types of opera ... I am fluent in two different languages and have a good working ... here comes a humming bird! ...
    (rec.music.opera)
  • Re: 10 Great Things I can Say About ME!
    ... I'm cute! ... I love all types of opera ... I am fluent in two different languages and have a good working ... here comes a humming bird! ...
    (rec.music.opera)