Re: ADA Popularity Discussion Request

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

jayessay <nospam@foo.com> wrote:
: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> writes:
 
 
:> What do you mean by robust?
: 
: Both type checks and logic errors are checked simultaneously and at
: very fine grained levels.

And static type checking can't add, at least in many relevant
cases?

:> If a translator sees a function call, where the function has a
:> specific formal T parameter, and the translator can do type checking
:> before running this piece of the program, doesn't this remove the
:> necessity to test a number of code paths in the first place?
: 
: That is often insufficient because it doesn't ensure anything about
: whether the _content_ of a value conforming to the type is correct for
: the input of the function.

Sure it is insufficient. But it adds value by removing the need to
test what the compiler has already found out. How about typos?

Here is a fake: 

(defun next (n) (1 + n))
(defun hext (n) (1 + (mod n 16)))

; ...

(defun advance (n) (hext n))  ; a slip of the finger

(advance 3)
4

Fine.

(advance 16)
1

Oops. Types could help I'd say.

 
:> In the following sense, if I have:
:> 
:>   (DEFUN ANY (X) ...)  ; old LISP
:>
:>   function any(x: T) return N; -- Ada
: 
: "any" seems like an odd name if you don't really want x to be
: _anything_.

OK, I have chosen the name to be irrelevant, a better name would
have been SOME-FUNC.

: Anyway here's a couple of ways to achieve the same
: _typing_ constraint [1]

I know that Lisp values are of a type.  But I simply don't see how
declaring the type of a function (via arguments), say, can't be a win.
What will the ML programmers say?


:  (assert x any-type "a value of type any-type")
 
: (declaim (ftype (function (a-type) N) foo))
: (defun any (x) ...)
 
Does this hinder incremental testing?


-- Georg