Добавить вопросы по крайней мере про cast & coerce на младшие уровни.
Можно про эти модули в целом, только как их использовать (не углубляясь в теорию):
Data.CoerceData.Typeable
И можно углубленно спросить по теории уже на уровнях выше, тут пока конкретных вопросов я не придумал, но нашел несколько источников, потом почитаю и попробую сформулировать.
https://gitlab.haskell.org/ghc/ghc/-/wikis/roles
https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/roles.html
https://sras.me/haskell/what-the-heck-is-typeable.html
https://chrisdone.com/posts/data-typeable/
https://medium.com/@hgiasac/typeable-a-long-journey-to-type-safe-dynamic-type-representation-9070eac2cf8b
Добавить вопросы по крайней мере про cast & coerce на младшие уровни.
Можно про эти модули в целом, только как их использовать (не углубляясь в теорию):
Data.CoerceData.TypeableИ можно углубленно спросить по теории уже на уровнях выше, тут пока конкретных вопросов я не придумал, но нашел несколько источников, потом почитаю и попробую сформулировать.
https://gitlab.haskell.org/ghc/ghc/-/wikis/roles
https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/roles.html
https://sras.me/haskell/what-the-heck-is-typeable.html
https://chrisdone.com/posts/data-typeable/
https://medium.com/@hgiasac/typeable-a-long-journey-to-type-safe-dynamic-type-representation-9070eac2cf8b