Ссылка
нажмите — покажем
нажмите — покажем
байтики раскладывать на типах это oxcaml и штуки типа
https://dl.acm.org/doi/10.1145/3607858 Baudon, Radanne, Gonnord, [2023] "Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types"