а у него есть какое-нибудь академическое описание? я их обычно либо имплиситами кличу (когда T: Monoid : Serializer) , либо так и говорю что нужен Serializer для T

имплисит - это техническое описание, рассказывающее о том, как ты этот объект получил type class, как вот правильно указал Александр, это тип таких кортежей из типов, операций и их свойств. Monoid, к примеру - это шестёрка (A : Type, z: A, +: A => A => A, lu: a: A => eq[A](a, z + a ), ru:a: A=>eq[A] (a, a + z), ass: a: A => b: A => c: A => eq[A](a +(b + c), (a+b)+c))

Как можно видеть, академический тюпл включает П- типы законов , которые ни в хачкельке, ни в скалке невыразимы. Да и сам - двойной ∑ тип. И мы имеем дилемму : 1. Хотелось бы в практических целях получить частичную функцию типов А: Type => Monoid[A], и желательно запускать её на автомате во всех формулах 2. Предположение, что для каждого A можно построить всего один Monoid довольно глупо

Поэтому мы действительно, определяем такой тип типов, для которых можно построить Monoid, при том из всех возможных у нас для каждого типа выбран какой-то один приоритетный, наиболее практичный. implicit def при такой формулировке вписывается отлично, и фраза "нужен Monoid для A" тоже хорошо описывает ситуацию. Однако, мы упустили из виду важный момент: Monoid должен работать как PartialDependentFunction от типа. В хачкеле для этого тайпклассы вытащили в отдельную категорию типов типов - Restriction, в скалке только думают, как можно навернуть когерентность. Во многих других языках обходятся просто значениями, и даже не все хаскеллисты, думают, что это плохо http://www.haskellforall.com/2012/05/scrap-your-type-classes.html?m=1

А так - да, class, как сказано в вики, используется в формулировках, которые должны звучать вроде "множество множеств" или "тип типов", но первое слово в паре выходит за рамки обычного смысла "множество" или "тип" в базовой теории

> для которых можно построить Monoid, при том из всех возможных у нас для каждого типа выбран какой-то один приоритетный, наиболее практичный. В скалке же можно для всех выразимых вариантов задать. Используется в конкретный момент только один само собой.

> для которых можно построить Monoid, при том из всех возможных у нас для каждого типа выбран какой-то один приоритетный, наиболее практичный. В скалке же можно для всех выразимых вариантов задать. Используется в конкретный момент только один само собой.

да, и это здорово

Почитал раст чат

Поржал

и что там смешного?

Почитай

@odomontois Тинькофф действительно использует Rust в бекенде?

@odomontois Тинькофф действительно использует Rust в бекенде?

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

типа 5 копеек там

и фраза про вставить свои пять копеек сразу зиграла новыми красками

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

Банкоматы)))))

простите, Банкомат да

один банкомат

Лол

даже не банкомат, робот а не банкомат (с)

А че, раст вполне себе

@odomontois Тинькофф действительно использует Rust в бекенде?

хотел со всеми пошутить, но пока не используют

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

Я кстати не понял почему изменение системы типов это breaking changes @odomontois ты понял?

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

слишком грязно )))

на днях же рокетбанк сломался

а чо там ломалось? (я хз прост хуйп уже прошел)

Акка или монга

процессинг

процессинг не работал совсем

Как его можно было сломать совсем?

задеплоить что то не то

Это зашквар

вмержить стэйджинг в мастер

вариантов вообще много )

Там ж не один инстанс

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

И деплои не сразу на все идти должен

да они же посредники

изи могло что открытие поемянли апи

и рокет упал

ну они под открытием вроде как

у них кстате elixir в проде (!)

лол

ахахах

изи могло что открытие поемянли апи

Не могло, они обычно об этом договариваются 2000лет

Не могло, они обычно об этом договариваются 2000лет

сберы всякие тоже падали недавно

Ну вот эт не удивительно

Не показатель)))

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

Когда они уже на аккамонгу пересядут

Хотя у них ещё более хаиповый игнат

у них вроде джава 2 (6)

Тут ещё 1.9 не вышла, а них уже 2)

шутки за 300 в долг!

2.sber

Алексей открывай свой банк!

самый токсичный вообще не банк

шутки за 300 в долг!

Шутки про тракториста

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

самый токсичный вообще не банк

Открываешь дверь в отделение и тебе "пошёл в монгу отсюда!"

ну это обязательно акка монга должна быть

всякие падения лего обяснить будет

снимаешь меньше 5к - нищеброд!

ERROR: S client not available

монга память сожрала; у акки нет логгирования свое писать лень

всякие падения лего обяснить будет

На 404 ошибке будет фотка москаленко

Я позову Олега на должность главного по общению со всеми, чтобы как то соответствовать названию самый токсичный банк

типа на столе в воде то

Открываешь дверь в отделение и тебе "пошёл в монгу отсюда!"

в Монгабанк?

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

Я позову Олега на должность главного по общению со всеми, чтобы как то соответствовать названию самый токсичный банк

Тинькова? Не получится, он уже этим в своем занимается

Нет, тинькофф пока не настолько токсичен, как наш Олег!

главное чтоб если клиент девелопер какой спрашивать язык и если это го девелопер то брать за обслуживание больше на 147% и токсичными коментами покрывать

рутины не нужны; используйте акку

го плох?

а если пхп, простиоспаде?

если пхп думаю отказывать в регистрации типа

то тогда вставлять пять копеек!

простите вы нам не подходите

то тогда вставлять пять копеек!

куда?

кластер кластер акка монга монга монга акка кластер я придумал слоган

а я неплох!

а если пхп, простиоспаде?

в пхп итак много $

да звучит не плохо

killall java тоже вариант

типа с отсылкой в футураму (осторожно шутка уровнем чуть выше писек сисек поэтому скорее всего будет вам непонятна)

Тут ещё 1.9 не вышла, а них уже 2)

И не выйдет. Вроде как там 9 будет именно.

http://www.java9countdown.xyz/

http://www.java9countdown.xyz/

Он ж по возрастающей идёт? Да?

Завтра будет 79 дней

И не выйдет. Вроде как там 9 будет именно.

Кстати да, он ж версионность поменяли

имплисит - это техническое описание, рассказывающее о том, как ты этот объект получил type class, как вот правильно указал Александр, это тип таких кортежей из типов, операций и их свойств. Monoid, к примеру - это шестёрка (A : Type, z: A, +: A => A => A, lu: a: A => eq[A](a, z + a ), ru:a: A=>eq[A] (a, a + z), ass: a: A => b: A => c: A => eq[A](a +(b + c), (a+b)+c))

Спасибо за ликбез

типа с отсылкой в футураму (осторожно шутка уровнем чуть выше писек сисек поэтому скорее всего будет вам непонятна)

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

Аккабанк: приходите завтра, у нас сегодня сплит-брейн.

Вот в каком кластере выпускали, в тот и идите

Аккабанк: приходите завтра, у нас сегодня сплит-брейн.

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