Size: a a a

2021 March 28

L

Lierdakil in Haskell
Хочу explicitforall в тайпклассах
источник

к

кана in Haskell
прокси я возненавидел когда sop код писал, просто в 10 раз грязнее все из-за такой мелочи

там прокси для передачи констрейнтов используется
источник

L

Lierdakil in Haskell
ну  уж. я вот собственными руками писал код в котором undefined был вместо прокси. вот этому уже нет оправдания)
источник

к

кана in Haskell
о, я так делал, чтобы не добавлять импорт еще один
источник

к

кана in Haskell
но иногда в функциях матчат прокси, и это не прокатывает
источник

L

Lierdakil in Haskell
да я там сам писал всё. издевался над тайпчекером, поэтому вроде как шансов вычислить не было. но выглядит ужасно.
источник

L

Lierdakil in Haskell
(вычислить это в смысле грохнуться в рантайме из-за undefined)
источник

L

Lierdakil in Haskell
прокси по сравнению не так плох (опять же на мой вкус). typeapplications конечно приятнее, но пока есть местами проблемы в эргономике.
источник

JS

Jerzy Syrowiecki in Haskell
Haskell is great building at DSLs – which are perhaps the ultimate form of slacking off at work. Rather than actually doing the work your manager tells you to, you can build DSLs to delegate this back to your manager
https://jaspervdj.be/posts/2020-03-12-visual-arrow-syntax.html
источник

[

[BRM]White Rabbit in Haskell
Есть 3 одинаковые по функционалу функции (тавтология, привет).
Какую бы вы выбрали? Ихмо, последняя гораздо легче читается, чем первая, но при этом более обобщённая по типам, чем вторая
источник

к

кана in Haskell
мб ты намеренно игнорируешь, но вчера тебе кидали расширение, которое делает все 3 варианта одинаковыми по типу
источник

[

[BRM]White Rabbit in Haskell
да, я видел, но хотелось бы без расширений забацать🌚
источник

[

[BRM]White Rabbit in Haskell
Ладно, я подключил, теперь они одинаковы по типу
источник

к

кана in Haskell
ну в общем первый вариант имхо в любом случае самый худший, второй просто редкий, я бы юзал его для списков и только, а третий дефолт
источник

AP

Aleksei (astynax) Pi... in Haskell
Как только <$> и <*> смешиваются с лямбдами, стоит переписать
источник

AP

Aleksei (astynax) Pi... in Haskell
Вынести что-то во where, переписать через do, через comprehension — любой вариант из
источник

AP

Aleksei (astynax) Pi... in Haskell
Смесь аппликативных операторов с байндом тоже стоит переписать на do
источник

AP

Aleksei (astynax) Pi... in Haskell
А тут в первом варианте комбо — лямбда, байнд и аппликатив
источник

AP

Aleksei (astynax) Pi... in Haskell
Ещё и направление чтения скачет туда-сюда
источник

AP

Aleksei (astynax) Pi... in Haskell
(,)... >>= (\(...) -> .. $> ..)
даже так было бы лучше, ИМХО
источник