ΑZ
Dima
Только вот не обижайся, нет ничего такого, иногда ничего не остается как выставлять внутренности наружу
челик знакомый пины малинки выставил как методы трейта, о чем ты? Куда низкоуровневее?
Size: a a a
2020 December 31
D
челик знакомый пины малинки выставил как методы трейта, о чем ты? Куда низкоуровневее?
Малинки?
DS
Dima
Меня в последнее время вот что удивляет, от языка который позиционирует себе как системный требуют системы типов лучше чем минимум в хаскеле, идрис, чё вообще происходит?
И да, особого сверх космоса никто и не хочет.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
EG
И да, особого сверх космоса никто и не хочет.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
Лично я таки жду const_evaluatable_checked
EG
Но да, гаты и специализация важнее
DS
И да, особого сверх космоса никто и не хочет.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
И эти фичи не приносят что-то нового, а закрывают недоработки текущего
ΑZ
Dima
Малинки?
да
DS
Что как бы наиболее важно в контексте текущей дискуссии.
Это не академия ради академии, это закрытие пробелов в текущей реализации
Это не академия ради академии, это закрытие пробелов в текущей реализации
D
Поясни плиз,. Я не знаю что такое малинка
DS
Dima
Поясни плиз,. Я не знаю что такое малинка
Raspberry Pi
EG
Dima
Поясни плиз,. Я не знаю что такое малинка
Raspberry Pi, фирма, которая производит небольшие компьютеры
EG
Очень небольшие
EG
66x32 самый маленький
D
А понятно, ладно щас сяду за комп попытаюсь объяснить что такое выставления внутренностей наружу и когда у тебя нет выбора не делать так
D
остался тут кто-то с кем я говорил?
D
челик знакомый пины малинки выставил как методы трейта, о чем ты? Куда низкоуровневее?
ладно, пох, смотри тебе нужна быстрая многопотчная хешмапа(для чтений допустим, без локов), в языках c gc никаких измений в апи тебе не потребуется, а вот в расте или си уже все, приходется выстовлять smr наружу
D
И да, особого сверх космоса никто и не хочет.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
То есть ждут GAT'ов, специализации и мин конст дженериков.
Это всё вообще не сверхкрутые фичи с точки зрения современных систем типов.
специализация разве поможет?
r
В одном квесте встретил тётку из самого первого ролика киберпанка. Уже не надеялся, что они этот ролик как-то обыграют
DS
Dima
специализация разве поможет?
Она много кому нужна и им она поможет.
Я-то прежде всего жду GAT'ов, потому что они сильно помогут со всем, что связано с итераторами, асинками и генераторами
Я-то прежде всего жду GAT'ов, потому что они сильно помогут со всем, что связано с итераторами, асинками и генераторами
D
я вот до сих пор не знаю как выразить M<S> где досустим для S < usize один лаоут структуры и код , для S > usize другой совершенно