How category theory can give you a new perspective on modeling the flow of your software.

Let's talk about:

  • Programming paradigm
  • The little history of Category Theory
  • Functional Programming
  • How can category theory help to build software
  • Why Composability?
  • Control Flow
  • An approach to handling side-effects
  • Concepts applied in real scenarios

Introduction

We need to talk about paradigms to start.

What is a programming paradigm for you?

A programming paradigm is as an approach to programming a computer that is based on a coherent set of principles or a mathematical theory. …


Vou te mostrar como a teoria das categorias pode dar uma nova perspectiva de como modelar o fluxo de dados do seu software.

Vamos falar sobre:

  • Paradigmas de programação
  • A história da teoria das categorias
  • Programação funcional
  • Como a teoria das categorias pode ajudar a construir um bom software
  • Por que composição?
  • Controle do fluxo
  • Como lidar com efeitos colaterais
  • Conceitos na prática

Para exemplos, irei usar códigos em Javascript e PureScript.

Introdução

Nós precisamos conversar sobre paradigmas de programação antes.

O que é paradigma de programação para você?

Um paradigma de programação é como uma abordagem para programar um computador que é baseado em um conjunto coerente de princípios ou uma…


I love flashcards, and I’m using to learn a second language, but what problems did I find using flashcards? Why should I use the fluany ?

What's flashcards ?

Flashcards are an incredibly powerful learning tool, because they promote active recall, which is the process of actively retrieving memories out of your brain. That’s why flashcards are one of the most efficient learning strategies that exist. Basically is a note card with a question on one side and the corresponding answer on the other side.


Macros no ES8 ? Você não vai mais precisar criar um compilador para só ter uma sintaxe, ou um comportamento diferente no JavaScript.

O que seria um macro ?

Macros são ferramentas bem antigas, muito mesmo, e usadas em diversas formas, tanto para criação de DSL’s ou para automatizar algumas tarefas. Antigamente ela era muito usada, mas não é mais tão comum hoje. Na maioria das vezes é melhor evitá-las, mas elas são úteis ocasionalmente.

Quantos tipos de macros existem ?

Existe as textuais e sintáticas.

Textuais: Elas são bem simples, te permitem substituir algum texto por outro.

Sintáticas: Também fazem substituição, mas elas funcionam em elementos sintaticamente válido na linguagem que…


Polimorfismo não tem nada a ver com OO-class-based! E não existe apenas 2 tipos de polimorfismo, que é o que a maioria das pessoas ensinam, não se preocupe se você não sabe o que é polimorfismo, tentarei lhe explicar de uma forma não acadêmica.

Introdução ao Polimorfismo

O assunto em si, não é muito claro para vários programadores, e algumas pessoas explicam de forma equivocada, mais adiante vai perceber o porquê. A princípio, polimorfismo quer dizer ‘várias formas’, pode-se dizer que é o ato do mesmo código suportar diversas coisas.

O foco aqui não é a implementação e sim no conceito, por tanto…

Victor Igor

My new blog is: https://victorvoid.me

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store