AB
типы нигде кроме спеков не указыаются, хотя типизация строгая. поэтому такой синтаксис помогает тебе лишний раз понимать, над чем ты операцию проводишь
Size: a a a
2019 August 26
AB
хотя, еще в guards можно проверять на нужный тип
VA
Вопрос был именно почему "<>"? может из языка какого пришло
T
типы нигде кроме спеков не указыаются, хотя типизация строгая. поэтому такой синтаксис помогает тебе лишний раз понимать, над чем ты операцию проводишь
почему это является проблемой?
T
условно: в Ruby есть оператор +
T
для конкатенации строк используется он
T
для конкатенации массивов - он же
T
в чем логика разделения операторов и использование не очень логичного “<>”?
AB
почему это является проблемой?
видимо, по той же причине, почему не является проблемой в других языках. в книге про common lisp прямо отправляли к какой-то книге
T
ну вот я и стараюсь понять 🙂
T
спросил в конфе в дискорде - “просто потому что"
T
🙂
AB
в чем логика разделения операторов и использование не очень логичного “<>”?
потому что, если + будет для двух разных типов, то можно будет сложить бинарь и число и будет хз чо
VA
Разделение понятно как раз таки. Это методы из kernel. И они внутри однозначно работают с определёнными типами.
AB
ну вот я и стараюсь понять 🙂
я стараюсь понять, чем помогают типы. из нового, в rust есть вывод типов и обязательно указывать только в функциях на входе. в Julia можно вообще типы не писать
AB
есть какие-то разговоры о том, что в ерланге пытались прикрутить статическую типизацию и это бы сломало всю идеологию ерланга. и что эти люди потом ушли и вроде бы сделали rust
AB
по доводам, которые есть в книге по лиспу, там была речь о том, что без необходимости везде указывать типы - ты просто быстрее приступаешь непосредственно к решению задачи. не тратя времени на "расшаркивания перед компилятором"
T
вопрос все еще остается открытым
T
почему не ++ ?
AB
от себя могу добавить, что там, где тебе действительно важно какие и где типы, ты можешь начать указывать спеки к функциям и проводить анализ специально созданным для этого, очень качественным и старым инструментом под названием dialyzer