AN
Вот это уже точно три миллиона раз обсуждали. Тут даже мне дублироваться надоело.
Size: a a a
2020 March 27
AM
Слушать меня необязательно, просто сраться, не слушая другую сторону, смысла нет, как по мне.
(
Вот это уже точно три миллиона раз обсуждали. Тут даже мне дублироваться надоело.
Каким-то образом всегда приходим к тому, что вы делаете вывод, что это нужно только либописцам, хотя это не так
AM
Более того, аргументов, почему это безусловно не нужно разработчикам приложений, не просто нет, их априори не существует. Но вы продолжаете эту тему крутить из раза в раз :)
AN
Более того, аргументов, почему это безусловно не нужно разработчикам приложений, не просто нет, их априори не существует. Но вы продолжаете эту тему крутить из раза в раз :)
А я никогда не говорил, что не нужно. Я говорил что не настолько нужно. Оно же все не бесплатно.
AM
Кому-то не нужно, кому-то хочется, зачем друг друга пытаться убедить в своей точке зрения -- не понимаю. Я бы понял, если б Егор спорил с Ильмиром, или с Романом, там хоть смысл бы был.
AN
А почему Егор должен спорить с Ильмиром?
AM
А я никогда не говорил, что не нужно. Я говорил что не настолько нужно. Оно же все не бесплатно.
Да нет, вы обычно безальтернативно утверждаете, что не нужно вообще. Ну либо я жопой читаю 🤷♂
AN
Да нет, вы обычно безальтернативно утверждаете, что не нужно вообще. Ну либо я жопой читаю 🤷♂
Видимо как всегда проблема формулировок
AM
А почему Егор должен спорить с Ильмиром?
С Ильмиром об этом логично общаться, потому что есть шансы привести в беседе крутой юзкейс и принести его авторам языка.
AN
Просто у всех хотелок есть цена. Мне тоже много чего хочется, но не хочется за это слишком много платить
AM
Мы о цене поддержки самой фичи разработчиками языка говорим? Или какая цена у тайпклассов?
(
Мы о цене поддержки самой фичи разработчиками языка говорим? Или какая цена у тайпклассов?
Да для начала у хкт хотя-бы
AN
Мы о цене поддержки самой фичи разработчиками языка говорим? Или какая цена у тайпклассов?
Как правило время компилляции и глюки в тулинге. Конкретно тайп-классы в котлин конфликтуют с мультиресиверами, поэтому я продвигаю тот вариант, который мне больше нравится. Но HKT и тайп-классы это не одно и то же.
(
Чтобы можно было фиксировать тип
AM
Хорошо, ХКТ, я перестал тайп-классы упоминать.
AN
Если вы придумаете, как сделать HKT без имплиситов - будет конструктивно
AM
Если вы придумаете, как сделать HKT без имплиситов - будет конструктивно
Это и есть краеугольный камень, насколько я понимаю -- людям ок с имплиситами в ограниченном виде, потому что соответствие 1-к-1, вам не ок, так как вы хотите вешать разные соответствия в рамках контекстов.
AN
Опять же много раз обсуждали, но проблема в том, что если вы хотите HKT, то вам надо или как-то придумать, как явно подсовывать реализации, либо делать неявный вывод, который будет сильно грузить компилятор и городить баги. Как это сделать явно я одно решение предложил недавно
AN
Это и есть краеугольный камень, насколько я понимаю -- людям ок с имплиситами в ограниченном виде, потому что соответствие 1-к-1, вам не ок, так как вы хотите вешать разные соответствия в рамках контекстов.
Это да. Я еще хочу, чтобы одна фича покрывала несколько кейсов и в скрипты работали на тех же принципах