Zygohistomorphic Prepromorphism🇺🇦

може хтось знає приклад як на ocaml/f# зробити рекурсивні схеми?

кто на винде? как такое пофиксить -- >>> 10 -- <stderr>: hPutChar: invalid argument (invalid character)

data Nat = Z | S Nat data Vec (n :: Nat) a = n ~ Z => VNil n a | forall m. n ~ S m => VCons a (Vec m a) Expected a type, but ‘n’ has kind ‘Nat’ как такое решить?

а можно как-то констрейнты затащить на каинд левел? infixr 5 :&&: data LoT k where LoT0 :: LoT Type (:&&:) :: k -> LoT ks -> LoT (k -> ks) type TypeNatExpr :: forall k....

@qnikst это ты меня забанил в haskell_corner?

А как же таури?

интересно, почему именно в чат хаскеля?)

а есть уже прототип всех этих выше озвученных идей где-то уже?

что тут лишнее?) React, Recoil, TypeScript, Redux

что за чушь у меня появилась? Simplifier ticks exhausted When trying UnfoldingDone x_srND To increase the limit, use -fsimpl-tick-factor=N (default 100). If you nee...

а ты на sop смотрел?

uniplate базируется на Data/Typeable, а есть ли вариант на Generic?

как сделать, чтобы не зависало? data Tree a = Leaf | Node (Tree a) a (Tree a) repeatT x = fix \t -> Node t x t flattenTree Leaf = [] flattenTree (Node ln x rn) = flattenTr...

заметил интересную особенность type family (~~>) = (m :: k -> k -> Type) | m -> k where (~~>) = (->) (~~>) = Natural infixr 0 ~~> newtype Natural (a :: j -> k) (b :: j ...

как сделать такое ограничение, что например проверка, что у типа есть инстанс какого-то семейства?

когда уже будет deep-deep introduction to servant and web in haskell книга? Practical Haskell крайне поганая книга, а стоит дофига

Кто подскажет хороший юзкейс для forall a -> ?

кто может объяснить профит от Dict? я так и не понял какой профит когда вносишь констрейнты в пространство типов

хочу попробовать переиспользовать один и тот же конструктор, например для utlc и stlc отличие в том,что у второго появляется типизация для лямбды В общем пришел к такому синт...

Почему мы? Потому что мы создатели первого в рунете курса по React Native и AWS Amplify. У нас учиться этой технологии и мы лично знаем успешных учеников с которыми создаем на...