I'm running out of space very fast

[Alain De Vos]

Ada is a nice language. But in general and also on freebsd it's dying. Such is life.

 

[SirDice]

But in general and also on freebsd it's dying.

If it's dying as fast as FreeBSD then it'll still be here 30 years from now.

 

[Alain De Vos]

There are still ada jobs in the aerospace industry. But it's a nice market.

 

[mer]

Ada as a language was developed pretty much for US Dept of Defense, by a commitee, so it's a bit "odd". Lots of strong typing, things basically "verify correctness with the compiler as much as possible" wasn't really that bad, similar constructs in other languages, but compilation was atrocious. Batch jobs overnight on Dec Vaxes. No such thing as "Just In Time" Ada.

 

[Alain De Vos]

For the record, i'm currently having a look at coalton. It's sbcl lisp but with strong typing,

coalton/intro-to-coalton.md at main · coalton-lang/coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. - coalton/intro-to-coalton.md at main · coalton-lang/coalton

github.com

Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp | The Coalton Language

By Robert Smith, Elias Lawson-Fox, Cole Scott Introduction Coalton is a statically typed functional programming language built with Common Lisp. This is Coalton computing Fibonacci numbers by exponentiating functions (not numbers!). (coalton-toplevel (declare function-power (Integer -> (:t ->...

coalton-lang.github.io