EG
Потому что без дженериков (которые типа скоро сделают, но они уже говно), тебе просто везде нужны «любые типы»
Size: a a a
2021 February 19
KR
Потому что без дженериков (которые типа скоро сделают, но они уже говно), тебе просто везде нужны «любые типы»
О! А чего "уже говно"?
s
О, ещё один человек утверждает, что номинативная система типов убога.
R
Потому что без дженериков (которые типа скоро сделают, но они уже говно), тебе просто везде нужны «любые типы»
в го почти все боль
R
тут я недвано узнал, что у них грин треды не такие уж грин
R
там блокировки в недрах
R
lock lock of lock
EG
О! А чего "уже говно"?
Они заткнули кучу дыр тайплистами
EG
Это когда у тебя не
T: Add, а T: i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, f32, f64KR
Фу...
ID
Это когда у тебя не
T: Add, а T: i8, i16, i32, i64, i128, u8, u16, u32, u64, u128, f32, f64😂😂
EG
Очевидно, расширяемость этой системы строго равна нулю
ID
#boilerplate
EG
Потому что ты не можешь извне ничего добавить в тайплист
ID
Очевидно, расширяемость этой системы строго равна нулю
Таки она отрицательна
Z
GAT'ы ведь скоро, кто-нибудь видел крейты с реализацией новой std? а то ничего кроме generic_std не нашел
IL
ну так ты не ввел - другой человек введет. Свой тайпкласс для твоего типа. И опишет этот самый интерфейс
И зачем это вообще надо? Как эти телодвижения улучшают корректность программы с точки зрения системы типов?
Вот например(это псевдокод) у меня есть такая программа:
Вот эти все "я хочу" вполне выводятся в компил-тайме без взяких именованных интерфейсов, тайпклассов и прочего обслуживания компилятора.
Вот например(это псевдокод) у меня есть такая программа:
var foo = {a: 100, b: 200.0}; // я хочу чтобы он мне вывел тут что foo типы {a: int, b: float}
function bar(param: {a: int}) {
}
// я хочу, чтобы тут он понял, что я передаю объект, соответствующий запрошенному интерфейсу.
bar(foo)
Вот эти все "я хочу" вполне выводятся в компил-тайме без взяких именованных интерфейсов, тайпклассов и прочего обслуживания компилятора.
p
GAT'ы ведь скоро, кто-нибудь видел крейты с реализацией новой std? а то ничего кроме generic_std не нашел
скоро? wat?
p
они еще uncomplete_feature
Z
скоро? wat?
ну самое время начинать её писать