АП
можете полный пример с объявлениями и использованием привести?
чё то у меня не компилируется
чё то у меня не компилируется
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 December 01
h
\template Print<T> {
\repr T -> String
}
\type Paren {
\repr Print : () -> String $ expr = "(" + self + ")"
}
трейто-дичь какая-то выходит 🤯АП
а использовать как?
K
Да просто slap typeclasses on it and ship
h
slap typeclasses звучит как гачи для хаскеллистов. что это?
K
Это оригинальные трейты
K
class Show a where
show :: a -> String
class Read a where
read :: String -> Maybe a
AC
> ввёл бы процедуру toString
А ещё лучше — класс типов
А ещё лучше — класс типов
Show. 😉АП
но мне не хочется каждый раз вызывать какую то функцию, чтобы обрамить скобками. Хочу чтобы это было автоматом при создании переменной/изменении значения.
Хотя многие против неявности. Хотя в ООП такое сплошь и рядом. Хотя я не хочу равняться на ООП🤪🤦🏻♂️
Хотя многие против неявности. Хотя в ООП такое сплошь и рядом. Хотя я не хочу равняться на ООП🤪🤦🏻♂️
h
так это просто кастомный конструктор будет. вам в любом случае придется описать это явно
AC
Это не про создание объектов, а про печать/сериализацию в строку.
AB
Это всё про синтаксический сахар, который не позволяют создавать языки. Типа дали вам сахара, его и достаточно. )
А варенье вам низзя.
А варенье вам низзя.
АП
Обрамление скобками у меня явно описано в типе:
\type Parenthesis = {
\struct : String -> String $ expr = "(" + expr + ")";
};
Неявность получается при использовании этого типа для переменных:\object a : Parenthesis = "first";У
\object b : Parenthesis = "second";
а будет значение "(first)", а у b будет значение "(second)", то есть чтобы понять что у а будет значение "(first)", а не "first"нужно помнить/смотреть что за тип
Parenthesis
h
ой. епересете. так это же плюсы с их неявным
думаю никто не будет против, если я скажу, что это ужасно
operator char*()думаю никто не будет против, если я скажу, что это ужасно
h
вам кажется, что это супер удобно, потому что пример простой. Потом вы дойдете до сложных случаев, когда вам придется делать проверку на то, что
A -> B -> C конвертация сущесвтует. В итоге эти имплисит конвертации превратятся в ад и для вас, и для пользователяАП
Вы правы. А я вот понял что я смешал то что не нужно смешивать.
Я в корне неправильно подал идею.
Я в корне неправильно подал идею.
ПС
> автоматом при создании переменной/изменении значения
ну так кэшируйте!
плюс сохранения оригинальной строчки в том, что вам наверняка захочется модифицировать оригинальную строчку, а если вы оставите только вариант со скобками, то нужно будет их сначала снимать, а потом добавлять обратно
ну так кэшируйте!
плюс сохранения оригинальной строчки в том, что вам наверняка захочется модифицировать оригинальную строчку, а если вы оставите только вариант со скобками, то нужно будет их сначала снимать, а потом добавлять обратно
АП