AM
В принципе без завтипов в языке логично, конечно
Size: a a a
2020 July 01
I
да, простейший row-полиморфизм https://ru.wikipedia.org/wiki/Параметрический_полиморфизм#Рядный_полиморфизм_Уанда (там пример с ocaml, но там он очень ограничен)
AO
Purescript?
I
Purescript?
дя
(
Чё с сигнатурой user? Почему там
t18?AO
Чё с сигнатурой user? Почему там
t18?Это автоматический вывод типа
AO
Типовая переменная автоматически сгенерирована
I
Чё с сигнатурой user? Почему там
t18?Наверно что в том же модуле находится foo
AO
А блин, соре) не понял вопрос
(
Это автоматический вывод типа
Так нет, там
String | t18O
Умеет кажется, но кажется всех правил там нет. Плагин Detekt кстати включает в себя ktlint в последних версиях) ktLint удобен тем что по умолчанию настроен на официальный котлин стайл гайд, также у него есть авто форматер, который на гит хук можно повесить.
последниие версии форматят криво на мой взгляд, форматирование допустимое оф котлин стайлами ктлинт считает не допостимым
I
Так нет, там
String | t18Тебя большая цифра интересует или | ?
(
Тебя большая цифра интересует или | ?
Меня интересует, почему там сумтип стринга (который вывелся правильно) и какого-то фантомного типа
I
Меня интересует, почему там сумтип стринга (который вывелся правильно) и какого-то фантомного типа
Нет, это сум тип не отдельного поля, а всего рекорда (типа могут быть еще поля)
O
Переслано от OlegKrikun
И в догонку, скажите мне а нет ли ошибки в туть
Имха, вместа: "For classes with a long supertype list, put a line break after the colon and align all supertype names horizontally:" - должно быть: "For classes with a long supertype name, put a line break after the colon and align all supertype names horizontally:"
Имха, вместа: "For classes with a long supertype list, put a line break after the colon and align all supertype names horizontally:" - должно быть: "For classes with a long supertype name, put a line break after the colon and align all supertype names horizontally:"
(
Нет, это сум тип не отдельного поля, а всего рекорда (типа могут быть еще поля)
Ааааа, ловко, окей
AO
Наверное, это какая-то магия, чтобы работало для любых типов с такими полями
O
Переслано от OlegKrikun
И в догонку, скажите мне а нет ли ошибки в туть
Имха, вместа: "For classes with a long supertype list, put a line break after the colon and align all supertype names horizontally:" - должно быть: "For classes with a long supertype name, put a line break after the colon and align all supertype names horizontally:"
Имха, вместа: "For classes with a long supertype list, put a line break after the colon and align all supertype names horizontally:" - должно быть: "For classes with a long supertype name, put a line break after the colon and align all supertype names horizontally:"
вот про это ктонить меня разубедить может? =)))
AO
Нет, это сум тип не отдельного поля, а всего рекорда (типа могут быть еще поля)
А, типа
(age :: t15, user :: String) | t18?КР
Отсылка на Мишу в фаллаут 76