Исправление
dave,
(текущая версия)
:
Я не говорю о том, в haskell есть аналог trait object. Я думаю, что в Rust эти trait objects даже содрали из Haskell. Как всегда, это называется заумно (не помню сейчас как), но делает почти тоже самое. Список запросто можно создать по таким объектам. Там всего-то надо определить свой тип и добавить
data МойГетерогенныйТип = forall a. КлассТиповТакойТо => МойГетерогенныйТип a
То есть, натурально уподобляешься некоторым сиплюсплюсникам в этом треде, раздувая слона из мухи)
Исправление
dave,
:
Я не говорю о том, в haskell есть аналог trait object. Я думаю, что в Rust эти trait objects даже содрали из Haskell. Как всегда, это называется заумно (не помню сейчас как), но делает почти тоже самое. Список запросто можно создать по таким объектам. Там всего-то надо определить свой тип и добавить (псевдокод)
data МойГетерогенныйТип = forall a. КлассТиповТакойТо => МойГетерогенныйТип a
То есть, натурально уподобляешься некоторым сиплюсплюсникам в этом треде, раздувая муху из слона)
Исправление
dave,
:
Я не говорю о том, в haskell есть аналог trait object. Я думаю, что в Rust эти trait objects даже содрали из Haskell. Как всегда, это называется заумно (не помню сейчас как), но делает почти тоже самое. Список запросто можно создать по таким объектам. Там всего-то надо определить свой тип и добавить (псевдокод)
data МойГетерогенныйТип = МойГетерогенныйТип (forall a. КлассТиповТакойТо => a)
То есть, натурально уподобляешься некоторым сиплюсплюсникам в этом треде, раздувая муху из слона)
Исходная версия
dave,
:
Я не говорю о том, в haskell есть аналог trait object. Я думаю, что в Rust эти trait objects даже содрали из Haskell. Как всегда, это называется заумно (не помню сейчас как), но делает почти тоже самое. Список запросто можно создать по таким объектам. Там всего-то надо определить свой тип и добавить
data МойГетерогенныйТип = forall a. КлассТиповТакойТо => a
То есть, натурально уподобляешься некоторым сиплюсплюсникам в этом треде, раздувая муху из слона)