From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA
Date: Wed, 10 Jul 2013 00:23:01 +0200
Date: 2013-07-10T00:23:02+02:00 [thread overview]
Message-ID: <51dc8d46$0$6571$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <krhrti$5ug$1@loke.gir.dk>
On 09.07.13 22:30, Randy Brukardt wrote:
> those both are rooted in the technology limitations of
> the 1990s and one would hope that we can now move on to more generally
> useful things
Here's an embedded job, outlining a goal of Ada's utility:
Connect a thermometer in a fridge to an LCD display, with a controller
between them. Do I need tasking? TCP sockets? File systems?
However, an Ada 2012 scalar type for temperature, with physical unit
checking support, perhaps stating static predicates, might be superior,
and useful. Even if one does not consider a fridge generally useful.
Note that MISRA C mandates typedefs for int and the like (MISRA C
being dismissed by demonstrably knowledgeable C nerds does not
change this industry standard). Still far from the expressiveness
of basic Ada types.
next prev parent reply other threads:[~2013-07-09 22:23 UTC|newest]
Thread overview: 55+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-06-19 7:51 Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Marcus F
2013-06-19 18:20 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running Ada Jacob Sparre Andersen
2013-06-19 18:59 ` Marcus F
2013-06-19 19:25 ` Marcus F
2013-07-12 20:35 ` Rego, P.
2013-07-12 20:37 ` Rego, P.
2013-07-07 9:16 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Lucretia
2013-07-07 9:56 ` Dmitry A. Kazakov
2013-07-07 10:58 ` Simon Clubley
2013-07-07 15:00 ` Dmitry A. Kazakov
2013-07-07 16:27 ` Niklas Holsti
2013-07-08 7:43 ` Dmitry A. Kazakov
2013-07-08 10:54 ` G.B.
2013-07-08 12:14 ` Dmitry A. Kazakov
2013-07-08 12:56 ` Simon Clubley
2013-07-08 14:06 ` Dmitry A. Kazakov
2013-07-08 14:43 ` G.B.
2013-07-08 17:23 ` Simon Clubley
2013-07-08 18:55 ` Dmitry A. Kazakov
2013-07-09 11:53 ` Simon Clubley
2013-07-09 12:57 ` Dmitry A. Kazakov
2013-07-09 13:11 ` Simon Clubley
2013-07-09 20:30 ` Randy Brukardt
2013-07-09 22:23 ` Georg Bauhaus [this message]
2013-07-10 8:06 ` Dmitry A. Kazakov
2013-07-10 12:25 ` Simon Clubley
2013-07-10 22:17 ` Randy Brukardt
2013-07-11 16:58 ` Eryndlia Mavourneen
2013-07-11 22:07 ` Randy Brukardt
2013-07-08 13:15 ` G.B.
2013-07-08 13:59 ` Dmitry A. Kazakov
2013-07-09 0:53 ` mjsilva
2013-07-08 20:31 ` Randy Brukardt
2013-07-08 20:45 ` Dmitry A. Kazakov
2013-07-09 0:19 ` mjsilva
2013-07-09 0:27 ` mjsilva
2013-07-09 7:51 ` Dmitry A. Kazakov
2013-07-09 8:33 ` Georg Bauhaus
2013-07-09 9:12 ` Dmitry A. Kazakov
2013-07-09 11:08 ` G.B.
2013-07-09 12:28 ` Dmitry A. Kazakov
2013-07-09 14:20 ` G.B.
2013-07-09 15:00 ` Dmitry A. Kazakov
2013-07-09 23:13 ` Peter C. Chapin
2013-07-09 15:38 ` mjsilva
2013-07-09 19:48 ` Dmitry A. Kazakov
2013-07-09 20:10 ` Randy Brukardt
2013-07-09 22:09 ` Georg Bauhaus
2013-07-10 22:21 ` Randy Brukardt
2013-07-11 6:12 ` Georg Bauhaus
2013-07-11 22:00 ` Randy Brukardt
2013-07-10 1:31 ` mjsilva
2013-07-10 8:17 ` Dmitry A. Kazakov
2013-07-10 22:39 ` Randy Brukardt
2013-07-09 13:53 ` Shmuel Metz
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox