dysinger

$ cabal sandbox init
$ cabal install idris
$ echo 'main : IO () ; main = print "hello"' >hello.idr 
$ ./.cabal-sandbox/bin/idris --mvn --codegen Java -o hello hello.idr 
$ cd hello
$ mvn -DmainClass=hello package shade:shade 
$ java -jar target/hello.jar
"hello"

dysinger

# REMOVE ANYTHING CABAL HAS EVER DROPPED ONTO YOUR SYSTEM
rm -rf ~/.{ghc,cabal}

# UPDATE CABAL
cabal update

# UPGRADE CABAL TO 1.18 (BECAUSE THEY ADDED SANDBOXES)
cabal install cabal-install
export PATH=~/.cabal/bin:$PATH ;# PUT THIS IN YOUR PROFILE

dysinger

class Falsey a where
  false :: a -> Bool

instance Falsey Char where
  false _ = False

instance Falsey a => Falsey [a] where
  false [] = True
  false (x:[]) = false x
  false (x:xs) | false x = True

dysinger

cat > Dockerfile <<\EOF
FROM ubuntu:12.04
RUN apt-get update
RUN apt-get install -y ruby1.9.3 build-essential \
    libc6-dev libffi-dev libgdbm-dev libncurses5-dev \
    libreadline-dev libssl-dev libyaml-dev zlib1g-dev
RUN gem install fpm --bindir=/usr/bin --no-rdoc --no-ri
RUN apt-get install -y curl
RUN curl ftp://ftp.ruby-lang.org/pub/ruby/1.9/ruby-1.9.3-p484.tar.gz|tar oxzC /tmp
WORKDIR /tmp/ruby-1.9.3-p484

dysinger

(when window-system
  (setq exec-path (shell-command ". ~/.bashrc ; echo $PATH")))

dysinger

Using Boto & GNU-Parallel Together

For mass destruction (j/k I mean powerful data gathering)

• Install Boto

• Install GNU Parallel

Useful Prelude of Functions

dysinger

khartes ➤ npm install aws-sdk
npm http GET https://registry.npmjs.org/aws-sdk
npm http GET https://registry.npmjs.org/aws-sdk
npm http GET https://registry.npmjs.org/aws-sdk
npm http 304 https://registry.npmjs.org/aws-sdk
npm http GET https://registry.npmjs.org/xml2js/0.2.4
npm http GET https://registry.npmjs.org/xmlbuilder/0.4.2
npm http 304 https://registry.npmjs.org/xmlbuilder/0.4.2
npm http GET https://registry.npmjs.org/xml2js/0.2.4
npm http GET https://registry.npmjs.org/xml2js/0.2.4

dysinger

module Main

data Cloud : Type where
  AWS : Ptr -> Cloud

data Service : Type where
  S3 : Ptr -> Service

amazonCloud : IO Cloud
amazonCloud = mkForeign (FFun "require('aws-sdk');" [] FPtr) >>= return . AWS

dysinger

➤ cat Main.hs
main :: IO ()
main = putStrLn "hello"
➤ hastec --start=asap --opt-all Main.hs
Compiling Main into .
Linking Main.js
Linking Main
Linking GHC.IO.Handle.Text
Linking Haste.Handle
Linking GHC.Tuple

dysinger

Install GHC & Cabal-Install

apt-get update
apt-get install -y zlib1g-dev libncurses5-dev ghc cabal-install happy alex

Update Cabal-Install

cabal update
cabal install cabal-install

export PATH=$HOME/.cabal/bin:./.cabal-sandbox/bin:$PATH