В нормальном языке ' быть не должно

это неприятно, но на такие жертвы можно пойти

Уж лучше List писать

тем более в хаскеле, который нормальным на тайплевеле если и будет, то в далеком будущем, и такого кода в нем будет минимум

т.е. на один ' тысячи List-ов будут

Прекрасный хаскель будущего

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

просто сейчас тайплевел совсем адище, его надо хоть в немного вменяемое состояние привести

пусть ради одной строки на тысячи нетайплевельных

да кому тёрм-левел нужен вообще

да кому тёрм-левел нужен вообще

TRIGGERED

[a]+ какой-нибудь небось

че за регексп)

ну надож перл сделать, куда без регекспов

Какое расширение даёт писать Type благословенный вместо б-гмерзкой *?

GHC 8

Not in scope: type constructor or class ‘Type’

{-# LANGUAGE DataKinds #-} import Data.Kind

Странно... Хтоническая звезда то по дефолту доступна

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

насколько 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 который ()

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

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

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

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

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

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

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

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

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

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

ну да

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