но я бы хотел, чтобы TypeApplication синтаксически слева от инфиксного оператора, можно было к нему отнести

сейчас так нельзя

generic-lens умеет typed @"bla" .= "foo"

или я неправильно тебя понял?

но я бы хотел, чтобы TypeApplication синтаксически слева от инфиксного оператора, можно было к нему отнести

а!

ну вот, вроде получилось объяснить хотелку

больше сахара для (.=) @"foo" bar baz?

ну в данном примере для (.=) @"foo" foo

сколько тут аргументов у оператора?

ты хочешь опустить один value-level аргумент?

один аргумент, один типохинт

но ведь типохинт можно просто передать на уровне значений #bla .= "foo"

я правильно понимаю что трансформация α :: Maybe a -> [a] натуральная, но α₁ :: [a] -> Maybe a нет?

почему нет?

теряется информация

но видимо это не важно

это не важно

кроме того

f _ = []

чем лучше строки паковать, самое быстрое? Codec.Compression.BZip ?

тоже теряет информацию :)

главное чтоб выполнялось Maybe.map . a1 = a1 . List.map

meme (Maybe _) = [1] meme Nothing = [0, 1] тоже нат трансформация? а нет, бред

нет

нужен forall, а у тебя числа в списках

но это всё как посмотреть

/stat@combot

combot.org/chat/-1001043143583

id переполнились и ушли в минус?

id для групп вроде всегда были отрицательными

о, я как всегда самый шумный : (

и это ещё FTP/AMP не обсуждали

AMP никто не обсуждает, там и обсуждать нечего

ой, а почему length (1,2) == 1?

что такое flood ratio?

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

@lonokhov я уже успокоился что Foldable это класс типов о структуре

а не о смысле типа

ой, а почему length (1,2) == 1?

мне кажется, стикеры тоже считаются флудом

ой, а почему length (1,2) == 1?

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

@fizruk31337 чем знаменит мужик с твоих стикеров? Он нагуглился, но отчего столько чести, я не понял.

ой, а почему length (1,2) == 1?

cause célèbre

это не интуитивно и вообще фу

это вообще баг что для неиндуктивных туплов длина берется, если так уж

нет, не баг

это не интуитивно и вообще фу

Пара из 2х элементов в контексте хаскелля на самом деле является контейнером из одного и контекстом к нему.

это вообще баг что для неиндуктивных туплов длина берется, если так уж

Там целый инстанс на это написан, какой ещё баг instance Foldable ((,) a) where foldMap f (_, y) = f y foldr f z (_, y) = f y z

@fizruk31337 чем знаменит мужик с твоих стикеров? Он нагуглился, но отчего столько чести, я не понял.

хз, мне просто кажется забавным

это не интуитивно и вообще фу

а что ты ожидаешь, например, от toList?

это не интуитивно и вообще фу

ты же троллишь?

это абсолютно интуитивно

хз, мне просто кажется забавным

хорошо подходит для переговоров малым кол-вом смысла

Foldable это про структуру

@qnikst ну ты же сказал что FTP не обсуждали

сколько a в типе так и работает

а

=)

ок

как малых детей

с Complex прикольнее

молодец, Леонид!

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

в остальном норм

я вполне допускаю, что это не интуитивно. Ну, допустим, неинтуитивно и что?

@vlastachu ну ожидается что (,) a не должен иметь Foldable. типа то что оно может, не значит что нужно.

как малых детей

а вроде толсто

ну это для тебя толсто

@vlastachu ну ожидается что (,) a не должен иметь Foldable. типа то что оно может, не значит что нужно.

ну, соглашусь я особо не понимаю кому нужен foldable от пары

а для кого не толсто?

хочу инстанс потолще

я не понимаю и вам не нужно

(в есод за этим)

тот тред в рассылке был мессяг на 200 наверно :)

для чего не должен? для того чтоб нельзя было скомпозить "итератор" для хождения по списку туплов?

@lonokhov какой из?

их штук 15 было

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