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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1662 membersпожаловаться на группу
2020 December 08

к

кана in Haskell
в text уже есть pack/unpack, а вьюпаттерны уже есть в ghc, ничего добавлять не нужно)

f :: String -> String -> a
h :: a -> a -> a
g :: Text -> Text -> a
g (unpack -> a) (unpack -> b) = h (f a b) (f b a)
источник
00:03пожаловаться#1

AA

A64m AL256m qn<co... in Haskell
в том и смысл фичи, что там обычные функции
источник
00:03пожаловаться#2

IK

Ilya Kos in Haskell
А, я в голове заменил это на паттерн
источник
00:03пожаловаться#3

IK

Ilya Kos in Haskell
Чтобы можно было

f :: Text -> ...
f (Text s) = ...
источник
00:03пожаловаться#4

к

кана in Haskell
ну можно сделать удобные паттерн-синонимы

pattern String :: String -> Text
pattern String a <- (unpack -> a)
 where String a = pack a

g :: String -> String -> Text -> A
f :: Text -> Text -> A
f (String a) (String b) =
 g a b (String (a <> b))
источник
00:04пожаловаться#5

IK

Ilya Kos in Haskell
Ilya Kos
Чтобы можно было

f :: Text -> ...
f (Text s) = ...
И s будет String
источник
00:04пожаловаться#6

IK

Ilya Kos in Haskell
Чёт такое
источник
00:04пожаловаться#7

IK

Ilya Kos in Haskell
кана
ну можно сделать удобные паттерн-синонимы

pattern String :: String -> Text
pattern String a <- (unpack -> a)
 where String a = pack a

g :: String -> String -> Text -> A
f :: Text -> Text -> A
f (String a) (String b) =
 g a b (String (a <> b))
Да
источник
00:05пожаловаться#8

R

Roman in Haskell
кана
ну можно сделать удобные паттерн-синонимы

pattern String :: String -> Text
pattern String a <- (unpack -> a)
 where String a = pack a

g :: String -> String -> Text -> A
f :: Text -> Text -> A
f (String a) (String b) =
 g a b (String (a <> b))
надо еще COMPLETE добавить или что там за прагма была
источник
00:06пожаловаться#9

AA

A64m AL256m qn<co... in Haskell
кана
ну можно сделать удобные паттерн-синонимы

pattern String :: String -> Text
pattern String a <- (unpack -> a)
 where String a = pack a

g :: String -> String -> Text -> A
f :: Text -> Text -> A
f (String a) (String b) =
 g a b (String (a <> b))
они уже сделаны в lens
https://hackage.haskell.org/package/lens-4.19.2/docs/Data-Text-Lazy-Lens.html#v:Text
источник
00:08пожаловаться#10

к

кана in Haskell
о ну да, прикольно
источник
00:13пожаловаться#11

к

кана in Haskell
читаю lens каждую ночь перед сном, и все равно нахожу каждый раз чет новое
источник
00:13пожаловаться#12

YS

Yan Shkurinskiy in Haskell
походу лучшим решением будет сделать из многопакетного проекта однопакетный .-.
источник
10:41пожаловаться#13

YS

Yan Shkurinskiy in Haskell
тогда и hls будет работать, и не нужно будет думать как все пакеты разом в ghci подгрузить
источник
10:41пожаловаться#14

IK

Ilya Kos in Haskell
С hls это же не проблема
источник
10:50пожаловаться#15

YS

Yan Shkurinskiy in Haskell
проблема
источник
10:53пожаловаться#16

YS

Yan Shkurinskiy in Haskell
я уже писал тут(
источник
10:54пожаловаться#17

YS

Yan Shkurinskiy in Haskell
начиная с 0.4 - проблема
источник
10:54пожаловаться#18

YS

Yan Shkurinskiy in Haskell
по крайней мере - у меня
источник
10:54пожаловаться#19

IK

Ilya Kos in Haskell
У меня между пакетами все работает на 0.6...
источник
10:54пожаловаться#20