alt Hacker News> Those language features are not examples of dependent types, though...
Ironically C is the only language in that list with a dependent type. It's not _Generic, of course, but variable-length arrays (VLAs), which neither C++, Rust, nor Zig have.
Replies
Someone • today at 7:18 PM
C also ‘supports’ fixed-length arrays. You can write
int foo(int bar[10]) {
…
}
➕ show 1 reply
D has variable length arrays as a builtin type. They are extremely useful.
C VLAs are a terribly clumsy design. Here's the right way to do it in C:
https://www.digitalmars.com/articles/C-biggest-mistake.html