On Borrow Checking

[Dukc]

On Friday, 2 May 2025 at 19:25:53 UTC, Timon Gehr wrote:
> On 5/2/25 16:53, Guillaume Piolat wrote:
>> On Tuesday, 29 April 2025 at 17:12:41 UTC, Walter Bright wrote:
>> For example we have zero Haskell, Clojure, or Elm competitors
>> 
> Of course, memory corruption is only one way attackers can 
> succeed, so advanced type system features can help. (More 
> advanced than what you cite though, so we'll see how quickly 
> those can be transferred to industry.

More advanced than _Haskell_? Wat?

IMO it's absolutely mind-blowing how advanced Haskell is when you 
enable the more recent features such as GADTs. I feel it's 
already so powerful that my comprehension runs out well before 
the expressive power of the language, and I don't think I'm bad 
at comprehending programming language features.