ПС
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 December 01
АП
в каком-то смысле, получается так
K
Где это отмечено-то? Это структура с двумя строковыми полями и конструктором методом?
K
Нет, я просто не люблю имплиситы не к месту
ПС
Тогда у вас есть проблемка, потому что можно случайно настакать сколько угодно скобок
mkParenthesized : String -> Parenthesized
mkParenthesized (mkParenthesized (mkParenthesized x))
mkParenthesized : String -> Parenthesized
mkParenthesized (mkParenthesized (mkParenthesized x))
ПС
Ну, одно дело -- субъективная нелюбовь (с которой я полностью согласен), а другое -- объективные проблемы с концепцией
ПС
Я бы на вашем месте сделал по-другому, ввёл бы процедуру toString, которая вызывается на печатаемых объектах
И в ней бы уже добавлял скобки вокруг исходной строчки
Тогда не нужен кастомный конструктор, и для всех структур можно ввести единый синтаксис создания структуры из её полей
И в ней бы уже добавлял скобки вокруг исходной строчки
Тогда не нужен кастомный конструктор, и для всех структур можно ввести единый синтаксис создания структуры из её полей
ПС
Это, конечно, тоже субъективщина, ООП-языки с произвольными конструкторами существуют...
ПС
В общем, нужно избавиться от ненужной подтипизации, а дальше вроде как без разницы
АП
получится та же история что и с вариантом из https://t.me/typeslife/14349 - придётся везде или вызывать toString или проводить каст строки в Parenthesis
ПС
Ну, toString процедура print может вызывать за вас)
ПС
print : impl ToString -> ()
АП
print да, но не принтом единым сыт программист
ПС
Мне кажется, программисту будет полезно различать просто строчку и строчку в скобках
ПС
Короче, в той же Джаве ваш вариант спокойно можно сделать
По модулю того, что конструктор надо будет вызывать явно
По модулю того, что конструктор надо будет вызывать явно
ПС
Можно рассмотреть, что за язык получится, если в лямбда-исчисление с изменяемым состоянием и объектами добавить неявные конструкторы
ПС
Кажется, получится ад
ПС
Ну, во всех объявлениях переменных нужно будет помечать их тип, иначе вывод типов будет странно себя вести
ПС
Хотя в системах с сабтайпингом это и так придётся делать...