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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1576 membersпожаловаться на группу
2021 April 09

S

Sooqa in Haskell
Выглядит прекрасно
источник
18:26пожаловаться#1

к

кана in Haskell
это сломает почти весь код, который основывается на параметричности
источник
18:27пожаловаться#2

к

кана in Haskell
линзы работают только потому что нельзя предоставить функцию, которая должна знать больше чем требуется
источник
18:27пожаловаться#3

S

Sooqa in Haskell
Ну вот, надо было сразу добавлять фичу
источник
18:27пожаловаться#4

к

кана in Haskell
тогда не было бы линз
источник
18:27пожаловаться#5

S

Sooqa in Haskell
Что это значит
источник
18:28пожаловаться#6

AS

Anton Sorokin in Haskell
Такое даже с undecidable instances не написать, но что в этом хорошего? x ->unsafePerformIO (print "5" » return x) тоже forall a. a -> a
источник
18:28пожаловаться#7

AS

Anton Sorokin in Haskell
То есть функция такого типа точно не единственна
источник
18:28пожаловаться#8

к

кана in Haskell
Lens s a = forall f. Functor f => (a -> f a) -> (s -> f s)

линза является линзной (то есть обязна фокусить ровно в одно значение, ни 0 ни 2) ровно потому что она урезается до любого функтора, и должна работать для любого функтора, а не для конкретного
источник
18:29пожаловаться#9

KV

Kirill Valyavin in Haskell
unsafePerformPatternMatching
источник
18:29пожаловаться#10

к

кана in Haskell
если бы можно было бы сматчить f и узнать что это за функтор, то можно было бы под типом линзы делать траверсал
источник
18:29пожаловаться#11

MK

Maxim Koltsov in Haskell
Ну кстати через reflection-rtti можно и так)
источник
18:29пожаловаться#12

к

кана in Haskell
матчинг по типам добавит какой-то сахар, но уберет очень важное и полезное свойство из языка
источник
18:31пожаловаться#13

к

кана in Haskell
так стоит ли этот сахар того
источник
18:31пожаловаться#14

к

кана in Haskell
а это буквально просто сахар, а не фича
источник
18:31пожаловаться#15

к

кана in Haskell
нет, не прав, просто сахар над Typeable бы не сломал таки, а вот фича сломала бы
источник
18:33пожаловаться#16

a

adam in Haskell
ну ващет в гадтах ты так и делаешь
источник
18:33пожаловаться#17

к

кана in Haskell
нет, в гадтах не так, в гадтах ты хранишь РАНТАЙМ тег и компайлтайм коерс
источник
18:33пожаловаться#18

a

adam in Haskell
ну да, это уже из ряда занудства
источник
18:34пожаловаться#19

S

Sooqa in Haskell
Как это нагуглить?
источник
18:34пожаловаться#20