On Fri, Feb 6, 2015 at 12:08 AM, Paulo Pinto via Digitalmars-d
digitalmars-d@puremagic.com wrote:
For example no need to check if a variable is inside a specific range, if
the type only allows that range.
Are you referring specifically to Ada here? Otherwise, how would ML-based
languages
On Saturday, 7 February 2015 at 09:13:19 UTC, Ziad Hatahet wrote:
On Fri, Feb 6, 2015 at 12:08 AM, Paulo Pinto via Digitalmars-d
digitalmars-d@puremagic.com wrote:
For example no need to check if a variable is inside a
specific range, if
the type only allows that range.
Are you referring
On Saturday, 7 February 2015 at 23:52:04 UTC, Andrei Alexandrescu
wrote:
On 2/7/15 3:46 PM, Paulo Pinto wrote:
Any attempt to assign anything outside 0..64 range to Size will
trigger an error, either at compile or run-time.
What would be the similarities and differences of this built-in
On 2/7/15 3:46 PM, Paulo Pinto wrote:
Any attempt to assign anything outside 0..64 range to Size will
trigger an error, either at compile or run-time.
What would be the similarities and differences of this built-in feature
with traditional encapsulation using e.g. a C++ class? Thanks! --
On Friday, 6 February 2015 at 05:16:56 UTC, Vlad Levenfeld wrote:
On Friday, 6 February 2015 at 05:05:08 UTC, Ola Fosheim Grøstad
wrote:
OT: Have you looked at Ada SPARK 2014 yet? Provides nice and
strong system programming language semantics. With a
verification tool... nice.
On Friday, 6 February 2015 at 05:05:08 UTC, Ola Fosheim Grøstad
wrote:
OT: Have you looked at Ada SPARK 2014 yet? Provides nice and
strong system programming language semantics. With a
verification tool... nice.
http://docs.adacore.com/spark2014-docs/html/ug/spark_2014.html
Even more OT:
OT: Have you looked at Ada SPARK 2014 yet? Provides nice and
strong system programming language semantics. With a verification
tool... nice.
http://docs.adacore.com/spark2014-docs/html/ug/spark_2014.html
On Thursday, 5 February 2015 at 14:17:16 UTC, bearophile wrote:
In the best language blog:
http://lambda-the-ultimate.org/node/5113
The discussion is long. They discuss if a good GC can be
written in the language itself, about actual security, what a
GC can and can't do, and more.
Bye,
On Friday, 6 February 2015 at 05:16:56 UTC, Vlad Levenfeld wrote:
safety-critical systems. What's this kind of programming
called? And can you recommend any resources for learning about
the subject from square one?
I haven't actually used SPARK, so my knowledge on what it can do
is only
In the best language blog:
http://lambda-the-ultimate.org/node/5113
The discussion is long. They discuss if a good GC can be written
in the language itself, about actual security, what a GC can and
can't do, and more.
Bye,
bearophile
10 matches
Mail list logo