Size: a a a

2020 December 07

JS

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

JS

Jerzy Syrowiecki in Haskell
ты просто хочешь грязный язык
источник

к

кана in Haskell
ну да, нечем, там же его действительно не будет
источник

к

кана in Haskell
но мне оно часто и не нужно, потому что мне нужны не только &&
источник

к

кана in Haskell
например я хочу вместо
print =<< liftA2 (+) (f a) (g b)
писать
print $ (<- f a) + (<- g b)
источник

JS

Jerzy Syrowiecki in Haskell
а здесь будет:

isGreaterThan0 x .&&. isGreaterThan0 y >>=
 hence
   (IO.println "...")


но тогда не нужен особый синтаксис
источник

к

кана in Haskell
вот эта вот особая функция не нужна
источник

JS

Jerzy Syrowiecki in Haskell
нужна, чтобы коротко замкнуть монаду (или селектив), с аппликативом нельзя
источник

AV

Alexander Vershilov in Haskell
Jerzy Syrowiecki
или

isGreaterThan0 x >>=
 then
   (IO.println "...")

where then = flip when
flip when = unless
источник

JS

Jerzy Syrowiecki in Haskell
кана
например я хочу вместо
print =<< liftA2 (+) (f a) (g b)
писать
print $ (<- f a) + (<- g b)
вот это пример уже хороший
источник

JS

Jerzy Syrowiecki in Haskell
Alexander Vershilov
flip when = unless
flip flip = dᴉlɟ
источник

YR

Yuki Rito in Haskell
а я хочу ... 'liftA2 (+)...' ....  :)
источник

YR

Yuki Rito in Haskell
не врубаюсь я в этот маркдаун
источник

к

кана in Haskell
еще одна интересная фича
источник

JS

Jerzy Syrowiecki in Haskell
ну да, можно ведь

let (+) = liftA2 (Prelude.+)
in  f a + g b
источник

к

кана in Haskell
блин ну очень круто конечно, но я хочу тебе сказать, что и вместо do-нотации можно писать >>= и pure
источник

YR

Yuki Rito in Haskell
Jerzy Syrowiecki
ну да, можно ведь

let (+) = liftA2 (Prelude.+)
in  f a + g b
аха, я так и делаю, но с бактипами круче б было
источник

MK

Maxim Koltsov in Haskell
джойны есть в коре кстати
источник

YR

Yuki Rito in Haskell
что за джойны?
источник

MK

Maxim Koltsov in Haskell
а вообще что, они решили серьезно расширить доку именно про вычислительную часть языка, а не про прувер?
источник