Санити чек

сейчас забиваю из-за егэ, и на социальную жизнь, и на программирование (ща намного меньше всего делаю)

а так гуляю стабильно раз в неделю, гулять зовут чаще, у меня расписание на 3 недели вперёд с разными людьми ахвхахавхавхав

жду

{-# LANGUAGE RankNTypes, MultiParamTypeClasses, FlexibleInstances, TypeFamilies, TypeOperators, DataKinds, StandaloneKindSignatures, FlexibleInstances, QuantifiedConstraints, FlexibleContexts, ConstraintKinds, KindSignatures, ScopedTypeVariables, UndecidableInstances, MultiParamTypeClasses, GADTs, ExistentialQuantification, TupleSections, NamedFieldPuns, UnicodeSyntax, PolyKinds, LambdaCase, PartialTypeSignatures, KindSignatures, TypeFamilyDependencies, UndecidableSuperClasses, FunctionalDependencies, ImpredicativeTypes, AllowAmbiguousTypes #-}

type CSat = () :: Constraint
type CNSat = Int ~ Bool
type family OfKind a b where
  OfKind a (b :: a) = CSat
  OfKind a (b :: m) = CNSat
type family OfType a b where
  OfType a a = CSat
  OfType a b = CNSat


fu :: OfKind * t => t -> t
fu = id
_ = fu 0 -- Ok, Int is *
_ = fu Either -- OK???? WUTTTT????!!!!!! Either is * -> * -> *

-- m :: *
-- m = Either

Кек, хеловорд какой-то претащили

надо объяснить почему ок?

Понять, что происходит

Я вот лично нихуя не понимаю

Объяснять не обязательно

да там просто функция вызывается, где аргумент *, а Either это *, всё ок

там первый тайп параметр *, поэтому что угодно можно первым параметром передать

{-# LANGUAGE Ублюдок, мать твою, а ну иди сюда, говно собачье, решил на мне разрабатывать? Ты, засранец вонючий, мать твою, а? Ну иди сюда, попробуй меня прочитать, я тебя сам прочитаю, ублюдок, онанист чертов, будь ты проклят, иди идиот, трахать тебя и весь твой проект, говно собачье, жлоб вонючий, дерьмо, падла, попробуй вникни, мерзавец, негодяй, гад, иди сюда, ты — говно, хаскель! #-}

Восхитительно

Где первый тайп параметр * ?

type family OfKind a b

fu :: OfKind *(вот) t => t -> t

Ну дык, t :: *, Either :: * -> * -> *. Частично применять тайп конструкторы хаскель ещё не научился

Я, конечно, не хаскелист, но это вообще нормально, когда прагмы занимают больше кода?

Их можно вписать в описании проекта, которые должны быть по умолчанию включены.