Size: a a a

2021 July 01

AF

Alexey Fedotov in Haskell
на плоскости
источник

[

[BRM]White Rabbit in Haskell
угу
источник

[

[BRM]White Rabbit in Haskell
т.е. перекладываешь вычесленный рейтрейсинг на проскость экрана и у тебя есть 2 точки, не так ли?
источник
2021 July 02

a

adam in Haskell
(для всех ответивших "нет")
источник

[

[BRM]White Rabbit in Haskell
существует огромная портянка json schema, разбитая на пяток файлов, каждый строк на пару десятков тысяч с ссылками между ними
есть какие-то утилиты по генерации haskell-кода из этого добра?
источник

[

[BRM]White Rabbit in Haskell
знаю один сайт (https://app.quicktype.io/) для этого, но он кажись подавился
то ли из-за размера, то ли из-за ссылкок меж файлами
источник

ЗП

Зигохистоморфный Пре... in Haskell
кто подскажет почему в https://gist.github.com/xgrommx/d4e04f20570303fdc40d6f07e91cd53c

h3

кидает

    • No instance for (TEval (TProject '[Int, Double]) p0)
       arising from a use of ‘proxyEval’
   • In the expression: proxyEval (Proxy :: _ (Length1 V))
     In an equation for ‘h3’: h3 = proxyEval (Proxy :: _ (Length1 V))
?

не спрашивайте, почему без семейств

с h2 все ок
источник

ЗП

Зигохистоморфный Пре... in Haskell
там баг в
data LengthAlg1 :: forall a. TListF a Nat -> TypeExpr Nat

но теперь во такая ошибка

    • Illegal instance declaration for ‘TEval (Length1 t) r’
       The liberal coverage condition fails in class ‘TEval’
         for functional dependency: ‘expr -> result’
       Reason: lhs type ‘Length1 t’ does not determine rhs type ‘r’
       Un-determined variable: r
   • In the instance declaration for ‘TEval (Length1 t) r’
источник

IO

I O in Haskell
Там a для LengthAlg1 не выводится походу, так работает:

instance TEval (Cata1 (LengthAlg1 @k) t) q => TEval (Length1 @k t) q
источник

AP

Aleksei (astynax) Pi... in Haskell
о, мою пикчу используют!
источник

MK

Maxim Koltsov in Haskell
только неправильную версию =)
источник

AP

Aleksei (astynax) Pi... in Haskell
Ну может кто считает, что "Unpure" — самое подходящее слово для описываемой ситуации?
источник

AP

Aleksei (astynax) Pi... in Haskell
Или это императив такой
источник

AP

Aleksei (astynax) Pi... in Haskell
"Расчисть мир!"
источник

AP

Aleksei (astynax) Pi... in Haskell
UnpureScript, вот это всё
источник

OS

Oleksandr Shyshko in Haskell
есть ли красивый способ бороться с вложенными bracket (и колбеками)? хочется решить проблему с тем, что код уезжает вправо, но ещё меньше хочется экстрактить все в отдельные функции
источник

MK

Maxim Koltsov in Haskell
возможно ContT
источник

MK

Maxim Koltsov in Haskell
были даже какие-то пакеты готовые с этим
источник

MK

Maxim Koltsov in Haskell
название забыл
источник

K

Kir in Haskell
Суть всё в ResourceT/ContT
источник