scientia

• Typový systém: Iterated union

  Calculon

  Rust má poměrně slabý typový systém, nelze například napsat takovouto funkci: /---pre fn readVectN<T>(n: usize) → Vect<T, n> { … } \--- Překladač ohlásí chybu „attempt to use a non-constant value in a constant“, což nedává, pokud se nad tím zamyslíme, smysl, neexistuje žádný důvod, proč by typové parametry musely být konstantami. V Julii není problém mít například toto…

  23. 11. 2022 21:24 (aktualizováno)