От системы типов для нейронок в первую очередь хочется, чтобы она умела проверять размерности тензоров, а не лайфтаймы

Само обучение нейронки - это ж не единственная подзадача. Тут тебе и подвезти данные (где-то из БД, где-то из HDFS/S3, где-то нужно напрямую из кафки - для онлайн-обучения, например), всячески эти данные пофильтровать-попреобразовывать, потом обучить, потом применить всякую бизнес-логику поверх. Препроцессинг и постпроцессинг - он и в продакшне будет такой же, например

И как с обычными бизнес-приложениями, это отлично решится языком с GC

Не спорю, что и на питоне можно, впрочем)

А что там с системой типов. На мой взгляд она хуже растовой, дженерик протоколов нет например

У меня компилятор в двух последовательных строчках выводит разный тип для одного значения.

error[E0308]: mismatched types
  --> src/list.rs:94:13
   |
94 |         let () = clone;
   |             ^^ expected struct `list::List`, found `()`
   |
   = note: expected struct `list::List<T>`
           found unit type `()`

error[E0308]: mismatched types
  --> src/list.rs:95:18
   |
95 |         IntoIter(clone)
   |                  ^^^^^ expected struct `list::List`, found `&list::List<T>`
   |
   = note: expected struct `list::List<T>`
           found reference `&list::List<T>`

В строчке 94 я делаю let () = clone и он мне говорит, что тип clone — это list::List<T>
В строчке 95 я делаю IntoIter(clone) и ВНЕЗАПНО тип clone — это &list::List<T>

Причём clone получен методом, собственно, клонирования и откуда взялся референс я не понимаю

error[E0308]: mismatched types
  --> src/list.rs:94:23
   |
94 |         let _: Self = self.clone();
   |                ----   ^^^^^^^^^^^^ expected struct `list::List`, found `&list::List<T>`
   |                |
   |                expected due to this
   |
   = note: expected struct `list::List<T>`
           found reference `&list::List<T>`

В #[derive(Clone)] что-то пошло не так

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=3869ca6d7f767c3cc6dcb66d1a90defe
Минимальный пример.
Вероятно, туплю, но что я делаю не так?

Можно подумать, что дело в том, что T не клонируемый (и where T: Clone действительно чинит ситуацию), но Rc<T> не помогает:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=e4321cc6b206df75d55c96e16c1dcfad

Возможно оно

Ответ:
#[derive(Clone)] багованный, экспандится в полный бред и не работает в общем случае.

И, видимо, срабатывает вот этот Clone, да.

Поздравьте меня, у меня thread panicked while panicking И SIGILL в safe-коде

Так SIGILL это еще не обязательно UB.
Возможно это просто попытка рантайма суициднуться

Я пытался однажды понять, как работает abort, и ничего не понял.

Я начал понимать
У меня Drop вызывает функцию, которая паникует

В панике вызывается Drop, Drop паникует и всё летит к чёрту

в общем случае выброс исключения в деструкторе на платформах без прокладки в виде VM - это пипец и нарушение консистентности

меня свифт бы вполне устроил - он прост почти как питон, но при этом гораздо суровее типизирован и быстрее на порядки