и еще долго будет

насколько Trees that grow переносимо на личные rpn-калькуляторы? не оверкил ли оно для всего, что не является GHC?

А вот такой ещё вопрос: есть тип T с кайндом * -> *. А есть класс C, который требует кайнд параметра вида * -> * -> *. Я хочу сделать instance C T, как заигнорить одну из звёздочек в кайнде?

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

А вот такой ещё вопрос: есть тип T с кайндом * -> *. А есть класс C, который требует кайнд параметра вида * -> * -> *. Я хочу сделать instance C T, как заигнорить одну из звёздочек в кайнде?

проигнорить никак. можно только приколотить конкретным типом самую левую и для полученного типа уже писать инстанс

А откуда такое неприятие звёздочки?

проигнорить никак. можно только приколотить конкретным типом самую левую и для полученного типа уже писать инстанс

Так мне же надо наоборот добавить, а не уменьшить

Так мне же надо наоборот добавить, а не уменьшить

а, пардон.

но с чего ты взял, что оно тогда будет туда влезать?

А откуда такое неприятие звёздочки?

лишний синтаксис

очень странно, что то, от чего отказались для обычных типов использовали для кайндов

но с чего ты взял, что оно тогда будет туда влезать?

условно говоря, тип T a изоморфен типу T' a () , который ожидает класс C

newtype Foo a b = Foo (T a)

{-# LANGUAGE DataKinds #-} {-# LANGUAGE KindSignatures #-} import Data.Kind class C (f :: Type -> Type -> Type) data X a = X a newtype X' a b = X' (X a) instance C X'

о, точно, спасибо

А откуда такое неприятие звёздочки?

странный ничего не говорящий символ, тайп-левел умножение, есть намного более говорящий вариант Type

еще многим (мне в том числе) он сначала давал неверную интуицию как о wildcard - то есть каинд вообще всех типов (а оказывается только возможнонаселенных)

да и не всех возможнонаселенных

По мне они совершенно идентичны с точки зрения читаемости. Чисто графически звёздочка мне импонирует даже больше, если бы она не конфликтовала с операторами

Почему звёздочка, а не, там %?

проблемы с читаемостью и у меня не было

а почему %?

а почему *?

Почему звёздочка, а не, там %?

Так сложилось исторически, плюс * выглядит симпатичней

наверное, из-за миранды и старого эмеля

Олсо почему Type, а не Ty?

> выглядит симпатичней привычней

правда там звездочки - это параметры

Олсо почему Type, а не Ty?

Почему Алексей Худяков, а не АХу?

Олсо почему Type, а не Ty?

да, длинновато, но Ty мне не нравится

вообще не очень люблю сокращения такого типа

Ну вопрос был троллирующий

T или там U или S

U -> U -> U

но можно же будет самому написать type U = Type и все

U мне нравился вариант

довольно распространен

T хорошо, притащит много окамлеров

T хорошо, притащит много окамлеров

вы ещё скалистов позовите

это к оо-хаскель

и ете

не, окамлерам такое не понравится

это к оо-хаскель

ОО - моя идиома! #извинити

по окамловски было бы import qualified Data.Kinds as Kind -- и дальше Kind.T

require Data.Kinds; Kinds.T

тогда уж Kinds.t

но в хаскеле так нельзя, так что не понравится все равно

по окамловски было бы import qualified Data.Kinds as Kind -- и дальше Kind.T

естественно

звезда норм

чем вам звезда не угодила

она на три символа эффективнее

T тоже фиговая

чем вам звезда не угодила

почему не % или не $?

типа намёк на Top который ()

$ -> $ это для успешных

почему не % или не $?

почему пятиконечная в конце концов?!

почему не % или не $?

видимо потому что в миранде и старом эмеле писали сигнатуры вроде (* -> **) -> [*] -> [**]

ну и кайнд ? и сейчас есть

Но, если я правильно помню, жалобу на звезду, там никакой символ не устроит

видимо потому что в миранде и старом эмеле писали сигнатуры вроде (* -> **) -> [*] -> [**]

это только откладывает вопрос на один шаг. почему в миранде и старом эмеле выбрали *?

Но, если я правильно помню, жалобу на звезду, там никакой символ не устроит

ну да

ну это были параметры, т.е. в каком-то смысле интуиция про вайлдкард правильная, именно такая и планировалась исторически

если планировалась, но не получилась, то и не правильная ведь

да, идея была очень плохая

и это теперь такое напоминание о первородном грехе ФП языков. помним, скорбим..

они и в пейперах часто вместо этих звездочек греческие буквы писали

в коде до сих пор пишут, транслитом

насколько Trees that grow переносимо на личные rpn-калькуляторы? не оверкил ли оно для всего, что не является GHC?

Я думаю, что оно оверкилл как раз для ghc, которому он огромное количество кода перелопатит. Я хотел в своём пет-проджекте запилить, но пока всё никак руки не доходят

в коде до сих пор пишут, транслитом

да, сейчас вместо параметров вроде a и 'a пишут, и не всегда beta бывает что и юникодом

да, сейчас вместо параметров вроде a и 'a пишут, и не всегда beta бывает что и юникодом

технический долг платежом красен, угу. я поэтому и смотрю заранее варианты чтобы не лопатить через пару месяцев.

первоначально-то эти кайнды-звездочки вообще не языковой конструкцией а конструкцией в сообщениях об ошибках, только в относительно современное время их стало можно аннотировать. сейчас и другую конструкцию из сообщений компилятора в язык продвигают - {} в forall-ах

А что за {}?

а как в серванте делать редирект?

Сложна :)

Raw?

Ща поищу. Мы делали у себя

https://gist.github.com/alpmestan/757094ecf9401f85c5ba367ca20b8900 вот такое нашел

почему не % или не $?

Потому что инициальный элемент же

А что за {}?

https://github.com/ghc-proposals/ghc-proposals/pull/99

Как сделать частичное применение для второго параметра конструктора типа?

https://gist.github.com/alpmestan/757094ecf9401f85c5ba367ca20b8900 вот такое нашел

Примерно так, да. У нас так newtype RedirectLocation = RedirectLocation { unRedirectLocation :: ByteString } deriving (Eq, Show, ToByteString) type LocationHeader = Header "Location" RedirectLocation handle :: ... m (Headers '[LocationHeader...] ...) handle = addHeader (RedirectLocation "/") ...

Как сделать частичное применение для второго параметра конструктора типа?

newtype Flip a b = Flip (Foo b a)

До чего техника дошла

Потому что инициальный элемент же

где там *?

Примерно так, да. У нас так newtype RedirectLocation = RedirectLocation { unRedirectLocation :: ByteString } deriving (Eq, Show, ToByteString) type LocationHeader = Header "Location" RedirectLocation handle :: ... m (Headers '[LocationHeader...] ...) handle = addHeader (RedirectLocation "/") ...

плюс конста^W статус!

newtype Flip a b = Flip (Foo b a)

Но это же будет новый тип :( Без него никак? (если никак, то я смирюсь)

никак

ОО - моя идиома! #извинити

это божественно

Пластмассовый го победил

А что оказалось сильней?

Не идёт на ум пока

А!

Пластмассовый го победил, Фронтенд оказался сильней

не сходится

если фронтенд оказался сильнее то го проиграл

Так го на бакэнде

поэтому и проиграл

@astynax тут классику забыли