номинативно вс структурно

в этом

больше разницы нет

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

в этом

Мне кажется, что я это и пытаюсь сообщить вам

Вот с первого же сообщения.

А мне в ответ — давай пейпер

Сами же потом то же самое повторяете другими словами

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

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

Ну.

То есть тайпклассы и дактайпинг — одно и то же.

отлично. теперь что это доказывает?

нет

И поэтому в сишарпе есть тайпклассы.

Спасибо, что со мной согласились.

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

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

они неразличимы при определённых условиях

Долго же вас надо лечить.

ТОЛЬКО при определённых условиях

И поэтому в сишарпе есть тайпклассы.

Но не на уровне системы типов языка

Но не на уровне системы типов языка

Ок, да, с этим согласен. Это очевидно.

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

Но не на уровне системы типов языка

Я даже В ВИДЕ ИСКЛЮЧЕНИЯ не стану спрашивать у тебя про это пейпер с формализацией.

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

А у тебя буду, ты сегодня был невежлив

Давай пейпер с перечислением случаев, когда различимы

Каждый, пожалуйста, формально описанный

Я даже В ВИДЕ ИСКЛЮЧЕНИЯ не стану спрашивать у тебя про это пейпер с формализацией.

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

Каждый, пожалуйста, формально описанный

после тебя-с

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

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

я так и не дождался

Ой а что это за буква, дайте пейпер про алфавит

после тебя-с

Нет.

Коронавирус бушует - все пейперы разобрали

Коронавирус бушует - все пейперы разобрали

Харош

Коронавирус бушует - все пейперы разобрали

Это было неплохо.

То есть тайпклассы и дактайпинг — одно и то же.

бремя доказательства ложится на утверждающего

Папир мозги не заменяет

формализацию плз, с пэйпером :3

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

Мне кажется, все эти завтипы и прочее сродни поискам философского камня

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

И на этом я клоунаду закончу.

Но есть и положительный момент

бремя доказательства ложится на утверждающего

На мой взгляд, я доказательства предъявил, и с ними даже согласились — с оговорками, но согласились.

Так что пассаж про пейперы был вообще не к месту.

настолько же к месту, насколько "формализация"

Из алхимии появилась химия, которая имеет кучу практических применений. А философский камень так и не нашли

настолько же к месту, насколько "формализация"

Продолжаешь нарываться на грубость, как красиво.

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

Чтобы отделить теоретиков от практиков

Из алхимии появилась химия, которая имеет кучу практических применений. А философский камень так и не нашли

Ну оно примерно так и работает с завтипами тоже.

@fvnever скорее практик,кмк

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

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

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

Чем занимается ещё один участник дискуссии, неясно. Пока предположим, что в основном пиздежом в интернетах

Чем занимается ещё один участник дискуссии, неясно. Пока предположим, что в основном пиздежом в интернетах

Я надеюсь, он пейперы читает :)

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

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

А на твоём калькуляторе можно вывести слово «ЕГГОГ»?

чо б нет

Кул, это хороший калькулятор.

А «ЗГГОГ»?

это сложнее, но, думаю, реализуемо

Наверняка с помощью линейных типов можно сделать.

зависит, есть ли там завтипы

Поговните меня больше, я вам и завтипы в сишарпе «изобрету» с помощью T4 и какой-нибудь матери

в сишарпе, к сожалению, нет

в сишарпе, к сожалению, нет

Полчаса назад и тайпклассов в нём не было

А тут завелись вдруг

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

ойфсьо! :)

Просто это будет кодеген такого же порядка, как source-to-source компилятор из языка с завтипами в тот же сишарп.

https://github.com/louthy/language-ext/tree/master/LanguageExt.Core/TypeClasses тайпклассы нашёл

и правда есть!

https://github.com/louthy/language-ext/blob/master/LanguageExt.Core/TypeClasses/Monad/Monad.Prelude.cs#L21-L22 ок, схема кодирования знакомая

Из пропозала в C# 10

Доктора лучше не злить. У него связи в морге

Вроде там так и не придумали ничего про HKT, а это-то самое интересное

для нормальной поддержки хкт надо рантайм менять

Ну собстно вот тут уже всё видно

По десять тайп аргументов везде с хитрыми констрейнтами

больно видеть

По десять тайп аргументов везде с хитрыми констрейнтами

Да, очень "удобно".