AN
кто такой егор?
Скобка
Size: a a a
2020 July 24
(
немногие одобряют, что эти практики - лучшие
Значит, они не правы. ХКТ - это способ зафиксировать в тайп-параметрах то, что само принимает тайп-параметры, это настолько просто. В свою очередь это ведет к целому набору параметрически полиморфных абстракций, которые приводят к приятной и ненапряжной разработке
(
Когда не нужно хвататься бежать в utils дописывать
map для PersistentList-аIO
Значит, они не правы. ХКТ - это способ зафиксировать в тайп-параметрах то, что само принимает тайп-параметры, это настолько просто. В свою очередь это ведет к целому набору параметрически полиморфных абстракций, которые приводят к приятной и ненапряжной разработке
я знаю, что это
(
я знаю, что это
Освежил память всему чатику
(
То есть, я не понимаю, кем нужно быть, чтобы быть против дженериков++
AN
То есть, я не понимаю, кем нужно быть, чтобы быть против дженериков++
А кто против-то?
AN
Я против только бездумного копирования хаскеля и скалы. И затаскивать всего подряд без обдумывания
IO
Я против только бездумного копирования хаскеля и скалы. И затаскивать всего подряд без обдумывания
я уже сказал, что многие фичи из фп-языков повышают порог вхождения
(
Я против только бездумного копирования хаскеля и скалы. И затаскивать всего подряд без обдумывания
здравствуйте приехали, 2 года уже сидим обсуждаем ровно две фичи из скалы и хаскеля - хкт и тайпклассы (или хотя бы механизм, похожий на них)
AN
Я же говорю. Попробуй написать консистентные кип. Будет, что обсудить
(
Всегда сводится к "X ради X"
(
Я же говорю. Попробуй написать консистентные кип. Будет, что обсудить
В 87-ом кстати вроде были хкт
AN
здравствуйте приехали, 2 года уже сидим обсуждаем ровно две фичи из скалы и хаскеля - хкт и тайпклассы (или хотя бы механизм, похожий на них)
Это не фича скалы. Это общая концепция, которую можно сделать очень по разному
AN
В 87-ом кстати вроде были хкт
Нет
AM
я уже сказал, что многие фичи из фп-языков повышают порог вхождения
Мне кажется, если простым языком описать ХКТ, порог входа будет повышаться несильно. Функции высшего порядка вроде население от котлина не отворачивают.
AN
Всегда сводится к "X ради X"
Да. Потому что ты требуешь, чтобы тебе все дали и сразу
AN
Мне кажется, если простым языком описать ХКТ, порог входа будет повышаться несильно. Функции высшего порядка вроде население от котлина не отворачивают.
Будет, но вопрос не в этом, а в том, как сделать это консистентно
AN
Если просто склонировать что есть в скале - ничего хорошего не будет
(
хм https://github.com/Kotlin/KEEP/pull/87/files/374e8489c0ed185aed7597e8ddb0d4212a27d58f
> The goal of this proposal is to enable
> The goal of this proposal is to enable
type classes and lightweight Higher Kinded Types