Телеграмм чат группы ru_catheory страница 41

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Теория категорий

560 membersпожаловаться на группу

1
«
…
‹
36
37
38
39
40
41
42
›
…
»

2018 February 28

VY

Vasiliy Yorkin in Теория категорий

foldl`/`foldr - это катаморфизм для [] - как это понять?
что здесь f?
что здесь Fix f? наверное []
что здесь алгебра? f a -> a

что здесь f?
[]

что здесь Fix f?
newtype Fix f = Fix (f (Fix f))
я думаю справедливо, что можно представлять себе это как:
data []' a = []'' | a : ([]' a)
type [] a = Fix ([]' a)
шртихи делают все не понятным :(
т.е. аналогично List:

data L t r = Nil | Cons t r
type List t = Fix (L t)

что здесь алгебра? f a -> a
type Algebra f a = f a -> a грубо говоря
[a] -> a
~ можно представлять себе в терминах f a этот сахар в виде:
([] a) -> a

источник

10:58пожаловаться #1

OP

Oleg Prutz in Теория категорий

у f должен быть применён уже один параметр, у [] ничего такого нет

источник

11:02пожаловаться #2

Oℕ

Oleg ℕizhnik in Теория категорий

у f должен быть применён уже один параметр, у [] ничего такого нет

есть

источник

11:04пожаловаться #3

к

кана in Теория категорий

у f должен быть применён уже один параметр, у [] ничего такого нет

[] :: * -> *
[] a = [a]
[] a :: *
[a] :: *

источник

11:06пожаловаться #4

OP

Oleg Prutz in Теория категорий

короче
есть функция unFix :: Fix f -> f (Fix f)
значение какого типа она вернёт для аргумента типа [a]?

источник

11:08пожаловаться #5

к

кана in Теория категорий

unFix - не совсем функция, это поле из Fix, тип которого - функция

newtype Fix f =
  Fix { unFix :: f (Fix f) }

Не имея явно собранного Fix-значения ты и значение не достанешь

источник

11:11пожаловаться #6

к

кана in Теория категорий

Я ведь кинул выше пример для списка и его алгебры с катой

источник

11:11пожаловаться #7

OP

Oleg Prutz in Теория категорий

unFix - не совсем функция, это поле из Fix, тип которого - функция

newtype Fix f =
  Fix { unFix :: f (Fix f) }

Не имея явно собранного Fix-значения ты и значение не достанешь

тут @odomontois говорил, что значение достаётся при матчинге (именно для `[]`)

источник

11:14пожаловаться #8

к

кана in Теория категорий

Это абстрактное утверждение, основанное на изоморфизме
[a] И Fix (ListF a)

источник

11:15пожаловаться #9

OP

Oleg Prutz in Теория категорий

т.е. без изоморфизмов [] и cata несовместимы?

источник

11:15пожаловаться #10

Oℕ

Oleg ℕizhnik in Теория категорий

дай определения cata и [], о которых ты говоришь

источник

11:17пожаловаться #11

Oℕ

Oleg ℕizhnik in Теория категорий

кана рассказывает тебе о recursion-schemes

источник

11:19пожаловаться #12

VY

Vasiliy Yorkin in Теория категорий

лучшее, что я читал про схемы: http://blog.sumtypeofway.com/recursion-schemes-part-2/
там целая серия

Adventures in Uncertainty

Recursion Schemes, Part II: A Mob of Morphisms

On the last episode of this very-infrequently-updated analysis of Programming with Bananas, Lenses, Envelopes, and Barbed Wire, we took a look at how to represent and traverse nested structures. This time, we’ll start getting into the meat of the paper[1]. We’ll define four simple recursion schemes, explore

источник

11:19пожаловаться #13

OP

Oleg Prutz in Теория категорий

дай определения cata и [], о которых ты говоришь

[] из prelude, cata и Fix отсюда https://bartoszmilewski.com/2017/02/28/f-algebras/

Bartosz Milewski's Programming Cafe

This is part 24 of Categories for Programmers. Previously: Comonads. See the Table of Contents. We’ve seen several formulations of a monoid: as a set, as a single-object category, as an objec…

источник

11:21пожаловаться #14

Oℕ

Oleg ℕizhnik in Теория категорий

сильно ли токсично будет бросать сюда твит Брагилевского о категорном толковании хаскеля?

источник

11:23пожаловаться #15

OP

Oleg Prutz in Теория категорий

думаю что сильно
некоторые вещи берутся напрямую из категорий, а некоторые нет

источник

11:25пожаловаться #16

Oℕ

Oleg ℕizhnik in Теория категорий

[] из prelude, cata и Fix отсюда https://bartoszmilewski.com/2017/02/28/f-algebras/

Bartosz Milewski's Programming Cafe

This is part 24 of Categories for Programmers. Previously: Comonads. See the Table of Contents. We’ve seen several formulations of a monoid: as a set, as a single-object category, as an objec…

в общем, да, в чистом виде несоместимы.
Вв той статье, что ты кинул мы должны представить список как Fix. Для этого в нашумевшей библиотеке от другого популярного категорного блогера есть тип классов Recursive, который восстанавливает морфизм (не изо-, в одну сторону - достаточный для cata) из типа в фикспойнт

источник

11:27пожаловаться #17

Oℕ

Oleg ℕizhnik in Теория категорий

Если не воображать, что [a] изоморфно Fix (ListF a) вот тем катаморфизмом ты не можешь воспользоваться

источник

11:28пожаловаться #18

Oℕ

Oleg ℕizhnik in Теория категорий

мало того, всё это довольно явно описано по ссылке

источник

11:29пожаловаться #19

VY

Vasiliy Yorkin in Теория категорий

прикольно:

instance Recursive [a] where
  project (x:xs) = Cons x xs
  project [] = Nil

  para f (x:xs) = f (Cons x (xs, para f xs))
  para f [] = f Nil

instance Corecursive [a] where
  embed (Cons x xs) = x:xs
  embed Nil = []

  apo f a = case f a of
    Cons x (Left xs) -> x : xs
    Cons x (Right b) -> x : apo f b
    Nil -> []

источник

11:32пожаловаться #20

1
«
…
‹
36
37
38
39
40
41
42
›
…
»