AM
Size: a a a
2020 March 12
Dv
Донсайм при обсуждении таких фичей просит принести хотя бы один толковый пример
Т8
Причём нафига им HKT — пояснить не могут.
AM
зачем там насосно-компрессорные трубы?
Dv
И те, кто не смог принести такой пример, идут в лес
d
Причём нафига им HKT — пояснить не могут.
Типы высшего порядка?
Т8
Типы высшего порядка?
Ага
DS
Причём нафига им HKT — пояснить не могут.
Final tagless, нормальная иерархия тайпклассов, трансформеры, человеческая реализация фри монад и т.д. и т.п.
Dv
Final tagless, нормальная иерархия тайпклассов, трансформеры, человеческая реализация фри монад и т.д. и т.п.
Ну я и говорю — не могут.
Dv
Спасибо за иллюстрацию.
DS
Ну я и говорю — не могут.
А в чём проблема? Слова сложные и непонятные?
Dv
А в чём проблема? Слова сложные и непонятные?
Да 🤷♂️
Dv
Абсолютно неясно, зачем хоть что-то из этого в языке.
Dv
Пример должен быть такой: вот я решаю такую-то задачу. Без HKT она решается так-то, с HKT решалась бы так-то.
Dv
Кидаться баззвордами из другого языка абсолютно для такой дискуссии бессмысленно.
DS
Да 🤷♂️
Ну надо развиваться, читать статьи, все дела.
За final tagless - можно к статьям Олега Киселева, там более-менее норм расписано. Если вкратце, то отличный подход к решению стандартной expression problem, причем с кучей чисто технических плюсов.
За final tagless - можно к статьям Олега Киселева, там более-менее норм расписано. Если вкратце, то отличный подход к решению стандартной expression problem, причем с кучей чисто технических плюсов.
Dv
Ну надо развиваться, читать статьи, все дела.
За final tagless - можно к статьям Олега Киселева, там более-менее норм расписано. Если вкратце, то отличный подход к решению стандартной expression problem, причем с кучей чисто технических плюсов.
За final tagless - можно к статьям Олега Киселева, там более-менее норм расписано. Если вкратце, то отличный подход к решению стандартной expression problem, причем с кучей чисто технических плюсов.
Спасибо, я лучше буду писать код.
Dv
А нафиг посылать — ну это проще всего, ага.
Dv
Читай Коран, Тору, Библию, а потом приходи.
Т8
Читай Коран, Тору, Библию, а потом приходи.
++