On Borrow Checking

[Timon Gehr]

On 5/2/25 21:48, Dukc wrote:
> 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.

See e.g., https://ghc.serokell.io/dh

In any case, comprehensibility is at most loosely related to 
expressiveness. I think Haskell with all its extensions is too complex 
for what it gives you in terms of expressiveness.