July 6th, 2015

Book

bitraversable representable semigroupoids

Читал тут SO, собирал материал для свежей порции упражнений по хаскелю. Обнаружил, что изредка в ответах мелькают предложения использовать всякую экзотику - какой-нибудь Data.Functor.Alt из semigroupoids, Data.Bitraversable и т.п.

Вы что-то используете абстрактное, не покрытое тайпклассопедией? Кметт вон дохрена всего налабал https://hackage.haskell.org/package/category-extras, и не только он.
Book

Повода для жопоболи нет

Оказалось, я не знаю ключей компилятора, использовал -O вместо -O2. C -O2 код, который я написал (через foldl') работает из коробки без аннотаций.

"Правильным", с моей точки зрения, решением, является решение через scanl - максимально идиоматическое. Фолд с таплом это некошерно.