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# зробити рекурсивні схеми?
интересно, почему именно в чат хаскеля?)
А как же таури?
а есть уже прототип всех этих выше озвученных идей где-то уже?
что тут лишнее?) React, Recoil, TypeScript, Redux
@qnikst это ты меня забанил в haskell_corner?
что за чушь у меня появилась? 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 ...
хочу попробовать переиспользовать один и тот же конструктор, например для utlc и stlc отличие в том,что у второго появляется типизация для лямбды В общем пришел к такому синт...
когда уже будет deep-deep introduction to servant and web in haskell книга? Practical Haskell крайне поганая книга, а стоит дофига
как сделать такое ограничение, что например проверка, что у типа есть инстанс какого-то семейства?
кто может объяснить профит от Dict? я так и не понял какой профит когда вносишь констрейнты в пространство типов
Почему мы? Потому что мы создатели первого в рунете курса по React Native и AWS Amplify. У нас учиться этой технологии и мы лично знаем успешных учеников с которыми создаем на...
Кто подскажет хороший юзкейс для forall a -> ?