[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] B#

From: Doug Stewart
Subject: Re: [Axiom-developer] B#
Date: Sun, 20 Nov 2005 16:01:46 -0500
User-agent: Mozilla Thunderbird 1.0.7 (Windows/20050923)

Bill Page wrote:

On November 20, 2005 2:47 PM Gabriel Dos Reis wrote:
"Bill Page" <address@hidden> writes:
| I wonder if your colleague who said: "strong typing is for the
| weak of minds" really knows what "types" in computer programming
| really are?

well, if Pascal has a strong type system, then I can't see how I
can disagree :-/

Perhaps you said this only as humour? But I am curious since it is
not clear to me who you are not disagreeing with ... ?

Pascal was the first strongly typed language that I learned. I wrote
what I thought was a fairly substantial medical application in UCSD
Pascal on an Apple II microcomputer. I believe that the type system
really did contribute to more reliable software development. From a
historical perspective it is interesting to speculate why Pascal did
not survive. I think perhaps it was because in the end it's type
system was not quite flexible enough (compared say to Haskell). As a
result C, with almost not type system dominated (and still dominates)
most application development.

Bill Page.

I also started with pascal and now c# reminds me of Pascal. My students a spared many hrs. of trouble shooting because of strong Typing of C#. :-)

I am new to this list, and was wondering how Haskell can be used to write Axiom programs?
Isn't Axiom written in Lisp?
Doug Stewart

reply via email to

[Prev in Thread] Current Thread [Next in Thread]