Hacker News Reader

One limitation is that although "int" can be sub-typed, such a variable cannot directly index a slice.

I’m confused. First, there’s no notion of sub-typing in Go. Second, the closest thing I can think of what you mean does work: https://play.golang.org/p/IE9sg4CwCd_C

Rust doesn't have proper integer subtypes either. Ada has.

Aren’t ada’s runtime checked? You can do that in Rust.

Only if it cannot be proven at compile time.

Interesting. You wouldn’t happen to have a link to docs, would you?

The docs are the Ada language standard.

http://www.ada-auth.org/standards/index.html

Like with other languages, each vendor is free to do their best for optimizations, while keeping language semantics.

Besides Ada Core, there are a couple others but at enterprise budget levels.

http://www.adaic.org/ada-resources/pro-tools-services/

Thanks

Reply on news.ycombinator.com