Vlákno názorů k článku
Vydán Rust 1.51 od Calculon - Určitě, my to používali už v betě právě...

Určitě, my to používali už v betě právě pro vektory a matice. Že by zárodek závislostních typů v Rustu?

O těch se už nějakou dobu mluví, takže dost možná ano, i když konkrétně se to asi projeví až v nějaké další edici (Rust 2021?)

Nejsem si jistý, že je tam chci...

Mně osobně připadá, že by dobře zapadly to filozofie Rustu (co nejvíc spoléhat na statický důkaz při překladu) a zároveň by se tím vyřešilo několik stávajících omezení, např. Ada má intervalové typy, které by tímto Rust implicitně získal taky. Ale je pravda, že by se tím ten jazyk zároveň stal ještě víc neintuitivní, než je teď.

Zapadnout by zapadly, zrovna u kolekcí (pole, matice...) bych je bral všemi deseti, jenže kdyby Rust dostal plnohodnotné závislostní typy (jako v některých akademických funkcionálních jazycích), tak by to asi dost lidí odrazovalo (a taky by to nejspíš k ničemu nebylo, protože nad rámec matic to už připomíná šablonové metaprogramování).