ЕР
Перешёл на идею
Size: a a a
2020 May 13
ЕР
Для хаскеля плагин работает в комьюнити, он не от jb
AM
EAP не работает( А зп нет) задонатьте плз)0
а почему еап не работает?
A
а почему еап не работает?
вышла из беты 2020.1 )
AM
не понял
A
не понял
тестеры не нужны больше
AM
AK
Мне кстати, не понравился как-то, пытался на нем на хаскеле писать
мне на эликсире понравилось на vsc больше чем на idea, lsp хорошо работает
ЕР
мне на эликсире понравилось на vsc больше чем на idea, lsp хорошо работает
Ну я пытался совместит тот lsp https://github.com/haskell/haskell-ide-engine , но как-то сложно всё. Скорее со стороны hie а не vsc, в итоге взял идею с плагином
ЕР
А от самой vsc я только к интерфейсу привыкнуть не мог, слабовато после полноценных ide
A
Мне пока что только каррирования не хватило, но я думал что hkt что-то большее умеют чем дженерики
Ну hkt вроде и является генериком на уровне типов.
A
Мне пока что только каррирования не хватило, но я думал что hkt что-то большее умеют чем дженерики
А для каких целей каррирование нужно?
ЕР
А для каких целей каррирование нужно?
Вот этот вызов doubleFromParts повторить https://github.com/EvgeniiR/json-parser/blob/master/src/Lib.hs#L75
ЕР
Ну то есть в качестве аргументов в функцию закидывать другую не до конца применённую функцию, каррирование можно попробовать повотрить но типами с psalm'мом это вроде не покрыть
AK
Вот этот вызов doubleFromParts повторить https://github.com/EvgeniiR/json-parser/blob/master/src/Lib.hs#L75
что-то на эльфийском
ЕР
что-то на эльфийском
Ну тип я могу взять функцию которая принимает два числа, например "+" с сигнатурой
(+) :: Num a => a -> a -> a
и в качестве второго, например, аргумента, закинуть туда ещё одну функцию плюс с одним заполненным аргументом из двух, и получить
(+) 1 (3+) :: (Num a, Num (a -> a)) => a -> a
То есть функцию, в которую нужно докинуть ещё аргумент и он сложится сначала с тройкой а потом с еденичкой
(+) :: Num a => a -> a -> a
и в качестве второго, например, аргумента, закинуть туда ещё одну функцию плюс с одним заполненным аргументом из двух, и получить
(+) 1 (3+) :: (Num a, Num (a -> a)) => a -> a
То есть функцию, в которую нужно докинуть ещё аргумент и он сложится сначала с тройкой а потом с еденичкой
AK
Ну тип я могу взять функцию которая принимает два числа, например "+" с сигнатурой
(+) :: Num a => a -> a -> a
и в качестве второго, например, аргумента, закинуть туда ещё одну функцию плюс с одним заполненным аргументом из двух, и получить
(+) 1 (3+) :: (Num a, Num (a -> a)) => a -> a
То есть функцию, в которую нужно докинуть ещё аргумент и он сложится сначала с тройкой а потом с еденичкой
(+) :: Num a => a -> a -> a
и в качестве второго, например, аргумента, закинуть туда ещё одну функцию плюс с одним заполненным аргументом из двух, и получить
(+) 1 (3+) :: (Num a, Num (a -> a)) => a -> a
То есть функцию, в которую нужно докинуть ещё аргумент и он сложится сначала с тройкой а потом с еденичкой
да я в целом про весь файл)
AK
для сверхразумов
ЕР
да я в целом про весь файл)
А это по видосу сделано - https://www.youtube.com/watch?v=N9RUqGYuGfw
Годно, советую
Годно, советую
