We should adjust branding to « statically *proving* languages » to focus on more interesting bits.
#haskell #scala
On a related note, this highlights futility of gradual typing, while gradual proving kinda makes sense.
On a related note, this highlights futility of gradual typing, while gradual proving kinda makes sense.