У нас малая категория почти как Set

Признаки малой категории?) кто скажет?)

Мысли в слух пошли мои))

Так вот

Биекция это изоморфизм

Суръекция это эндоморфизм вроде

А инъекция это мономорфизм

Ахах) сижу в кафе и пишу с телефона про морфизмы)

Прийду домой скину классный explanation

Если кому интересно

скидывай конечно)

Ок, кто хочет на Киев жс про фп?

Или rx?

Или функторную алгебру

Тебе на вольфраме кодить нужно, а не в жс фп чатике про морфизмы писать. ?

Я на хаскелль учусь)

Купил книгу по идрису

Хотите понять прикольные штуки - почитайте про F алгебру и рекурсивные схемы)

У др булеана есть порт называется excursion не такой крутой как у кметта

Например напишите dropWhile через параморфизм)

Жду решения))

И ещё я вроде багу нашёл в excursion не в том порядке сворачивается

Купил книгу по идрису

что за книга? напиши плиз в личку. видел только курс лекций про идрис, от одного из контребъютеров ядра хаскелла,

Тут наверное всем будет интересно, что сразу в личку.

она

это же от автора идриса - Эдвина

а курсы от Брагилевского тоже норм

вообще у него еще по ТК есть

я обещал) http://dxdy.ru/post931190.html#p931190

годный рассказ так сказать для самых маленьких)

угу

вообще там весь тред интересный

я обещал) http://dxdy.ru/post931190.html#p931190

Жесть какая, этим прям в голову что-то больно. У меня ещё и дискретки же не было в универе :/

вообще категории это обобщение про множества

во множествах биекции суръекции и инъекции

Это вроде на курсе алгебры

Ну у менч так было в первом семестре

Тут стоит пояснить, что хотя математика и тяготеет к изучению абстрактных объектов, уровень абстракции может быть очень разный. Самая простая абстракция — это переход от «двух яблок», «двух камней» и т. д. к понятию числа 2; переход от «я повернулся боком», «камень повернулся боком» к понятию поворота на 90°. При этом манипулирование предметами заменяется на универсальные законы работы с числами (или с преобразованиями, или с чем-то еще). Абстракция следующего уровня возникает, когда понимаешь, что правила обращения с числами 2, 3, 15 и т. д. по сути одинаковы. Все эти числа можно складывать, перемножать, для них работают переместительный, сочетательный и другие законы. Иными словами, все целые числа «играют по одним правилам». Поэтому часто полезно оперировать не с конкретными числами, а с новым математическим объектом — кольцом целых чисел. Аналогично, разные повороты предмета в пространстве являются элементами нового математического объекта — группы трехмерных вращений. Третий уровень абстракции — это когда исчезает «осязаемость» элементов групп, колец, полей. Тут уже рассматриваются не конкретные группы вращений или иных преобразований, а просто абстрактные группы — совокупности элементов со строго очерченными свойствами. Здесь на первый план выходит то, какова структура группы, а не то, из чего она «состоит». Свойства всевозможных непротиворечивых математических структур, безотносительно к тому, где именно эти структуры возникают, изучает абстрактная алгебра. Теория категорий предлагает подняться еще выше, на четвертый уровень абстракции. В ней изучаются уже не конкретные группы, а сеть математических взаимосвязей между разными группами. Аналогично, изучается сеть взаимосвязей между самыми разными типами пространств или между самыми разными кольцами. Более того, оказывается, что эти сети взаимосвязей (групп, полей, пространств и т. д.) — очень шаблонны. Между ними (между сетями!) можно установить параллели, и с помощью этих параллелей высокого уровня иногда удается решить очень трудные, но вполне конкретные задачи.

сохранил в заметки

спасибо

Тут стоит пояснить, что хотя математика и тяготеет к изучению абстрактных объектов, уровень абстракции может быть очень разный. Самая простая абстракция — это переход от «двух яблок», «двух камней» и т. д. к понятию числа 2; переход от «я повернулся боком», «камень повернулся боком» к понятию поворота на 90°. При этом манипулирование предметами заменяется на универсальные законы работы с числами (или с преобразованиями, или с чем-то еще). Абстракция следующего уровня возникает, когда понимаешь, что правила обращения с числами 2, 3, 15 и т. д. по сути одинаковы. Все эти числа можно складывать, перемножать, для них работают переместительный, сочетательный и другие законы. Иными словами, все целые числа «играют по одним правилам». Поэтому часто полезно оперировать не с конкретными числами, а с новым математическим объектом — кольцом целых чисел. Аналогично, разные повороты предмета в пространстве являются элементами нового математического объекта — группы трехмерных вращений. Третий уровень абстракции — это когда исчезает «осязаемость» элементов групп, колец, полей. Тут уже рассматриваются не конкретные группы вращений или иных преобразований, а просто абстрактные группы — совокупности элементов со строго очерченными свойствами. Здесь на первый план выходит то, какова структура группы, а не то, из чего она «состоит». Свойства всевозможных непротиворечивых математических структур, безотносительно к тому, где именно эти структуры возникают, изучает абстрактная алгебра. Теория категорий предлагает подняться еще выше, на четвертый уровень абстракции. В ней изучаются уже не конкретные группы, а сеть математических взаимосвязей между разными группами. Аналогично, изучается сеть взаимосвязей между самыми разными типами пространств или между самыми разными кольцами. Более того, оказывается, что эти сети взаимосвязей (групп, полей, пространств и т. д.) — очень шаблонны. Между ними (между сетями!) можно установить параллели, и с помощью этих параллелей высокого уровня иногда удается решить очень трудные, но вполне конкретные задачи.

?

Тоже красиво)

задача математики находить объекты, операции между ними и соблюдение законов для них

все, что мы можем иметь в программировании это разные виды гомоморфизма

Тут стоит пояснить, что хотя математика и тяготеет к изучению абстрактных объектов, уровень абстракции может быть очень разный. Самая простая абстракция — это переход от «двух яблок», «двух камней» и т. д. к понятию числа 2; переход от «я повернулся боком», «камень повернулся боком» к понятию поворота на 90°. При этом манипулирование предметами заменяется на универсальные законы работы с числами (или с преобразованиями, или с чем-то еще). Абстракция следующего уровня возникает, когда понимаешь, что правила обращения с числами 2, 3, 15 и т. д. по сути одинаковы. Все эти числа можно складывать, перемножать, для них работают переместительный, сочетательный и другие законы. Иными словами, все целые числа «играют по одним правилам». Поэтому часто полезно оперировать не с конкретными числами, а с новым математическим объектом — кольцом целых чисел. Аналогично, разные повороты предмета в пространстве являются элементами нового математического объекта — группы трехмерных вращений. Третий уровень абстракции — это когда исчезает «осязаемость» элементов групп, колец, полей. Тут уже рассматриваются не конкретные группы вращений или иных преобразований, а просто абстрактные группы — совокупности элементов со строго очерченными свойствами. Здесь на первый план выходит то, какова структура группы, а не то, из чего она «состоит». Свойства всевозможных непротиворечивых математических структур, безотносительно к тому, где именно эти структуры возникают, изучает абстрактная алгебра. Теория категорий предлагает подняться еще выше, на четвертый уровень абстракции. В ней изучаются уже не конкретные группы, а сеть математических взаимосвязей между разными группами. Аналогично, изучается сеть взаимосвязей между самыми разными типами пространств или между самыми разными кольцами. Более того, оказывается, что эти сети взаимосвязей (групп, полей, пространств и т. д.) — очень шаблонны. Между ними (между сетями!) можно установить параллели, и с помощью этих параллелей высокого уровня иногда удается решить очень трудные, но вполне конкретные задачи.

Я вот сколько не встречал сильных математиков и когда что-то спрашиваю про Теория категорий, все лезут в википедию, это наверное больше прикладная к компьютерным наукам штука в математике или почему так?

ну объяснить крайнюю степень абстракции (даже в квантовой физике применяется ТК) трудно))) даже формулы никто толком не использует, а используют коммутативные диаграммы

Я вот сколько не встречал сильных математиков и когда что-то спрашиваю про Теория категорий, все лезут в википедию, это наверное больше прикладная к компьютерным наукам штука в математике или почему так?

Ну я в пхп тоже не разбираюсь) Короче, направлений у них много

ну объяснить крайнюю степень абстракции (даже в квантовой физике применяется ТК) трудно))) даже формулы никто толком не использует, а используют коммутативные диаграммы

А что посоветуешь изучать в плане математике и фп? Чтобы улучшить именно навыки программирования и миновать ненужные вещи, разделы там математические и как к ним дойти, может уже статья готовая есть, роадмап.

Ну я в пхп тоже не разбираюсь) Короче, направлений у них много

Хорошая аналогия.

А что посоветуешь изучать в плане математике и фп? Чтобы улучшить именно навыки программирования и миновать ненужные вещи, разделы там математические и как к ним дойти, может уже статья готовая есть, роадмап.

haskell

можешь глянуть на recursion schemes + f {co}algebras

поймешь мощь функтора

вот f(x) = x в математике мы знаем и такое же можно написать для типов Fix x ~ x ну и Nu/Mu как max/min экстремумы

начни с чисел Пеано

например Nat = List ()

изоморфно)

ведь все это началось с простых лямбд

и выразить любую структуру можно через лямбды (кодировка Черча)

Пошел гуглить, добра.

Привет всем! Появилась задача сделать "функцию-аккумулятор". Это такую которая принимает аргумент, и как-либо комбинирует его с аргументом, который был в предыдущем вызове. Например, складывает с аргументом предыдущего вызова. Что то, типа такого (в случае, если она складывает с предыдущим вызовом): adder(5) // => 5 adder(3) // => 8 adder(1) // => 9 Написать такое на чистом js несложно, но может тут могут быть как-либо полезны методы ramda?

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

типа: // accum(accumulator, seed); const adder = accum((current, prev) => current + prev, 0);

Короче, можно ли стандартными методами ramda получить что-то типа rxjs.scan (для аккумуляции значений вызовов)?

Сид?

Или scan?

ERROR: S client not available

У тебя список из функций или одна функция и её надо вызвать n раз?

Сид?

Сорри, действительно scan ) Сейчас исправлю в вопросе

Ну в рамде есть скан

У тебя список из функций или одна функция и её надо вызвать n раз?

Одна функция, которую можно вызывать неограниченное число раз

Но тебе надо repeat + reduce с начальным значением identity

Тут уже я не понял )

Если так то iterate + js generators + take

Это покажу как дома буду

Я на улице

Если так то iterate + js generators + take

У меня подозрение что проще простенькую функцию на js написать, без генераторов и рамды )

Мб так

Я думал вдруг в рамде есть что-то уже удобное для таких задач. Но похоже нет )

Та есть

Я написал выше редьюс и репит

Это если ты знаешь сколько раз вызвать

Ну и сверху мемоайзер

Не должно быть ограничения по числу раз.

Инфинити?

Тогда rx)

ок )

Ибо тебе стримы надо

Вообще возьми mostjs там есть iterate

Ну или в rx это expand

Вообще возьми mostjs там есть iterate

Ну меня и rxjs устраивает )

Спасибо!

Нзч

Я в принципе догадываюсь как это сделать и без rx, но не буду тебя травмировать)

Мне на самом деле эта задача не принципиальна. Я просто в ramda осваиваюсь, и придумываю себе задачи )

Ну, тут только стримы

Ок, понял

Мб трансдьюсеры в рамде глянь

Трансдьюсерывообще мимо