OA
Saitama
эт к тому, что убедить среднего джависта, особенно старого, сложно.
Зачем?
Size: a a a
2020 November 25
IK
Вроде давно никто не возражает, что First-class function - это хорошо?
IK
типа передаёшь функцию как параметр - красота
ΑZ
Я к тому, что синтаксис появляется для Option, Vector, Whatever вне зависимости от их внутреннего типа. Без HKT такое описать очень сложно, а так - Applicative[F[_]] - пожалуйста
ну вопрос в примере таких апи? Вот что делать с "нинужна"?) Для продажи генериков мне достаточно аргумента "давайте напишем хэшсет для строк, интов и даблов"
ΑZ
А какой подобный пример для хкт привести я даж не знаю
ΑZ
синк/асинк - разве что, но это не так убойно ибо там всего 2 варианта по сути
S
Зачем?
IK
ну вопрос в примере таких апи? Вот что делать с "нинужна"?) Для продажи генериков мне достаточно аргумента "давайте напишем хэшсет для строк, интов и даблов"
Давайте напишем функцию first, которая сможет для коллекции с любым типом элемента Х возвращать Option[Х]
IK
А, плохой пример, кажется :)
IK
Перепутал, это я кому-то так FunctionK объяснял :)
IK
типа передаёшь функцию как параметр - красота
Тут то же самое, но на уровне типов. Обычные дженерики - это функции типа, с простыми параметрами. HKT - это first-class- функции на уровне типов
IK
можно объявлять типы
<здесь находится GO>
зачем копипастить объявления типов, если можно сделать "функцию" по объявлению типа?
<обычные дженерики находятся здесь>
А что, если функция по объявлению типа, может принимать другую функцию, объявляющую тип?
<welcome to HKT>
<здесь находится GO>
зачем копипастить объявления типов, если можно сделать "функцию" по объявлению типа?
<обычные дженерики находятся здесь>
А что, если функция по объявлению типа, может принимать другую функцию, объявляющую тип?
<welcome to HKT>
λ
оебать скала начала проверять матч по енуму на экзостивность
D
оебать скала начала проверять матч по енуму на экзостивность
тайплевельный билд 2.11.8 умел в такое еще в 16 году кек!
IK
Это про 2.13.4?
λ
блин на самом деле он теперь всегда ругается на матч по енуму :(
ΑZ
можно объявлять типы
<здесь находится GO>
зачем копипастить объявления типов, если можно сделать "функцию" по объявлению типа?
<обычные дженерики находятся здесь>
А что, если функция по объявлению типа, может принимать другую функцию, объявляющую тип?
<welcome to HKT>
<здесь находится GO>
зачем копипастить объявления типов, если можно сделать "функцию" по объявлению типа?
<обычные дженерики находятся здесь>
А что, если функция по объявлению типа, может принимать другую функцию, объявляющую тип?
<welcome to HKT>
вопрос, как людям которые от слова "клейсли" делают большие глаза объяснить зачем вообще нужно хкт. У меня есть смутные ощущения, что оно полезно, но до сих пор никто не смог привести пример в 50 строк кода что "смотри как классно, а без хкт получается 500 строк копипасты"
В
higher kinded types
прочитал про них, посмотрел примеры (какую-то часть)
а как это связано с затиранием?почему типы высшего порядка являются плюсом затирания?
а как это связано с затиранием?почему типы высшего порядка являются плюсом затирания?