haskellcamargo

import type { NodePath } from '@babel/traverse';

/**
 * Finds dependencies of a declaration and removes the ones that are used exclusively
 * by this declaration.
 *
 * NOTE: this only works for runtime bindings. Type bindings are excluded as I'd need to patch
 * Babel to keep track of type bindings in the context of a declaration, and ain't nobody got
 * time for that for now.
 *

haskellcamargo

set nocompatible
filetype off

set rtp+=~/.vim/bundle/Vundle.vim
call vundle#begin()

Plugin 'VundleVim/Vundle.vim'

" Nerdtree
Plugin 'scrooloose/nerdtree'

haskellcamargo

• Introdução

  • Queremos um código
    • Legível
    • Reutilizável
    • Refatorável

• Variáveis

  • Use nomes com significado
  • Use nomes pronunciáveis

• Seja consistente na nomenclatura

haskellcamargo

(*** Turing Machines in Coq *)

(** Some preliminary types we'll use *)
CoInductive CoList (A: Type) := CONS (a:A) (t:CoList A) | NIL.

Arguments CONS [A] _ _.
Arguments NIL [A].

CoInductive Delay A := HERE (a:A) | LATER (_:Delay A).
 

haskellcamargo

#ifdef __HARBOUR__
#include 'hbclass.ch'
#else
#include 'protheus.ch'
#endif

#define CRLF Chr( 13 ) + Chr( 10 )

#define OP_SELECT 1
#define OP_ORDER  2

haskellcamargo

module Graph = struct
  type t = slot array array

  and slot =
    | Exist
    | Empty
    | Visited

  exception Missing_vertex of int

haskellcamargo

#include 'hbclass.ch'

#define CRLF Chr( 13 ) + Chr( 10 )

External AllTrim

Class CTE
    Hidden:
    Data cTable
    Data cIdField

haskellcamargo

#include <stdio.h>

unsigned int mult_pow(int base, unsigned int exponent) {
    unsigned int result = 1;
    while (1) {
        if (exponent % 2 != 0) {
            result *= base;
        }
        exponent /= 2;
        if (exponent == 0) {

haskellcamargo

#!/usr/bin/env bash
#              ,
#             / \,,_  .'|
#          ,{{| /}}}}/_.'            _____________________________________________
#         }}}}` '{{'  '.            /                                             \
#       {{{{{    _   ;, \          /            Ladies and Gentlemen,              \
#    ,}}}}}}    /o`\  ` ;)        |                                                |
#   {{{{{{   /           (        |                 this is ...                    |
#   }}}}}}   |            \       |                                                |
#  {{{{{{{{   \            \      |      _____     __  .-_'''-.   .---.  .---.     |

haskellcamargo

#include 'protheus.ch'

// ANSI/VT-100 sequences for console formatting
#define ANSI_BOLD Chr( 27 ) + '[1m'
#define ANSI_LIGHT_RED Chr( 27 ) + '[91m'
#define ANSI_LIGHT_GREEN Chr( 27 ) + '[92m'
#define ANSI_LIGHT_YELLOW Chr( 27 ) + '[93m'
#define ANSI_CYAN Chr( 27 ) + '[36m'
#define ANSI_LIGHT_GRAY Chr( 27 ) + '[37m'
#define ANSI_LIGHT_MAGENTA Chr( 27 ) + '[95m'