Size: a a a

Programming Offtop

2021 April 13

(

( in Programming Offtop
Санити чек
источник

с#

саша сок #KotlinGang... in Programming Offtop
сейчас забиваю из-за егэ, и на социальную жизнь, и на программирование (ща намного меньше всего делаю)
источник

с#

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

с#

саша сок #KotlinGang... in Programming Offtop
жду
источник

(

( in Programming Offtop
{-# 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
источник

I

Igor in Programming Offtop
Кек, хеловорд какой-то претащили
источник

с#

саша сок #KotlinGang... in Programming Offtop
надо объяснить почему ок?
источник

(

( in Programming Offtop
Понять, что происходит
источник

(

( in Programming Offtop
Я вот лично нихуя не понимаю
источник

(

( in Programming Offtop
Объяснять не обязательно
источник

с#

саша сок #KotlinGang... in Programming Offtop
да там просто функция вызывается, где аргумент *, а Either это *, всё ок
источник

с#

саша сок #KotlinGang... in Programming Offtop
там первый тайп параметр *, поэтому что угодно можно первым параметром передать
источник

AK

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

(

( in Programming Offtop
Восхитительно
источник

(

( in Programming Offtop
Где первый тайп параметр * ?
источник

с#

саша сок #KotlinGang... in Programming Offtop
type family OfKind a b

fu :: OfKind *(вот) t => t -> t
источник

(

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

IP

Iaroslav Postovalov in Programming Offtop
источник

I

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

DS

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