В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

200 membersпожаловаться на группу
2020 May 02

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Dr. Friedrich von Never
Кажись, я не могу чужой тайпкласс реализовать для чужого типа
Да, это по логичным причинам получается.

Потому что иначе придется обязательно использовать импорты для инстансов, и мы получим скаловские имплиситы
источник
20:26пожаловаться#1

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Ну то есть старый затирается в текущем скоупе
Нет
источник
20:26пожаловаться#2

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Dr. Friedrich von Never
Наследование и есть вариант сабтайпинга.
да как это, можно наследоваться без сабтайпинга (теоретически)
источник
20:26пожаловаться#3

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Да, это по логичным причинам получается.

Потому что иначе придется обязательно использовать импорты для инстансов, и мы получим скаловские имплиситы
Да, спасибо, что послал меня нахер, я уже понял.
источник
20:26пожаловаться#4

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Логичные причины.
источник
20:26пожаловаться#5

АВ

Андрей Вилинский... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Ну то есть старый затирается в текущем скоупе
в том же модуле нельзя... наверное
источник
20:26пожаловаться#6

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Ну то есть старый затирается в текущем скоупе
Нет, ничего не затирается.

Ты создаешь ньютайп и для него делаешь нужный инстанс.
источник
20:27пожаловаться#7

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Dr. Friedrich von Never
Да, спасибо, что послал меня нахер, я уже понял.
Проблема будет в том, что тогда у тебя может возникнуть ситуация, когда в двух либах для одного и того же типа сделали две разные реализации одного и того же тайпкласса
источник
20:27пожаловаться#8

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Проблема будет в том, что тогда у тебя может возникнуть ситуация, когда в двух либах для одного и того же типа сделали две разные реализации одного и того же тайпкласса
Я не понимаю, хоть убей, почему это проблема.
источник
20:28пожаловаться#9

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ну реализовали, ну и чо?
источник
20:28пожаловаться#10

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Ну то есть старый затирается в текущем скоупе
чо за старый? ты делаешь zero-cost тип-врапер, по сути, для которого можешь свои инстансы определять, базовый тип это никак не аффектает
источник
20:28пожаловаться#11

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Там, где мне это важно, я же могу конфликт разрешить.
источник
20:28пожаловаться#12

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Явно указать, чо я импортирую, ну или явно передать тайп аргументом.
источник
20:28пожаловаться#13

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
someOtherLibrary.MethodCall<TypeFromLibrary1, TypeClassInstanceFromLibrary2>()
источник
20:29пожаловаться#14

АВ

Андрей Вилинский... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Dr. Friedrich von Never
Я не понимаю, хоть убей, почему это проблема.
ну пушто компилер может не понять которую из реализаций "наследовать", вдруг они разные
источник
20:29пожаловаться#15

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Dr. Friedrich von Never
Я не понимаю, хоть убей, почему это проблема.
Проблема в том, что тебе чтобы использовать инстанс тайпкласса не нужны его импорты.

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

В хаскеле и расте решили что возможность писать всегда без импортов важнее.

В скале решили, что важнее возможность иметь несколько реализаций и там надо импортировать тайпклассы
источник
20:29пожаловаться#16

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
В сишарпе сейчас эта проблема есть (можно сделать несколько одноимённых экстеншенов для одного и того же типа), прекрасно решается юзингами.
источник
20:30пожаловаться#17

O

Orbarax in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Андрей Вилинский
ну пушто компилер может не понять которую из реализаций "наследовать", вдруг они разные
он ведь дрищет кровью при этом из-за undecidable instance?
источник
20:30пожаловаться#18

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Андрей Вилинский
ну пушто компилер может не понять которую из реализаций "наследовать", вдруг они разные
Разные, ок. Пусть у меня спросит. Я рили не понимаю, в чём проблема.
источник
20:30пожаловаться#19

Dv

Dr. Friedrich von Ne... in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Проблема в том, что тебе чтобы использовать инстанс тайпкласса не нужны его импорты.

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

В хаскеле и расте решили что возможность писать всегда без импортов важнее.

В скале решили, что важнее возможность иметь несколько реализаций и там надо импортировать тайпклассы
В хаскеле, кажется, просто поленились сделать отдельный синтакс для такой фундаментальной проблемы.
источник
20:30пожаловаться#20