Size: a a a

2020 December 18

к

кана in Haskell
в ghc9 все работает и без TypeOf
источник

к

кана in Haskell
тулинг правда не понимает ничего
источник

к

кана in Haskell
но мне TypeOf даже больше нравится, какой-то такой привкус завтипов уже
источник

к

кана in Haskell
нравится ошибка, такая оптимистичная
источник
2020 December 19

R

Roman in Haskell
кана
вот такое работает
Офигеть
источник

R

Roman in Haskell
Roman
Офигеть
А хотя все логично
источник

R

Roman in Haskell
Надо просто k переименовать в a, и все встает на свои места
источник

AV

Alexander Vershilov in Haskell
А что из списковых/векторных операций нормально отбработает пайплайн: zip . first (snd~ . mapAccumL go i) . unzipWith f, где unzipWith f = unzip . map (\x -> (f x, x)), а snd~ это snd, но с irrefutable pattern
источник

AV

Alexander Vershilov in Haskell
Где нормально значит без выделения промежуточных структур
источник

AV

Alexander Vershilov in Haskell
А идеально свернёт в один loop
источник

AV

Alexander Vershilov in Haskell
А то тут и zip и unzip есть, но при этом форма списка не меняется
источник

AV

Alexander Vershilov in Haskell
Через foldl же можно?
источник

K

Kir in Haskell
Можно теоретически руками через одну здоровенную лямбду в foldl', я думаю
источник

AV

Alexander Vershilov in Haskell
Руками всё можно
источник

IK

Ilya Kos in Haskell
А еще можно на Си переписать
источник

AV

Alexander Vershilov in Haskell
На го
источник

JS

Jerzy Syrowiecki in Haskell
на С недостаточно страданий?
источник

IK

Ilya Kos in Haskell
Зато циклы остаются циклами *
источник

AV

Alexander Vershilov in Haskell
Хочется чтобы нормальный код стал циклами
источник

AV

Alexander Vershilov in Haskell
А циклы я и в Haskell написать могу
источник