Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)

2020 June 04

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Oleg ℕizhnik
@clayrat я прально сказал ему, сенсей?
та да
источник

A

Arsen in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Alex Gryzlov
та да
хзмхзмхзхзхмз
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Kain Crow
/set /set /get
да ви знаток секвенций
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ну в целом говорить что индексы всегда стираются это конечно сильное упрощение
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
вокруг этого целую науку развели, с пропами, нулевыми модальностями, иррелевантностью и прочим хоттом
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Alex Gryzlov
вокруг этого целую науку развели, с пропами, нулевыми модальностями, иррелевантностью и прочим хоттом
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
но базовая идея индексов это просто доп информация в типе, начиная с конкретных типов вместо переменных в гадтах, и заканчивая термами в завтипах
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
когда будем проходить
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Alex Gryzlov
но базовая идея индексов это просто доп информация в типе, начиная с конкретных типов вместо переменных в гадтах, и заканчивая термами в завтипах
ты не мог бы ввести этот термин для тупых в ковелью?
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
ты не мог бы ввести этот термин для тупых в ковелью?
Пешка Кодзимы!
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
с примерами
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
когда будем проходить
скажи мне раттенк
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
када
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
можно попозже летом, когда каникулы в вузе будут
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
да просто посмотри на гадты еще раз
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
то что мой член суммы фиксирует конкретный тип в адт это уже индекс да?
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ну я не уверен в терминологии но по сути да
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
это трансляция из кода
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
обычно все же индексом называют терм, вшитый в индуктивное семейство, но суть примерно та же
источник