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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1588 membersпожаловаться на группу
2021 June 17

AA

A64m AL256m qn<co... in Haskell
гц это 90% фя, женерики еще 9% и лямбда 1%
источник
21:40пожаловаться#1

O

Ortofax in Haskell
скала?
источник
21:40пожаловаться#2

AA

A64m AL256m qn<co... in Haskell
работающих - нет
источник
21:40пожаловаться#3

[

[BRM]White Rabbit in Haskell
ну, скала это же фя
источник
21:40пожаловаться#4

O

Ortofax in Haskell
я про конкуренцию в хаскелем
источник
21:41пожаловаться#5

[

[BRM]White Rabbit in Haskell
ну, иногда лучше использовать скалу, а не хаскель
источник
21:41пожаловаться#6

O

Ortofax in Haskell
неограниченные циклы ведь мощнее структурной хвостовой рекурсии?
источник
21:46пожаловаться#7

к

кана in Haskell
Структурная хвостовая рекурсия это что, с убывающим значением?
источник
21:47пожаловаться#8

O

Ortofax in Haskell
ага
источник
21:49пожаловаться#9

O

Ortofax in Haskell
на каждом шаге размер аргумента, по которому рекурсия, уменьшается
источник
21:49пожаловаться#10

K

Kir in Haskell
Или увеличивается, при корекурсии
источник
21:50пожаловаться#11

к

кана in Haskell
ну, даже обычная рекурсия мощнее структурной, структурная на то и структурная, что слабее, но дает гарантию завершаемости или продуктивности
источник
21:50пожаловаться#12

K

Kir in Haskell
Или коиндукции, я забыл корректный термин
источник
21:50пожаловаться#13

K

Kir in Haskell
"Данные - это просто. Коданные - это ко-просто" (с)
источник
21:51пожаловаться#14

O

Ortofax in Haskell
копро-изведение
источник
21:52пожаловаться#15

O

Ortofax in Haskell
при корекурсии вроде никаких аргументов и нет, там коданные в терминах себя определяются
источник
21:53пожаловаться#16

KV

Kirill Valyavin in Haskell
И будет State
источник
23:37пожаловаться#17

к

кана in Haskell
лучше!
источник
23:37пожаловаться#18

к

кана in Haskell
стейт, который не нужно вручную сохранять, чтобы потом откатить после local
источник
23:38пожаловаться#19

к

кана in Haskell
я сделал себе вот такую функцию

newtype X m a = X {runX :: forall r. (a -> m r) -> m r}
 deriving (Functor)

local :: Monad m => X m a -> X m a
local (X next) = X \cb -> do
 a <- next pure
 cb a

которая позволяет не загрязнять "стейт" снаружи, и не могу понять, где такая функция в Cont
источник
23:40пожаловаться#20