← All posts tagged slow

И что я мучился столько времени? Собрал ядро с low latency desktop (kernel preemption) и таймером 1000Hz. Всё стало такое плаааавное, роооовное, интерфейс не дергается. Даже firefox стал более отзывчивый. А разницы в скорости сборки проекта никакой. Собирал раньше "серверное" ядро без preemption потому, что ходили поверия, что у low latency ядер большой оверхед, а проверить было лень. Короче, оверхед low latency ядер не актуален, всё летает аж со свистом.

opennet.ru
После стандарта C++17 планируется <meetingcpp.com> выпуск последнего идеального и окончательного стандарта, который будет включать всю необходимую функциональность и учитывать все тонкости. Для ускорения подготовки стандарта рассматривается возможность задействования методов машинного обучения.
особенно понравилось.

Можно сделать ADT, запромоученные конструкторы которого будут содержать тайплитералы, если в качестве типов полей использовать кайнды Symbol и Nat

data T = T Nat Symbol

λ> :t Proxy :: Proxy ('T 10 "hello")
Proxy :: Proxy ('T 10 "hello") :: Proxy ('T 10 "hello")

Тайпфемили нельзя частично применять, зато можно сделать обертку вида
newtype W this that tag = W { unW :: TypeFamily this that tag }
которую уже можно использовать например в виниле, например так:
Rec (W This That] '[Tag1, Tag2, ...]