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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

ЗП

Зигохистоморфный Пре... in Haskell
кана
это все еще больше чем FT тем не менее, и менее удобно конечно
почему проще? можно взять free-functors и делать Free YourClass, HFree YourClass2
источник
22:57пожаловаться#1

AA

A64m AL256m qn<co... in Haskell
Ilya Kos
А я смогу его потом в typefamily засунуть если мне это нужно? Наверное нет потому что сильно сомневаюсь что в рантайме сохраняются typefamilies, но все равно спрошу.
да, для этого не нужно чтоб в рантайме сохранялись тайпфемелис
источник
23:00пожаловаться#2

AA

A64m AL256m qn<co... in Haskell
грубо говоря, это и работает-то потому что в рантайме типов нет
источник
23:00пожаловаться#3

YS

Yan Shkurinskiy in Haskell
кана
так что реальный код выглядит как-то так, при этом от алиасов на Free и алиасов на интерпретаторы можно отказаться
О, прикольный шрифт! Как называется?
источник
23:09пожаловаться#4

к

кана in Haskell
хм, дефолтный в идее, JetBrains Mono
источник
23:09пожаловаться#5

к

кана in Haskell
он кстати тоже с лигатурами, почему-то выключены по дефолту
источник
23:10пожаловаться#6

к

кана in Haskell
Maxim Koltsov
Ну вот зачем наследовать MonadApp от MonadLogger
ну цель простая - собрать все частоиспользуемые монады в одну, чтобы не писать везде одни и те же зависимости, это просто
type MonadApp a = (MonadLogger a, MonadDB a)
источник
23:14пожаловаться#7

MK

Maxim Koltsov in Haskell
Меня смущает концепция "часто используемые монады"
источник
23:16пожаловаться#8

MK

Maxim Koltsov in Haskell
Я вот у себя всё явно пишу
источник
23:16пожаловаться#9

MK

Maxim Koltsov in Haskell
Хотя я ещё маленький :)
источник
23:16пожаловаться#10

AV

Alexander Vershilov in Haskell
Тебе приходится всё рефакторить когда добавляешь эффект!
источник
23:17пожаловаться#11

к

кана in Haskell
ну вот Гранин высказал, что писать все явно приводит к боли, когда приходится везде по иерархии добавлять этот эффект
источник
23:17пожаловаться#12

к

кана in Haskell
и это звучит достаточно разумно
источник
23:17пожаловаться#13

к

кана in Haskell
ну и на самом деле да, писать везде одни и те же эффекты в каждой мелкой функции это действительно бойлерплейт
источник
23:18пожаловаться#14

AV

Alexander Vershilov in Haskell
С фримонадками также или ты используешь AppL на всё, что странно или меняешь при рефакторинге
источник
23:18пожаловаться#15

к

кана in Haskell
ну да, речь сейчас не про фри или фт, а про сам концепт MonadApp/AppF
источник
23:19пожаловаться#16

AV

Alexander Vershilov in Haskell
Вообще кажется, что надо максимально уменьшать кол-во используемых типов
источник
23:21пожаловаться#17

AV

Alexander Vershilov in Haskell
слоёв, капабилитей
источник
23:21пожаловаться#18

к

кана in Haskell
хм, так type X a = (Y a, Z a) прекрасно работает с ConstraintKinds, зачем нужно делать класс?
источник
23:21пожаловаться#19

AV

Alexander Vershilov in Haskell
Ещё есть подозрение, что они должны быть бизнесовыми
источник
23:21пожаловаться#20