Size: a a a

Kotlin Community

2021 January 06

L

LevT in Kotlin Community
Просто если котлин "лучше" наличием наследования - это вопрос личных/групповых убеждений
Я хочу выяснить, имелось ли в виду что-то вроде "сабтайпинга без наследования"
источник

с#

саша сок #KotlinGang... in Kotlin Community
LevT
Просто если котлин "лучше" наличием наследования - это вопрос личных/групповых убеждений
Я хочу выяснить, имелось ли в виду что-то вроде "сабтайпинга без наследования"
где вообще говорили, что котлин "лучше" наличием наследования
источник

L

LevT in Kotlin Community
Andrew Mikhaylov
И преимущество тоже не уместно. Есть система типов котлина, есть системы типов, построенные на HM. Они пересекаются, но не вкладываются друг в друга.
Вот где-то можно почитать о возможностях котлина, недоступных/затруднительных c HM?
источник

DK

Denis Kalinochkin in Kotlin Community
А какой части HM нет в котлине?
источник

AM

Andrew Mikhaylov in Kotlin Community
LevT
Вот где-то можно почитать о возможностях котлина, недоступных/затруднительных c HM?
У меня таких материалов на примете нет.
источник

L

LevT in Kotlin Community
Andrew Mikhaylov
У меня таких материалов на примете нет.
Ну или сами перечислите, если не затруднит
источник

L

LevT in Kotlin Community
Какого именно сабтайпинга нет в HM, который есть в котлине? (кроме наследования)
источник

с#

саша сок #KotlinGang... in Kotlin Community
может в @pofftop ?
источник

L

LevT in Kotlin Community
Почему ж офтоп, вопрос действительно важен именно здесь
источник

RI

Ruslan Ibragimov in Kotlin Community
LevT
Вот где-то можно почитать о возможностях котлина, недоступных/затруднительных c HM?
Поиск разработчиков, перевод армии программистов с Java например 🙂 Такие вопросы надо хаскелистов спрашивать, они лучше знают свою систему типов
источник

PB

Prince & Brijesh... in Kotlin Community
Can anyone tell me about Katlin from beginning
источник

RI

Ruslan Ibragimov in Kotlin Community
Prince & Brijesh Kumar
Can anyone tell me about Katlin from beginning
источник

AL

Alexander Levin in Kotlin Community
Prince & Brijesh Kumar
Can anyone tell me about Katlin from beginning
Check FAQ in the description, there are some materials (books, courses) for beginners
источник

RI

Ruslan Ibragimov in Kotlin Community
LevT
Какого именно сабтайпинга нет в HM, который есть в котлине? (кроме наследования)
Наследование как-раз таки преимущество, т.к. позволяет делать интероп с Java кодом. Тут явно был компромисс между тем сделать ли язык чище и проще, или поддержать существующую экосистему в языке
источник

AM

Andrew Mikhaylov in Kotlin Community
LevT
Какого именно сабтайпинга нет в HM, который есть в котлине? (кроме наследования)
Сабтайпинг — он один, да. А вот из всех видов полиморфизма в том же хаскеле нет вроде только полиморфизма подтипов.
Я вот не знаю, а flow typing в хаскеле есть? Условно, в котлине можно написать
val a: String? = null
if(a != null) {
   // a: String
}

Сразу предупреждаю, что не готов этому разговору много внимания уделять, а с моим небольшим уровнем знаний в хаскеле мне для него пришлось бы много гуглить.
источник

L

LevT in Kotlin Community
То есть преимущество котлина над HM в платформенно-зависимом интеропе. Это всё?
Я о технических аспектах, понятно что джавистов сманивать удобней
источник

RI

Ruslan Ibragimov in Kotlin Community
LevT
То есть преимущество котлина над HM в платформенно-зависимом интеропе. Это всё?
Я о технических аспектах, понятно что джавистов сманивать удобней
Ну визуально не видно каких-то киллер фич там или тут, надо экспертов искать, Брагилевского спроси 😉
источник

RI

Ruslan Ibragimov in Kotlin Community
actual/expect можно сюда приплести? Там же типы которые мапятся на платформу + сабсет который общий
источник

AM

Andrew Mikhaylov in Kotlin Community
Я продолжаю не понимать, зачем заниматься поиском киллер-фичей там или тут. Это две разных системы типов, каждая позволяет решать одни и те же задачи по-своему.
источник

AM

Andrew Mikhaylov in Kotlin Community
Ruslan Ibragimov
actual/expect можно сюда приплести? Там же типы которые мапятся на платформу + сабсет который общий
Мне кажется, это больше про линковку всё же. Да, expect/actual позволяет слинковать неидентичные типы, но он настолько ограниченный, что интереса с этой точки зрения вряд ли много вызвать может.
источник