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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

R

Roman in Haskell
почему я могу написать

class MonadPretty config m | m -> config
instance (MonadReader env m, HasPrettyConfig env config) => MonadPretty config m


а написать 


class (MonadReader env m, HasPrettyConfig env config) => MonadPretty config m | m -> config
instance (MonadReader env m, HasPrettyConfig env config) => MonadPretty config m


не могу?
источник
23:24пожаловаться#1

MK

Maxim Koltsov in Haskell
опять наносекунды выжимаете?
источник
23:24пожаловаться#2

AV

Alexander Vershilov in Haskell
Maxim Koltsov
опять наносекунды выжимаете?
Не надосекунды,а чикенбургер человеку!
источник
23:24пожаловаться#3

MK

Maxim Koltsov in Haskell
о, ну это серьёзно
источник
23:25пожаловаться#4

AA

A64m AL256m qn<co... in Haskell
Maxim Koltsov
опять наносекунды выжимаете?
это ж в жаваскрипт компилить вроде? между циклом и тереблением списков большая разница будет
источник
23:25пожаловаться#5

MK

Maxim Koltsov in Haskell
A64m AL256m qn I0
это ж в жаваскрипт компилить вроде? между циклом и тереблением списков большая разница будет
я начало истории промотал)
источник
23:26пожаловаться#6

R:

Ryner :: () -> IO... in Haskell
Maxim Koltsov
опять наносекунды выжимаете?
Это другой кейс, но вот например тут у меня далеко не наносекунды были
источник
23:26пожаловаться#7

R:

Ryner :: () -> IO... in Haskell
Maxim Koltsov
опять наносекунды выжимаете?
источник
23:26пожаловаться#8

MK

Maxim Koltsov in Haskell
Roman
почему я могу написать

class MonadPretty config m | m -> config
instance (MonadReader env m, HasPrettyConfig env config) => MonadPretty config m


а написать 


class (MonadReader env m, HasPrettyConfig env config) => MonadPretty config m | m -> config
instance (MonadReader env m, HasPrettyConfig env config) => MonadPretty config m


не могу?
как именно не можешь?
источник
23:26пожаловаться#9

R

Roman in Haskell
Maxim Koltsov
как именно не можешь?
Not in scope: type variable 'env'
источник
23:27пожаловаться#10

MK

Maxim Koltsov in Haskell
у класса или инстанса?
источник
23:27пожаловаться#11

AV

Alexander Vershilov in Haskell
Ryner :: () -> IO ❄️
Это другой кейс, но вот например тут у меня далеко не наносекунды были
только я  вижу foldl и (,) внутри?
источник
23:27пожаловаться#12

R

Roman in Haskell
Maxim Koltsov
у класса или инстанса?
класса
источник
23:28пожаловаться#13

MK

Maxim Koltsov in Haskell
Alexander Vershilov
только я  вижу foldl и (,) внутри?
тайные знания
источник
23:28пожаловаться#14

AV

Alexander Vershilov in Haskell
?
источник
23:28пожаловаться#15

MK

Maxim Koltsov in Haskell
Roman
класса
действительно 🤔
источник
23:29пожаловаться#16

MK

Maxim Koltsov in Haskell
class (forall env. (MonadReader env m => HasPrettyConfig env config)) => MonadPretty config m | m -> config
источник
23:31пожаловаться#17

MK

Maxim Koltsov in Haskell
такую хрень пускает, но не факт что работать будет
источник
23:31пожаловаться#18

R:

Ryner :: () -> IO... in Haskell
Maxim Koltsov
тайные знания
Очень сложно
источник
23:31пожаловаться#19

MK

Maxim Koltsov in Haskell
видимо это осмысленно только потому что у MonadReader тоже есть фандеп в эту сторону
источник
23:31пожаловаться#20