News for hackers. Stuff that matters.

A comment on Memory Safety Is Merely Table Stakes. Parent comment

Re:Memory Safety Is Merely Table Stakes by burnt-resistor on Thursday June 26, 2025 @08:36PM (#44392832)
Pascal has subrange integer types. I'm wondering if any other language besides family relatives Ada or Delphi has this, apart from dependent type systems like Idris[0] or an explicit Haskell type like Data.Range.[1]

0. https://stackoverflow.com/questions/28426191/how-to-specify-...

1. https://hackage.haskell.org/package/range-0.3.0.2/docs/Data-...

[ Parent | on HN ]
Re:Memory Safety Is Merely Table Stakes by adgjlsfhk1 on Friday June 27, 2025 @02:36AM (#44394231)
rust has this to some extent (also enums can be seen as an evolution of this for some use cases)
[ Parent | on HN ]
Re:Memory Safety Is Merely Table Stakes by steveklabnik on Friday June 27, 2025 @12:09PM (#44397927)
And it's quite possible it will get a fully equivalent thing someday, we'll see.
[ Parent | on HN ]