Re: Ada conference, Ada and Spark

2014-02-22 Thread Ziad Hatahet
On Fri, Feb 21, 2014 at 12:06 PM, Matej Nanut matejna...@gmail.com wrote: However it might've been nicer if you didn't have to write let mut but just mut. Something similar had been discussed if I recall correctly, and was rejected. Consider: `let (x, mut y) = (1, 2);` which would otherwise

Re: Ada conference, Ada and Spark

2014-02-21 Thread renoX
On Thursday, 20 February 2014 at 08:03:47 UTC, Paulo Pinto wrote: [cut] I have been following Ada at FOSDEM for the last years, and its use seems to be increasing in Europe for safety critical systems, mainly thanks to C and C++ issues. Maybe this is an area where D could be pushed as well.

Re: Ada conference, Ada and Spark

2014-02-21 Thread Paulo Pinto
On Friday, 21 February 2014 at 10:01:41 UTC, renoX wrote: On Thursday, 20 February 2014 at 08:03:47 UTC, Paulo Pinto wrote: [cut] I have been following Ada at FOSDEM for the last years, and its use seems to be increasing in Europe for safety critical systems, mainly thanks to C and C++

Re: Ada conference, Ada and Spark

2014-02-21 Thread Francesco Cattoglio
On Friday, 21 February 2014 at 12:56:32 UTC, Paulo Pinto wrote: That is easy to answer, I doubt they could with their rule of not having more than 5 characters per keyword. :) Wait, what? REALLY? What kind of rule is that. ahahahha... are they stuck to the 70's? :D

Re: Ada conference, Ada and Spark

2014-02-21 Thread Paulo Pinto
On Friday, 21 February 2014 at 13:08:37 UTC, Francesco Cattoglio wrote: On Friday, 21 February 2014 at 12:56:32 UTC, Paulo Pinto wrote: That is easy to answer, I doubt they could with their rule of not having more than 5 characters per keyword. :) Wait, what? REALLY? What kind of rule is

Re: Ada conference, Ada and Spark

2014-02-21 Thread Thiez
On Friday, 21 February 2014 at 14:27:48 UTC, Paulo Pinto wrote: On Friday, 21 February 2014 at 13:08:37 UTC, Francesco Cattoglio wrote: On Friday, 21 February 2014 at 12:56:32 UTC, Paulo Pinto wrote: That is easy to answer, I doubt they could with their rule of not having more than 5

Re: Ada conference, Ada and Spark

2014-02-21 Thread Tobias Pankrath
On Friday, 21 February 2014 at 17:25:48 UTC, Francesco Cattoglio wrote: On Friday, 21 February 2014 at 15:57:32 UTC, Thiez wrote: That is not true, Rust has several keywords that are more than 5 characters, such as 'continue'. The full list is here:

Re: Ada conference, Ada and Spark

2014-02-21 Thread Brian Rogoff
On Friday, 21 February 2014 at 14:27:48 UTC, Paulo Pinto wrote: On Friday, 21 February 2014 at 13:08:37 UTC, Francesco Cattoglio wrote: On Friday, 21 February 2014 at 12:56:32 UTC, Paulo Pinto wrote: That is easy to answer, I doubt they could with their rule of not having more than 5

Re: Ada conference, Ada and Spark

2014-02-21 Thread Francesco Cattoglio
On Friday, 21 February 2014 at 15:57:32 UTC, Thiez wrote: That is not true, Rust has several keywords that are more than 5 characters, such as 'continue'. The full list is here: http://static.rust-lang.org/doc/master/rust.html#keywords . It is true that they prefer short keywords over long

Re: Ada conference, Ada and Spark

2014-02-21 Thread Paulo Pinto
Am 21.02.2014 16:57, schrieb Thiez: On Friday, 21 February 2014 at 14:27:48 UTC, Paulo Pinto wrote: On Friday, 21 February 2014 at 13:08:37 UTC, Francesco Cattoglio wrote: On Friday, 21 February 2014 at 12:56:32 UTC, Paulo Pinto wrote: That is easy to answer, I doubt they could with their

Re: Ada conference, Ada and Spark

2014-02-21 Thread Matej Nanut
On 21 February 2014 20:00, Tobias Pankrath tob...@pankrath.net wrote: Depends on how often and where you write those keywords. mut seems to be quite common and even in D I would not like 'reference' more than 'ref', especially since it is used in parameter lists. I think Rust's pub, priv

Re: Ada conference, Ada and Spark

2014-02-20 Thread Paulo Pinto
On Wednesday, 19 February 2014 at 23:55:16 UTC, bearophile wrote: Related to the Mars lander software thread. They have released the slides for the FOSDEM 2014 (1 February 2014) conference about Ada and related things

Re: Ada conference, Ada and Spark

2014-02-19 Thread Meta
On Wednesday, 19 February 2014 at 23:55:16 UTC, bearophile wrote: Integral ranges and strong types: type Age is range 0..125; type Floor is range -5 .. 15; Is it possible to implement this using the information that's already available through Value Range Propagation? I think I remember

Re: Ada conference, Ada and Spark

2014-02-19 Thread bearophile
Meta: What are the limitations on what Static_Predicate can verify? It seems like this could be quite powerful, but not as powerful as runtime checks, since not everything can be checked at compile time. In Ada there is Dynamic_Predicate for the other cases :-) Does the loop break if the