Matheus Albuquerque ythecombinator

AIML 2.0 Working Draft

Revision 1.0.2.22
March 9, 2014
Richard S. Wallace
ALICE A.I. Foundation
Contact: [email protected]

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

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

You appear to be advocating a new:

	package br.com.ngi.ginga.business.util.seq;

	/**
	* Copyright (C) 2015 - NG Informática
	*
	* @author Marcelo Camargo
	* @since 08/12/2015
	*/
	public interface Function<Ret, Arg> {
	Ret call(Arg arg);

	module Mortivacional where
	import System.Console.ANSI

	drawLine :: IO ()
	drawLine = putStrLn $ replicate 23 '-'

	turnRed :: IO ()
	turnRed = setSGR [ SetConsoleIntensity BoldIntensity
	, SetColor Foreground Vivid Red
	]

	{-# LANGUAGE UnicodeSyntax #-}
	module Proof where
	import System.Console.ANSI
	import Prelude.Unicode
	import Control.Monad.Unicode

	{-
	Calculations and mathematical proofs of circular computations.
	@author Marcelo Camargo
	-}

	// See comments below.

	// This code sample and justification brought to you by
	// Isaac Z. Schlueter, aka isaacs

	// standard style
	var a = "ape",
	b = "bat",
	c = "cat",
	d = "dog",