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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

ИБ

Игорь Бесчастнов... in Haskell
Maxim Koltsov
вместо type Expr = Expr' Expr' можно попробовать type Expr = Fix Expr' ?
Спасибо, если так можно то тоже здорово) Но что за Fix, нагуглить не могу, выдает только про функцию fix?
источник
00:29пожаловаться#1

AV

Alexander Vershilov in Haskell
С фиксом дожно тоже проходить
источник
00:29пожаловаться#2

MK

Maxim Koltsov in Haskell
Игорь Бесчастнов
Спасибо, если так можно то тоже здорово) Но что за Fix, нагуглить не могу, выдает только про функцию fix?
мне кажется решение Саши проще
источник
00:30пожаловаться#3

ИБ

Игорь Бесчастнов... in Haskell
а, Data.Fix, нашел вроде
источник
00:30пожаловаться#4

ИБ

Игорь Бесчастнов... in Haskell
попробую и так и так
источник
00:30пожаловаться#5

ИБ

Игорь Бесчастнов... in Haskell
всем огромное спасибо!
источник
00:30пожаловаться#6

MK

Maxim Koltsov in Haskell
Игорь Бесчастнов
а, Data.Fix, нашел вроде
да
источник
00:30пожаловаться#7

MK

Maxim Koltsov in Haskell
это собственно основа recursion schemes
источник
00:30пожаловаться#8

ИБ

Игорь Бесчастнов... in Haskell
я только-только начал про них читать, от отчаяния)
источник
00:31пожаловаться#9

MK

Maxim Koltsov in Haskell
https://bartoszmilewski.com/2013/06/10/understanding-f-algebras/
https://bartoszmilewski.com/2017/02/28/f-algebras/
  Bartosz Milewski's Programming Cafe
Understanding F-Algebras
What is algebra? Naively speaking algebra gives us the ability to perform calculations with numbers and symbols. Abstract algebra treats symbols as elements of a vector space: they can be multiplie…
источник
00:31пожаловаться#10

MK

Maxim Koltsov in Haskell
на мой взгляд самые понятные статьи об этом для начала
источник
00:31пожаловаться#11

ИБ

Игорь Бесчастнов... in Haskell
Maxim Koltsov
на мой взгляд самые понятные статьи об этом для начала
почитаю завтра, спасибо
источник
00:32пожаловаться#12

MK

Maxim Koltsov in Haskell
а что ты делаешь, если не секрет?
источник
00:33пожаловаться#13

ИБ

Игорь Бесчастнов... in Haskell
Maxim Koltsov
а что ты делаешь, если не секрет?
компилятор на основе LLVM пишу. В принцие многое (по сравнению с тем что я думал я смогу сделать) уже готово, только с типами все криво, решил по человечески сделать
источник
00:34пожаловаться#14

ИБ

Игорь Бесчастнов... in Haskell
это вообще диплом мой
источник
00:35пожаловаться#15

ИБ

Игорь Бесчастнов... in Haskell
но его и с меньшим функционалом бы приняли
источник
00:35пожаловаться#16

ИБ

Игорь Бесчастнов... in Haskell
так что пишу для себя, по сути
источник
00:35пожаловаться#17

ИБ

Игорь Бесчастнов... in Haskell
интересно же
источник
00:35пожаловаться#18

ИБ

Игорь Бесчастнов... in Haskell
работаю я бэкендером на питоне, так что для меня это все совершенно ново
источник
00:35пожаловаться#19

MK

Maxim Koltsov in Haskell
> Note: Attempting to set a Fold or Getter will fail at compile time with an relatively nice error message.
источник
00:35пожаловаться#20