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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

AA

A64m AL256m qn<co... in Haskell
Gamer
а для тех кто в танке, это про че?
https://twitter.com/csaba_hruska/status/1262882474419421184
Twitter
Csaba Hruska
Whole STG compilation can reduce the application binary size significantly! (~30%) I've compiled Idris1 via vanilla GHC and my STG compiler. Idris test suite passed => no miscompilation
источник
01:39пожаловаться#1

MK

Maxim Koltsov in Haskell
Кстати, а что сплит секшенс делает?
источник
01:40пожаловаться#2

R

Roman in Haskell
Misha Puzanov
а в линзах есть что-то простое, чтобы сковырнуть newtype?
Wrapped: http://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Wrapped.html
источник
01:40пожаловаться#3

к

кана in Haskell
он требует лишнего инстанса
источник
01:41пожаловаться#4

к

кана in Haskell
coerced в этом плане сильно проще, да и как-то естественнее
источник
01:41пожаловаться#5

R

Roman in Haskell
кана
он требует лишнего инстанса
насколько я понимаю можно использовать http://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Wrapped.html#v:_GWrapped-39-
источник
01:41пожаловаться#6

к

кана in Haskell
ну все равно требуется Generic же тогда
источник
01:42пожаловаться#7

R

Roman in Haskell
угу
источник
01:42пожаловаться#8

R

Roman in Haskell
ну я тож coerced использую
источник
01:42пожаловаться#9

MP

Misha Puzanov in Haskell
generic у меня есть да, тоже вариант
источник
01:42пожаловаться#10

R

Roman in Haskell
но раз уж вопрос был конкретно про newtype
источник
01:42пожаловаться#11

к

кана in Haskell
чет у меня даже _GWrapped' не завелся
источник
01:44пожаловаться#12

MK

Maxim Koltsov in Haskell
У меня был какой-то кейс, где to coerce проходил, а coerced - нет
источник
01:45пожаловаться#13

MK

Maxim Koltsov in Haskell
Он слишком полиморфный, вроде
источник
01:45пожаловаться#14

к

кана in Haskell
источник
01:45пожаловаться#15

R

Roman in Haskell
кана
а если X 1 ^. from _GWrapped'?
источник
01:49пожаловаться#16

к

кана in Haskell
тоже нет
источник
01:50пожаловаться#17

G

Gamer in Haskell
A64m AL256m qn I0
https://twitter.com/csaba_hruska/status/1262882474419421184
Twitter
Csaba Hruska
Whole STG compilation can reduce the application binary size significantly! (~30%) I've compiled Idris1 via vanilla GHC and my STG compiler. Idris test suite passed => no miscompilation
тока седня смотрел, сколько он на патреоне насобирал
источник
01:50пожаловаться#18

к

кана in Haskell
источник
01:50пожаловаться#19

MK

Maxim Koltsov in Haskell
кана
Офигительная ошибка конечно
источник
01:52пожаловаться#20