Э
Не, можно сделать HList из zero-sized структур, которые возвращают 1 или 0, но это должно занять реального места больше, чем просто битовая структура.
Size: a a a
2020 April 16
В
Никакого места ничего не занимает
G
Тоже не понял почему нельзя type-level Hlist
Э
Из битовой структуры ты создаёшь значения, а такой лист тебе в код или usize запихает, ибо вызов функции, или заинлайнит u8 во все места, то есть просто [Bool; N] будет в реальности.
В
Не, можно сделать HList из zero-sized структур, которые возвращают 1 или 0, но это должно занять реального места больше, чем просто битовая структура.
Посмотри что такое typenum, пожалуйста
В
Из битовой структуры ты создаёшь значения, а такой лист тебе в код или usize запихает, ибо вызов функции, или заинлайнит u8 во все места, то есть просто [Bool; N] будет в реальности.
В 'реалности' будет
()Э
Смотри, ноль и единица же не из воздуха берутся? Значит где-то в коде они должны быть. И будут.
G
Смотри, ноль и единица же не из воздуха берутся? Значит где-то в коде они должны быть. И будут.
Они из воздуха
В
Они есть толко на уровне типов.
B0 и B1.Э
Как только ты используешь одну из этих функций, в коде появляется вызов функции. Компилятор оптимизирует его с usize до u8. В итоге, когда вызываешь несколько таких функций подряд, у тебя появляется [u8; N] массив.
В
Как только ты используешь одну из этих функций, в коде появляется вызов функции. Компилятор оптимизирует его с usize до u8. В итоге, когда вызываешь несколько таких функций подряд, у тебя появляется [u8; N] массив.
1) не вызывай эти функции
2) ты скорее будешь использовать условный
2) ты скорее будешь использовать условный
U10::to_u32Э
Cons<B1, Nil> вот тебе и хлист битовНу как не вызывать, когда ты предлагаешь хлистать биты.
В
Ну как не вызывать, когда ты предлагаешь хлистать биты.
/_-
У меня есть пара примеров проектов (один из них даже мой), в который используется
У меня есть пара примеров проектов (один из них даже мой), в который используется
typenum, но не используются Bit::to_u8 и Bit::to_boolK0
Если кому интересна тема разработки аппаратуры и программирования FPGA, я тут накидал статью на Хабре https://habr.com/ru/post/496720/
K0
Инструменты этого мегапроекта реализованы на расте, так что не оффтоп :)
L
Korvin 0x7CFE
Если кому интересна тема разработки аппаратуры и программирования FPGA, я тут накидал статью на Хабре https://habr.com/ru/post/496720/
Выглядит круто
BV
Korvin 0x7CFE
Если кому интересна тема разработки аппаратуры и программирования FPGA, я тут накидал статью на Хабре https://habr.com/ru/post/496720/
выглядит более прострастраственным чем verilog на Rust, но более фундаментальным в тоже время