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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1285 membersпожаловаться на группу
2016 March 18

Н

Нурлан in Haskell
Я так полагаю, что словарь методов должен создаваться при создании классов в обязательном порядке, в виде сигнатур функций. Когда же я закрепляю новый тип за определенным классом, разве я не должен определить как на новом типе действуют функции класса. Я все к тому, что эти определения должны быть где-то записаны. Разве это не в этот словарь идёт?
источник
23:25пожаловаться

Н

Нурлан in Haskell
Или я не догнал что за словарь такой. Извиняйте за глупые вопросы. Буду курить GADT😀
источник
23:27пожаловаться
2016 March 19

VZ

Vladislav Zavialov in Haskell
Ну правильно
источник
09:51пожаловаться

VZ

Vladislav Zavialov in Haskell
Реализация Eq для Integer например хранится в словарике EqDict Integer (если следовать примеру выше)
источник
09:51пожаловаться

VZ

Vladislav Zavialov in Haskell
Когда ты пишешь f :: Eq a => ..., то в функцию f добавляется неявный аргумент -- словарик EqDict
источник
09:52пожаловаться

Н

Нурлан in Haskell
Vladislav Zavialov
Когда ты пишешь f :: Eq a => ..., то в функцию f добавляется неявный аргумент -- словарик EqDict
Хочешь сказать он копируется в "объявление" функции?
источник
14:31пожаловаться

VZ

Vladislav Zavialov in Haskell
Что?
источник
14:31пожаловаться

Н

Нурлан in Haskell
А что происходит когда объявляется `inctance (Num a) => ....` ?
источник
14:32пожаловаться

Н

Нурлан in Haskell
Vladislav Zavialov
Что?
Словарь копируется в функцию
источник
14:32пожаловаться

VZ

Vladislav Zavialov in Haskell
Ну он передается в нее при вызове, как любой другой аргумент.
источник
14:33пожаловаться

VZ

Vladislav Zavialov in Haskell
А когда ты пишешь instance (Num a) => ..., то вместо словарика создается функция, генерирующая словарик на основе другого
источник
14:33пожаловаться

VZ

Vladislav Zavialov in Haskell
По факту, тайпклассы - это словари + неявность + глобальность
источник
14:34пожаловаться

VZ

Vladislav Zavialov in Haskell
Можно их вручную реализовать, просто кода придется побольше писать: http://www.haskellforall.com/2012/05/scrap-your-type-classes.html
Haskellforall
Scrap your type classes
Edit: My opinion on type classes has mellowed since I wrote this post, but I still keep it around as a critique against the excesses of type...
источник
14:34пожаловаться

VZ

Vladislav Zavialov in Haskell
Ну и GHC хорошо оптимизирует такой код, так что если инстанс известен во время компиляции, то скорее всего он будет заинлайнен и передаваться никуда не будет.
источник
14:35пожаловаться

Н

Нурлан in Haskell
Я математик, не программист, поэтому моя мала мала тупить. Что значит заинлайнен?
источник
14:36пожаловаться

Е

Ефрейтор Флибыч⚠️ in Haskell
Нурлан
Я математик, не программист, поэтому моя мала мала тупить. Что значит заинлайнен?
Скорее всего это значит, что он станет встроенной функцией.
источник
14:46пожаловаться

Н

Нурлан in Haskell
😳 в чем тогда отличие внутренней функции от записи словаря?
источник
14:47пожаловаться

Н

Нурлан in Haskell
Аргх, ладно надо читать документацию. Спасибо :)
источник
14:48пожаловаться

Е

Ефрейтор Флибыч⚠️ in Haskell
Ну он же там написал, что передаваться никуда не будет.
А вообще, я дно, не слушай меня. :D
источник
14:48пожаловаться

Н

Нурлан in Haskell
Ммм, кажется догнал
источник
14:49пожаловаться