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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1544 membersпожаловаться на группу
2020 July 01

YS

Yan Shkurinskiy in Haskell
Но тут вроде тогда надо будет явно указывать сигнатуру toX по месту вызова
источник
15:39пожаловаться#1

к

кана in Haskell
ну я предлагал вынести в фд, что по сути то же самое
источник
15:39пожаловаться#2

YS

Yan Shkurinskiy in Haskell
кана
ну я предлагал вынести в фд, что по сути то же самое
да)
источник
15:39пожаловаться#3

YS

Yan Shkurinskiy in Haskell
забыл написать что был вдохновлён твоей идеей х)
источник
15:39пожаловаться#4

A

Andrey in Haskell
пoсмoтрю на фд, пoпрoбую выразить через них
источник
15:40пожаловаться#5

к

кана in Haskell
все еще люблю фд сильно больше чем семейства в классах
источник
15:40пожаловаться#6

к

кана in Haskell
но как я уже понял, мои пристрастия довольно уникальны
источник
15:40пожаловаться#7

YS

Yan Shkurinskiy in Haskell
Я недавно переписал код с fd на код с tf
источник
15:40пожаловаться#8

YS

Yan Shkurinskiy in Haskell
не то что бы что-то поменялось
источник
15:40пожаловаться#9

YS

Yan Shkurinskiy in Haskell
х)
источник
15:40пожаловаться#10

A

Andrey in Haskell
т.е. если ещё кoнкретнее, тo я хoчу вместo X пoлучить [a]
источник
15:40пожаловаться#11

AR

Alexey Raga in Haskell
я тоже, но у меня поменялось - сократилось количество параметров типа
источник
15:41пожаловаться#12

к

кана in Haskell
а, так тебе результат нужен
источник
15:41пожаловаться#13

YS

Yan Shkurinskiy in Haskell
Alexey Raga
я тоже, но у меня поменялось - сократилось количество параметров типа
Вот да!
источник
15:41пожаловаться#14

A

Andrey in Haskell
списoк из всех дoпустимых значений a, где критерий дoпустимoсти задаётся юзерoм
источник
15:41пожаловаться#15

YS

Yan Shkurinskiy in Haskell
У меня был до этого вообще страх, две монады много где (ошибки юности)
источник
15:41пожаловаться#16

к

кана in Haskell
class ToX a result | a -> result where
 toX :: MonadIO m => m result

instance ToX Int Int where
 toX = liftIO $ randomIO

x :: IO ()
x = print =<< toX @Int
источник
15:42пожаловаться#17

YS

Yan Shkurinskiy in Haskell
Саша Вершилов сказал что это не страшно, но я то понимаю, что он просто жалел меня(
источник
15:42пожаловаться#18

к

кана in Haskell
а вот зависимость от m сделать сложнее, но тоже можно!
источник
15:43пожаловаться#19

к

кана in Haskell
сделав отдельное внешнее семейство по m
источник
15:43пожаловаться#20