Zygohistomorphic Prepromorphism🇺🇦

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’ как такое решить?

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

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

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

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

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

@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...

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...

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

заметил интересную особенность 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 крайне поганая книга, а стоит дофига

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

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

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

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

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