D, Parasail, Pascal, and Rust vs The Steelman

[Timon Gehr]

On 22.03.2018 12:16, Atila Neves wrote:
> On Wednesday, 21 March 2018 at 12:52:19 UTC, Paulo Pinto wrote:
>> An article comparing the above languages as per the DoD language 
>> requirements [0].
>>
>> http://jedbarber.id.au/steelman.html
>>
>> [0] - https://en.wikipedia.org/wiki/Steelman_language_requirements
> 
>> Rust has by far the most support for the functional programming paradigm.
> 
> I wonder how they concluded that.
> 
> Atila
> 

It is expression-based and can pattern-match on built-in tuples and 
algebraic data types, it has traits, variables are immutable by default 
and mutable aliasing is discouraged by the type system. (However, it 
lacks proper tail calls, just like D.)