ПС
О, Антонидзе, а если В -- подтип А, и у А есть неявный конструктор из В, то что произойдёт в коде ниже?
let a: A = (b: B)
let a: A = (b: B)
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 December 01
АП
думаю что значение будет построено согласно конструктору из B
ПС
А почему не просто приведение типов?
АП
всё зависит от устройства языка🤷♂️
h
Вообще. Это выглядит как темлейты какие-то, а не типы, ну да ладно. С трейтами это пусть и было бы красиво, но, насколько я помню, Антонидзе хочет статику.
Так что, вот этот вот
Мы делаем
и у нас темплейт
Так что, вот этот вот
\struct должен быть определенным темплейтом, к примеру Debug или Display, как трейт в расте.Мы делаем
\type Paren {
\struct Print : String -> String $ expr = "(" + expr + ")";
}и у нас темплейт
Print раскроется только при print вызовеh
то есть. type-specific macros получается 🤷♂️
ПС
Ну а как в языке обычное приведение типов-то сделать?
K
> Антонидзе хочет статику
Так, а шаблоны у него будут? А HKT?
Так, а шаблоны у него будут? А HKT?
h
темплейты я имею в виду макро-темлпейты, а не плюсовые, ни дай бог
h
но раскрытие макросов после тайп-чека та ещё попаболь будет
ПС
Про это дело пилят язык Hackett, кстати
АП
дык мне не нужно была привязка только к print
h
ну. неважно.
Print это вызов Print, здесь Print это диспатчер репрезентации.h
Вы можете сделать
\repr Print Paren "kek", и получить строку "(kek)" без stdout'аАП
🤔 а зачем тогда Paren ?
Но возможно вы правы)
Но возможно вы правы)
АП
стоп..
h
Paren это "структура", не
struct как в обычных япах, а как темплейт. Мне казалось вы именно об этом и говорили давно ещёАП
то есть мне нужно писать
\repr Print Paren str
при каждом использовании любого str , чтобы получить str в скобках ?h
Paren конструктор, это просто создание. print внутри как раз-таки и вызывает \repr Print a какой-нибудь, где a :: Parenлибо, другими словами можно так
\struct Print {
\repr : String -> String
}
h
А. Блин. Получились трейты