MC
Большая в смысле сложностей при реализации
Size: a a a
2017 November 22
MC
Ссылку на рфц сходу не вспомню
AS
да, я за ним слежу время от времени)
MC
А, в расте сайзоф не конст
AS
G
Hi 313fant!
MC
MC
Я вот-вот этом
AS
про typeof конкретный пример
https://github.com/rasendubi/bkernel/blob/master/src/lib.rs#L119-L125
на самом деле, эту штуку нельзя вынести в global, так как невозможно записать её тип из-за того, что тип внутренней лямбды нельзя записать. ну и, соответственно, нельзя такие вещи сохранять в структурах.
из-за этого, пришлось руками реализовывать все интерфейсы фьючеров, вместо того, чтобы просто юзнуть комбинаторы
https://github.com/rasendubi/bkernel/blob/master/src/lib.rs#L119-L125
на самом деле, эту штуку нельзя вынести в global, так как невозможно записать её тип из-за того, что тип внутренней лямбды нельзя записать. ну и, соответственно, нельзя такие вещи сохранять в структурах.
из-за этого, пришлось руками реализовывать все интерфейсы фьючеров, вместо того, чтобы просто юзнуть комбинаторы
MC
Полноценные зависимые типы конечно круто, но я уверен что 80% проблем решит решение в лоб, и не придётся страдать от арифметики и солверов
MC
Я не понял про тайпоф
MC
Почему тип нельзя записать - ты про конкретный тип, не`Fn<>`?
куда вынести что именно и где там тайпоф я не понял
куда вынести что именно и где там тайпоф я не понял
AS
в bkernel лежит какой-то ldscript, подписанный stm32_flash, хотя это явно не полное покрытие всех семейств
AS
о, есть похожая проблема с impl Trait. он скрывает тип результата функции. поэтому результаты таких функций нельзя сохранить в структуру (хотя тип вполне определен и компилятор о нём знает)
AS
в bkernel лежит какой-то ldscript, подписанный stm32_flash, хотя это явно не полное покрытие всех семейств
скрипт украден не помню откуда. под stm32f4discovery работает точно
MC
о, есть похожая проблема с impl Trait. он скрывает тип результата функции. поэтому результаты таких функций нельзя сохранить в структуру (хотя тип вполне определен и компилятор о нём знает)
Чёто я и тут не понимаю о чем ты
AS
скрипт украден не помню откуда. под stm32f4discovery работает точно
ну блин, это что, фреймворк только для stm32f4 с 128к памяти?
AS
о, есть похожая проблема с impl Trait. он скрывает тип результата функции. поэтому результаты таких функций нельзя сохранить в структуру (хотя тип вполне определен и компилятор о нём знает)
тут и я не понял.
тип результата функции, реализованной в трейте скрывается?
тип результата функции, реализованной в трейте скрывается?
NN
А кстати, вопрос - кроме копипасты/запиливания с нуля есть способы подтащить кусок std?
NN
например, вот не хочу реализовывать коллекции