cyberglot

var add = function(a, b){
  return a + b
} 

cyberglot

document.querySelector('#button')
  .addEventListener('click', function(){
    alert('yay, i got clicked')
  }) 

cyberglot

var add = function(a){
  return function(b){
    return a + b
  }
}
 
var add2 = add(2)
add2(3) // => 5 

cyberglot

let x = 5;;
x = 6;;

print_int x;;  (* prints 5 *)

cyberglot

guess :: Int -> [Char]
guess 7 = "Much 7 very wow."
guess x = "Ooops, try again."

-- strongly inspired by http://learnyouahaskell.com

cyberglot

plus1 :: [Int] -> [Int]
plus1 []      = []
plus1 (x:xs)  = x + 1 : plus1 xs 

-- plus1 [0,1,2,3]
-- > [1,2,3,4]

cyberglot

Verifying that +cyberglot is my blockchain ID. https://onename.com/cyberglot

cyberglot

2016 em retrospecto

2016 não foi um ano bom, em geral. Entretanto, esse foi um ano que eu considero especialmente bom na minha vida.

Tech

• 2015 foi um ano desastroso pra mim, comecei 2016 com aviso prévio na Podio, que tava demitindo em massa todo mundo do escritório de Copenhagen. Felizmente, já na primeira semana de Janeiro, consegui uma oferta da Opbeat - que é definitivamente o produto mais interessante que já trabalhei.
• Em Abril, larguei a Opbeat (como dev em tempo integral), para começar o doutorado em Ciência da Computação na Universidade de Roskilde. Algo que eu ensaiava fazer há muito tempo, que era me distanciar de JavaScript e desenvolvimento frontend para me dedicar à Programação Funcional e Teoria de Tipos, em um nível acadêmico.
• Aprendi Teoria de Tipos, inclusive a implementar checadores de tipos até System F. Sei como tipos dependentes e de refinamento funcionam, embora não tenha uma visão clara de como implementá-los (2017 spoiler). Também aprendi "tipos

cyberglot

Require Import Bool.
Require Import Arith.
Require Import List.

(*E1 Find the last element of a list. *)

(*E2 Find the last but one element of a list. *)

(*E3 Find the K'th element of a list. The first element in the list is number 1. *)

cyberglot

Require Import Arith.
Require Import List.

(* This is the definition of insertion sort from "Coq in a Hurry": *)

Fixpoint insert n l :=
  match l with
    | nil     => n :: nil
    | a :: l' => if leb n a then n :: l else a :: insert n l'
  end.