| ??? 02/01/08 20:54 Read: times |
#150178 - why Ada never took off Responding to: ???'s previous message |
Andy Neil said:
Steve M. Taylor said:
WHY has the idea of strong typing not taken off in critical areas like embedded systems ? That is a very good question! Why did Ada never take off? Mainly because: a) Ada compilers had to be "certified" and that certification cost $MUCHO. b) As a result of a), the cost of an Ada compiler license was $GRANDE. c) As a result of b), only military contractors could afford it. And the language was specified, and part of the requirement was that the compiler used had to be certified, so GOTO a). Another reason was that (at least back in the early/mid '90s, which was my last need to care about Ada) it required a significant amount of memory space for its run-time. I don't know the reasons why (why not use a smart linker?) but large memory requirements can make it expensive for many applications. Why hasn't Pascal been more widely adopted? ... because even Niklaus Wirth admits that it's good only as a teaching language? I agree with the main point: why do we use type-unsafe languages like C for embedded work? Oh, yeah, I know: because some might feel that the type safety may make for bloated code. Like C is "close to the hardware" or some such silliness. -a |
| Topic | Author | Date |
| The art of typecasting | 01/01/70 00:00 | |
| I'd like to disagree | 01/01/70 00:00 | |
| two comments | 01/01/70 00:00 | |
| Two comments on comments | 01/01/70 00:00 | |
| The Art of correct Constants | 01/01/70 00:00 | |
| int - number of bits unknown | 01/01/70 00:00 | |
| Corrected Art of correct Constants | 01/01/70 00:00 | |
| More assumptions | 01/01/70 00:00 | |
| stdint.h | 01/01/70 00:00 | |
| Or, in the absence of stdint.h... | 01/01/70 00:00 | |
| Const vs #define | 01/01/70 00:00 | |
| Opps! | 01/01/70 00:00 | |
| which may be a reason to prefer #define over const | 01/01/70 00:00 | |
| enum | 01/01/70 00:00 | |
| Varies | 01/01/70 00:00 | |
| Know Thy Stuff - enum | 01/01/70 00:00 | |
| You are right | 01/01/70 00:00 | |
| Know Thy Stuff | 01/01/70 00:00 | |
| And... | 01/01/70 00:00 | |
| I'll pass(cal) on that one :) | 01/01/70 00:00 | |
| Everything in C defaults to int, which is signed | 01/01/70 00:00 | |
| Never overlook lint | 01/01/70 00:00 | |
| before Steve says it... | 01/01/70 00:00 | |
| Pascal | 01/01/70 00:00 | |
| strong typing | 01/01/70 00:00 | |
| why Ada never took off | 01/01/70 00:00 | |
| Wirth-less | 01/01/70 00:00 | |
Why ? | 01/01/70 00:00 |