SCOUG-Programming Mailing List Archives
Return to [ 09 |
February |
2005 ]
<< Previous Message <<
Content Type: text/plain
> Peter,
>
> I'm not asleep at the wheel. You need a "universal"
> specification language, one capable of specifying itself as well
> as any other. I don't want to hurt anyone's feelings or dull
> their senses with repetition but SL/I...or PL/E if you prefer...is
> such an animal.
>
> As we in computer software and hardware deal with entities
> that are 100% defined in formal logic any specification
> language encompassing all of formal logic is capable of
> specifying any computer software or hardware or any
> programming language...if for no other reason than
> implementing it in software.
>
> I knew this from the get-go when I made the Warpicity
> proposal in 1998. I knew, for example, that PL/I was the only
> programming language that supported all the data types
> found in the problem set.
Not quite. Your data types are NOT complete as far as MY
problem set. There is no RATIONAL data type. There is no
TRANSCENDENTAL data type. I can probably get by with the
approximation of floating point for the transcendental data
type. But I might need and want the EXACT arithmetic that`
would be possible with the rational data type.
--
Gregory W. Smith (WD9GAY) gsmith@well.com
=====================================================
To unsubscribe from this list, send an email message
to "steward@scoug.com". In the body of the message,
put the command "unsubscribe scoug-programming".
For problems, contact the list owner at
"rollin@scoug.com".
=====================================================
<< Previous Message <<
Return to [ 09 |
February |
2005 ]
The Southern California OS/2 User Group
P.O. Box 26904
Santa Ana, CA 92799-6904, USA
Copyright 2001 the Southern California OS/2 User Group. ALL RIGHTS
RESERVED.
SCOUG, Warp Expo West, and Warpfest are trademarks of the Southern California OS/2 User Group.
OS/2, Workplace Shell, and IBM are registered trademarks of International
Business Machines Corporation.
All other trademarks remain the property of their respective owners.
|