evaporei

function identity<T>(t: T): T {
    return t
}

// identity ∘ f == f
// f ∘ identity == f
// 
// Ou seja, uma função `f` composta com a
// identidade sempre da o mesmo resultado,
// independente da ordem da aplicação

evaporei

class A {}

class B {}

class C {}

class D {}

function f (a: A): B {
    ...

evaporei

class X {}

class Y {}

class Z {}

function f (x: X): Y {
    ...
}

evaporei

O que é Teoria das Categorias?

Há algumas semanas atrás eu fiz um curso de Teoria das Categorias na UFABC, e apesar disso não me fazer especialista no assunto, decidi que criaria esse artigo para tentar passar o que eu aprendi. Principalmente por sentir que existe muito misticismo no assunto para quem não conhece.

Mas afinal, o que é Teoria das Categorias?

É um tema originado na matemática que tem como base objetos e morfismos.

evaporei

class MyNumber extends Number implements Monoid<MyNumber> {
    public x: Number;
    constructor(x: Number) {
        super(x)
        this.x = x;
    }

    toString(): string {
        return this.x.toString()
    }

evaporei

const data = [
  {
    category: 'action',
    value: 'jorgs'
  },
   {
    category: 'comedy',
    value: 'lucians'
  },
   {

evaporei

Aulas de JS

Tópicos a serem abordados

• Tipos de variáveis, escopo e closures (var, let, const, escopos function e {})
• Tipos e coerção (Boolean, null, undefined, Number, String, Object, Symbol e tabela de coerção)
• this, prototypes e classes
• Assincronia (event loop, setTimeout, setInterval, setImmediate, process.nextTick, Promise, function*, coroutines e async await)

evaporei

struct State {
    step: Step,
    data: Vec<u8>,
}

impl State {
    pub fn new() -> Self {
        Self { step: Step::Initial, data: vec![] }
    }
    

evaporei

data Alphabet = A Int | B Float | C String

cool :: [Alphabet] -> Bool
cool [] = error "Should not call `cool` with empty list"
cool alphabetList = case alphabetList of
                       [A] -> coolInt alphabetList
                       [B] -> coolFloat alphabetList
                       [C] -> coolString alphabetList
                       _ -> error "Shouldn't call `cool` with list of different variants"
                       

evaporei

Arch linux setup

Instalando Rust

paru -S rustup
rustup default stable

Instalando paru