Телеграмм чат группы haskellru страница 16471

Size: a a a

Haskell

1588 membersпожаловаться на группу

2021 June 18

кана in Haskell

https://gist.github.com/kana-sama/bdce3a5f0aae67b8ec6a74381ddaa1bc

Gist

Codensity.hs

GitHub Gist: instantly share code, notes, and snippets.

источник

00:04пожаловаться #1

кана in Haskell

тут я ее isolated назвал

источник

00:05пожаловаться #2

кана in Haskell

раньше я вот жуткие костыли писать типа

many :: (a -> m b -> m b) -> [a] -> m b -> m b
many f xs next = foldr f next xs

и потом

withX :: a -> M b -> M b

many withX [a1, a2, a2] do
...

а теперь я могу просто сделать

for [a1, a2, a3] (wrap0 . withX)
...

источник

00:16пожаловаться #3

Dmitry Kovriga in Haskell

есть какой-нибудь экстеншен для row polymorphism для рекордов? желательно чтобы под 8.6 еще работал😜

источник

01:22пожаловаться #4

ЗП

Зигохистоморфный Пре... in Haskell

https://hackage.haskell.org/package/row-types

Hackage

row-types: Open Records and Variants

Install via `cabal install row-types`.

источник

01:33пожаловаться #5

кана in Haskell

есть не row polymorphism, есть просто HasField классы, и этим можно пользоваться как напрямую, так и в экзист засунуть

источник

01:47пожаловаться #6

кана in Haskell

а не, там все еще только геттеры, да и если бы были сеттеры, то добавить поле бы не вышло

источник

01:47пожаловаться #7

Danil Berestov in Haskell

Циклы практически всегда менее читаемы, чем рекурсия

источник

09:00пожаловаться #8

кана in Haskell

так, еще раз, я не говорю про рекурсию

источник

09:01пожаловаться #9

кана in Haskell

я говорю ровно про хвостовую рекурсию

источник

09:01пожаловаться #10

Danil Berestov in Haskell

Рекурсия включает в себя хвостовую рекурсию

источник

09:02пожаловаться #11

кана in Haskell

циклы и хвостовая рекурсия одинаково читаемы, там пишется одинаковый код одинаковым способом

источник

09:02пожаловаться #12

кана in Haskell

ниже там есть несколько примеров

источник

09:02пожаловаться #13

Jerzy Syrowiecki in Haskell

зато мапы-редьюсы и прочие абстракции над циклами и рекурсией читаются лучше, чем сырые циклы и рекурсия

источник

09:07пожаловаться #14

Danil Berestov in Haskell

Ну эти мапы и редюсы так же можно написать через циклы, как это в скале сделано, так что не считается

источник

09:09пожаловаться #15

Jerzy Syrowiecki in Haskell

что не считается? не важно, как они реализованы, в пользовательском коде они читаемей

источник

09:33пожаловаться #16

Ilya Kos in Haskell

В циклах тебе как программисту как минимум нужно следить за дополнительными сущностями — за переменными, которые меняются в цикле. При работе со списками, например, это у тебя будет целое число — индекс. При рекурсии у тебя такой сущности вообще нет.

источник

09:33пожаловаться #17

кана in Haskell

так и в цикле не обязательно

источник

09:34пожаловаться #18

кана in Haskell

ты говоришь наверное про for/while

источник

09:34пожаловаться #19

Ilya Kos in Haskell

А, ну бывают языки и с таким, да

источник

09:34пожаловаться #20