Публикации по теме 'category-theory'
Введение в теорию категорий
Теория категорий — это взгляд на математику высокого уровня, который фокусируется на структуре. Это абстракция или обобщение понятий в различных разделах математики. Взяв более общий взгляд, мы можем изучать математическую структуру на более высоком, более интуитивном уровне.
Но кого это волнует? Зачем кому-то изучать абстрактную математику? Несмотря на то, что большая часть теории категорий изобилует жаргоном и абстрактной высшей математикой, которая лучше всего предназначена для..
Визуальное программирование: что пошло не так и есть ли возможности для улучшения?
Это ответ на обсуждение в Hacker News после публикации в блоге Medium о почему визуальное программирование не отстой . Давайте прольем свет на некоторые повторяющиеся моменты, поднятые в разделе комментариев.
Замечание №1: Я перепробовал множество языков визуального программирования, и все они отстой.
Мы тебя чувствуем! И мы твердо верим, что существующие инструменты можно улучшить. В последнее десятилетие было проведено большое количество исследований по увязке визуальных..
Рецензия на книгу Влада Патрышева «Краткий курс современной математики для программистов»
Влад Патрышев некоторое время был активным участником сообщества Scala и функционального программирования в Bay Area. Когда мне сказали, что он написал книгу по математике для программистов, я сразу заинтересовался и получил свою цифровую копию (вы можете получить свою на gumroad.com/l/lcbk02 ). Было много попыток кратко проинструктировать программистов по математике. Фанамбулисты рискуют попасть в неформальную часть математики, скучны для начинающих читателей, слишком трудны для новичков..
Стрелка 101 - Моделирование реальной проблемы с помощью полугрупп
1 - Введение
FP предлагает нам множество инструментов для создания более лаконичного и менее императивного кода. Но помимо знания того, как их использовать, также важно научиться видеть наши проблемы с математической точки зрения.
В статье я расскажу, как использовать инструмент из теории категорий для моделирования простого, но реального сценария: Полугруппы . Вам не нужно быть супертеоретическим программистом или мастером вычислений. Эта концепция проста, просто у нее какое-то..
Выпуск FSM-Oracle
Надеясь, что этот пост в блоге найдет вас в порядке и без лишних слов, мы хотели бы анонсировать очень важный выпуск для Statebox: оракул конечного автомата .
Значительное количество времени было потрачено как на исследование (более интересные материалы об этом появятся в ближайшие месяцы), так и на формализацию официально проверенной версии нашего ядра в Идрисе, которое, в свою очередь, было реализовано многими людьми из нашей команда (в основном Sjoerd, Alex и Andre, которых я..
Мой опыт работы в LambdaWorld
Благодаря Vaamo мне посчастливилось побывать в LambdaWorld в Кадисе в этом году, и это было потрясающе.
Переговоры
Хотя Зайнаб Али сказала в своем выступлении, что заранее не было согласования, можно было догадаться, что это была большая конференция по Теории категорий . Никогда об этом не слышали? Вам обязательно стоит посмотреть Keynote от Dr. Евгения Ченг : Теория категорий в жизни . И даже если знаете, тем не менее смотрите! В нем есть удивительное объяснение..
Истинное использование монад в FP
Часть 1. Суть функционального программирования
Почему монады полезны в FP?
Большинство начинающих функциональных программистов знакомо с изрядной долей «учебников» по монадам. Тем не менее, несмотря на огромное количество информации по этой теме, понимание относительно просто определяемой монады по-прежнему ускользает от большинства. Я убежден, что причина этого в том, что большинство «учебников» дают определение вместе с аналогиями, чтобы помочь людям понять определение, но..
