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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1578 membersпожаловаться на группу
2021 May 04

AA

A64m AL256m qn<co... in Haskell
они бесполезны для такого типа либы - там же все инлайнится
ну и вообще линзы особо и не "пересобирают", собранные другие проекты будут импользовать, а собирают первый раз для какого-то набора версий линз и зависимостей
источник
22:34пожаловаться#1

IO

I O in Haskell
Либо поменять кейсы местами, либо переписать первый кейс на () :: Constraint, иначе гхц думает что () :: Type
источник
22:34пожаловаться#2

к

кана in Haskell
{-# LANGUAGE TypeFamilies #-}

import Data.Kind

type family X a :: Constraint where
 X Int = ()
 X String = Show Int
источник
22:34пожаловаться#3

к

кана in Haskell
о ну или так, прикольно
источник
22:35пожаловаться#4

[

[BRM]White Rabbit in Haskell
смена местами наконец-то дала хаскелю узнать, чё мне надо и он предложил включить тайп фамилис
источник
22:36пожаловаться#5

[

[BRM]White Rabbit in Haskell
источник
22:37пожаловаться#6

[

[BRM]White Rabbit in Haskell
это норма, да?
источник
22:37пожаловаться#7

к

кана in Haskell
это мало
источник
22:37пожаловаться#8

IO

I O in Haskell
Нет, норма это в default-extensions засунуть
источник
22:37пожаловаться#9

[

[BRM]White Rabbit in Haskell
надо больше, понимаю
источник
22:37пожаловаться#10

KV

Kirill Valyavin in Haskell
В язык
источник
22:37пожаловаться#11

к

кана in Haskell
все кроме DataKinds можно спокойно в кабал файл закинуть, да и DataKinds можно
источник
22:37пожаловаться#12

L

Lierdakil in Haskell
GHC2021 включает всё кроме DataKinds вроде.
источник
22:38пожаловаться#13

IO

I O in Haskell
{-# LANGUAGE [minBound..maxBound] #-}
источник
22:38пожаловаться#14

L

Lierdakil in Haskell
Так что да, норма
источник
22:39пожаловаться#15

к

кана in Haskell
а если ghc последний, то мб какая-то часть уже и так в экстеншене-сборнике GHC2021 есть
источник
22:39пожаловаться#16

¯

¯\_(ツ)_/¯ in Haskell
getWord32 :: Reader Endianness (Get Word32)?
источник
22:40пожаловаться#17

A

Andrey in Haskell
и PolyKinds
источник
22:40пожаловаться#18

L

Lierdakil in Haskell
Я имел ввиду из того списка. Так-то он много что ещё не включает.
источник
22:41пожаловаться#19

IO

I O in Haskell
Скорее

getWord32 :: ReaderT Endianness Get Word32
источник
22:41пожаловаться#20