lotz84

alias ll='ls -l'
alias rm='rmtrash'

alias ga='git add'
alias gb='git branch'
alias gc='git commit'
alias gch='git checkout'
alias gd='git diff'
alias gf='git fetch'
alias gg='git graph'

lotz84

execute pathogen#infect()
syntax on
filetype plugin indent on

set ruler
set number

set tabstop=4
set autoindent
set expandtab

lotz84

[alias]
    graph = log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit --date=relative
[user]
	name = Tatsuya Hirose
	email = [email protected]

lotz84

##Mathematics

• Toen Bertrand/Lectures on DG-categories
• Allen Hatcher/Algebraic Topology
• P.G. Goerss and J.F. Jardine/Simplicial Homotopy Theory
• Jacob Lurie/Higher Topos Theory
• Mark Hovey/Model categories
• G.M. Kelly/Basic Concepts of Enriched Category Theory

lotz84

• FormButtons

lotz84

import Data.Monoid

main = do
    let adde :: Monoid m => m -> m
        adde = mappend mempty
    print $ adde "aaa"
    print $ adde (Sum 1)

lotz84

import Data.Functor.Identity
import Control.Monad.State
import Data.List
import System.Random

type Info = String

data Term = Var Info Int Int
          | Abs Info String Term
          | App Info Term Term

lotz84

• Transducers
• TRANSDUCERS ARE COMING
• foldl
• foldl-transduce

{-# LANGUAGE Rank2Types #-}
type List a = forall r. r -> (a -> r -> r) -> r

nil :: List a

lotz84

{-# LANGUAGE GADTs #-}

import Control.Monad.Operational

data IStateIO s a where
    Get    :: IStateIO s s
    Put    :: s    -> IStateIO s ()
    LiftIO :: IO a -> IStateIO s a

get'    = singleton Get

lotz84

import Data.List (sortOn)
import Data.Traversable (for)
import Github.Data
import Github.Repos

organizations :: [String]
organizations = [ "aws", "google", "facebook", "Microsoft", "cookpad", "CyberAgent"
                , "DeNADev", "pepabo", "gree", "hatena", "kayac", "mixi-inc", "naver"
                , "niftycloud", "pixiv", "rakuten-ws", "airbnb", "adobe-webplatform"
                --