5 ms·

Mine too. Until Erlang, and now Ada. I'm building myself a harem.

by dozzie 9y ago

yoz-y 9y ago
I started with Pascal, then learned Perl. When I was writing Pascal I was excited about stuff I could make the computer do, but pascal made me like the actual act of programming.
- larkeith 9y ago
  I can't tell if that's a typo or commentary on Perl.
  - yoz-y 9y ago
    A typo... sadly it's too late to edit the comment.
  - StavrosK 9y ago
    Looks like a typo, I think he meant: > When I was writing Pascal I was excited about stuff I could make the computer do, but Perl made me !@77 {{} #!@3 = ++ 90 x (%}[.
    - kamaal 9y ago
      That was not a valid example: $ perl -c /tmp/test.pl Missing right curly or square bracket at /tmp/test.pl line 1, at end of line syntax error at /tmp/test.pl line 1, at EOF /tmp/test.pl had compilation errors. $ cat /tmp/test.pl !@77 {{} #!@3 = ++ 90 x (%}[.
draw_down 9y ago
Ugh
3chelon 9y ago
That's the second time I've seen Ada mentioned in as many days. Before that, I did Ada as an undergrad about 1989 and never heard of it again. Is it becoming a thing again?
- pjmlp 9y ago
  In Europe yes, Ada has been a constant presence at FOSDEM in the last decade and many universities. This has taken off since we finally got an open source Ada compiler (GNAT) without the typical enterprise/military prices. Also Ada 2012 is quite different from Ada 83. Then we have this, https://www.cvedetails.com/vulnerability-list/opmemc-1/memory-corruption.html https://www.cvedetails.com/vulnerability-list/opmemc-1/memor... increasing exponentially every day thanks networked computers.
- dozzie 9y ago
  From where I stand, it's not really gaining any popularity, but I always wanted to use Ada for something practical, and I finally have something that needs a good language with a rich type system that is compiled to native code (and not statically linked at that), and somehow I don't like Rust there.
nickpsecurity 9y ago
If you're learn Ada, be sure to check out Building High Integrity Applications in SPARK to get the most benefit from it. I also find Barnes book does a good job chapter by chapter showing how it's systematically designed for safety. Finally, if anyone doubts improvements that can happen, I have the most apples to apples study you'll see comparing Ada and C. https://www.amazon.com/Building-High-Integrity-Applications-SPARK/dp/1107656842/ref=sr_1_1?ie=UTF8&qid=1519403710&sr=8-1&keywords=high+integrity+applications+with+spark https://www.amazon.com/Building-High-Integrity-Applications-... https://www.adacore.com/books/safe-and-secure-software https://www.adacore.com/books/safe-and-secure-software http://archive.adaic.com/intro/ada-vs-c/cada_art.pdf http://archive.adaic.com/intro/ada-vs-c/cada_art.pdf

Mine too. Until Erlang, and now Ada. I'm building myself a harem.

by dozzie 9y ago

Mine too. Until Erlang, and now Ada. I'm building myself a harem.

I started with Pascal, then learned Perl. When I was writing Pascal I was excited about stuff I could make the computer do, but pascal made me like the actual act of programming.

larkeith 9y ago
I can't tell if that's a typo or commentary on Perl.
- yoz-y 9y ago
  A typo... sadly it's too late to edit the comment.
- StavrosK 9y ago
  Looks like a typo, I think he meant: > When I was writing Pascal I was excited about stuff I could make the computer do, but Perl made me !@77 {{} #!@3 = ++ 90 x (%}[.
  - kamaal 9y ago
    That was not a valid example: $ perl -c /tmp/test.pl Missing right curly or square bracket at /tmp/test.pl line 1, at end of line syntax error at /tmp/test.pl line 1, at EOF /tmp/test.pl had compilation errors. $ cat /tmp/test.pl !@77 {{} #!@3 = ++ 90 x (%}[.

draw_down 9y ago

Ugh

3chelon 9y ago

That's the second time I've seen Ada mentioned in as many days. Before that, I did Ada as an undergrad about 1989 and never heard of it again. Is it becoming a thing again?

pjmlp 9y ago
In Europe yes, Ada has been a constant presence at FOSDEM in the last decade and many universities. This has taken off since we finally got an open source Ada compiler (GNAT) without the typical enterprise/military prices. Also Ada 2012 is quite different from Ada 83. Then we have this, https://www.cvedetails.com/vulnerability-list/opmemc-1/memory-corruption.html https://www.cvedetails.com/vulnerability-list/opmemc-1/memor... increasing exponentially every day thanks networked computers.
dozzie 9y ago
From where I stand, it's not really gaining any popularity, but I always wanted to use Ada for something practical, and I finally have something that needs a good language with a rich type system that is compiled to native code (and not statically linked at that), and somehow I don't like Rust there.

nickpsecurity 9y ago

If you're learn Ada, be sure to check out Building High Integrity Applications in SPARK to get the most benefit from it. I also find Barnes book does a good job chapter by chapter showing how it's systematically designed for safety. Finally, if anyone doubts improvements that can happen, I have the most apples to apples study you'll see comparing Ada and C. https://www.amazon.com/Building-High-Integrity-Applications-SPARK/dp/1107656842/ref=sr_1_1?ie=UTF8&qid=1519403710&sr=8-1&keywords=high+integrity+applications+with+spark https://www.amazon.com/Building-High-Integrity-Applications-... https://www.adacore.com/books/safe-and-secure-software https://www.adacore.com/books/safe-and-secure-software http://archive.adaic.com/intro/ada-vs-c/cada_art.pdf http://archive.adaic.com/intro/ada-vs-c/cada_art.pdf