AV
Ты ж любишь про это говорить
Size: a a a
2020 August 25
H
Ты ж любишь про это говорить
В чатиках легко пиздеть
DS
ну я говорил - хочется типчики как в тс. просто пишешь код который бы работал на типчиках. функции для типчиков, возврат чего то для типчиков - вот это было бы тру
Так ты можешь это делать. Тайплевел логика тут делается как обычно в языках с тайпклассами и ассоциированными типами
SP
Так ты можешь это делать. Тайплевел логика тут делается как обычно в языках с тайпклассами и ассоциированными типами
а есть ли статьи какието?
SP
ну, тоесть, кажется я готов
H
а есть ли статьи какието?
DS
а есть ли статьи какието?
Я в царечате писал же
/
Кстати, что касается рефлекса в макросах
SP
Я в царечате писал же
попробую поискать. не помнишь по каким примерно ключевым словам?
а вот нашел "тайплевел"
а вот нашел "тайплевел"
/
Никто не запрещает сделать одинаковые функции и дать компилятору выбор
SP
ну перечитаю. я признаться скипал тогда. потому что не был готов
DS
Переслано от Doge Shibu
Общая идея в подобном подходе для тайплевела в том, что ты можешь тайплевел матч по типам моделировать таким образом:
Транслирется руками вот в такую хрень:
// условный синтаксис из выдуманного языка:
type MyType<X> = X match {
case Int => Double,
case SomeType => OtherType,
...
}
Транслирется руками вот в такую хрень:
trait MyType {
type Output;
}
impl MyType for i32 {
type Output = f64;
}
impl MyType for SomeType {
type Output = OtherType;
}SP
а да это помню но врубился только теперь
SP
спс
DS
Переслано от Doge Shibu
И ты можешь похожим образом моделировать рекурсию некоторого рода. Т.е например, обход списка, как в тех примерах с HList'ом
DS
Переслано от Doge Shibu
Где матч транслируется в трейт, а каждый кейс матча в инстанс, так, что левая часть кейса становится типом для котрого мы имплементим трейт, а правая часть становится ассоциированным типом.
Получается в итоге, что на уровне типов мы можем писать на каком-то очень-очен простом языьке, где есть только матчи и рекурсия, поэтому оно не так уж и удобно.
Получается в итоге, что на уровне типов мы можем писать на каком-то очень-очен простом языьке, где есть только матчи и рекурсия, поэтому оно не так уж и удобно.
EG
Чёт фуррифокс скатился
EG
Уже на 250 вкладках отжирает всю раму