Size: a a a

2020 December 07

IK

Ilya Kos in Haskell
Т е тоже не очень распространены
источник

к

кана in Haskell
вариант спж больше нравится из-за явного биндинга, а то вью-паттерны напоминают какие-то неудобные версии пи-типов типа Pi Nat (\x -> Even x)
источник

IK

Ilya Kos in Haskell
Ilya Kos
Т е тоже не очень распространены
И используются в паре очень специфических мест
источник

IK

Ilya Kos in Haskell
кана
вариант спж больше нравится из-за явного биндинга, а то вью-паттерны напоминают какие-то неудобные версии пи-типов типа Pi Nat (\x -> Even x)
+
источник

к

кана in Haskell
Ilya Kos
Т е тоже не очень распространены
не, имплициты все таки на порядок более редкие
источник

к

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

их главная проблема что про них никто не знает и считают чем-то экспериментальным
источник

AA

A64m AL256m qn<co... in Haskell
понятно, щас для хаскелиста если в синтаксисе че-то полностью ненужное не повторяется дважды, то уже не катит
источник

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
Т е тоже не очень распространены
довольно популярный экстеншон использующийся в 7% пакетов
источник

AA

A64m AL256m qn<co... in Haskell
в большем, чем тайп апликейшонс например или выводы фолдабла и раверсабла
источник

IK

Ilya Kos in Haskell
Еще вьюпаттерны как будто скрывают вычислительную сложность
источник

AA

A64m AL256m qn<co... in Haskell
как и любая фича хаскеля
источник

к

кана in Haskell
вьюпаттерны просто мало где нужны, почте везде можно использовать гарды
источник

YS

Yan Shkurinskiy in Haskell
а как вообще работают с ghcid в многопакетном проекте с cabal? пакеты по отдельности проверяют? .-.
источник

IK

Ilya Kos in Haskell
То есть все привыкли что паттерн матчинг довольно дешевый
источник

YS

Yan Shkurinskiy in Haskell
или я что-то не понимаю
источник

IK

Ilya Kos in Haskell
А тут кто-то очень умный написал паттерн который список сортирует где-то внутри
источник

к

кана in Haskell
тоже малоиспользуемая фича, что в гардах можно делать так

f x y | Just z <- lookup x y = z
источник

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
То есть все привыкли что паттерн матчинг довольно дешевый
где привыкли?
источник

IK

Ilya Kos in Haskell
A64m AL256m qn I0
где привыкли?
Ну я когда вижу паттерн матчинг я не учитываю его вычислительную сложность
источник

IK

Ilya Kos in Haskell
Возможно это чисто моя проблема
источник