acfoltzer

\lstnewenvironment{code}
    {\lstset{}%
      \csname lst@SetFirstLabel\endcsname}
    {\csname lst@SaveFirstLabel\endcsname}
    \lstset{
      language=Haskell,
      basicstyle=\small\ttfamily,
      flexiblecolumns=false,
      basewidth={0.5em,0.45em},
%      keywordstyle=\color{blue},  

acfoltzer

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE ConstraintKinds #-}

import Control.Applicative
import Control.Monad.State

data Var = Var

acfoltzer

{-# LANGUAGE NoMonomorphismRestriction #-}
import Data.Map as Map
import Prelude as P

-- When there's a name clash, you can use the qualifier
mapNull  = Map.null
listNull = P.null

-- When a name is unambiguous, you can just use it
mapMember  = member

acfoltzer

{-# LANGUAGE ViewPatterns #-}

import Data.Vector (Vector)
import qualified Data.Vector as V

data ConsView a = Nil | Cons a (ConsView a)
  deriving (Eq, Ord, Show)

class ConsList l where
  viewCons :: l a -> ConsView a

acfoltzer

% mv
  File "/bin/mv", line 6
SyntaxError: Non-ASCII character '\xc2' in file /bin/mv on line 6, but no encoding declared; see http://www.python.org/peps/pep-0263.html for details

acfoltzer

Dear Committee,

I'm writing to nominate myself for a position on the haskell.org committee.

As a working Haskell developer at Galois, having reliable infrastructure is deeply important to me, and I would like to help maintain it however I can. I have experience maintaining web, mail, and IRC servers, as well as acquiring and configuring SSL certificates for those services. I hope that these skills may prove of use to the committee.

I also believe this is a critical point in the growth of our community. As adoption of Haskell increases, the decisions we make now will shape how our community develops, for good or for bad. I was moved by Chung-chieh Shan's [Haskell 2013 Program Chair report][1]. As he says, it can be hard work to speak one's mind with compassion, but let me try so that you can know better my concerns and what I hope to work towards.

I believe that a lack of diversity is one of the primary problems facing the Haskell community today. Ashe Dryden recently spoke at Galois and gave an excellent

acfoltzer

{-# LANGUAGE FlexibleInstances #-}

-- | A simple datatype similar to 'Bool'
data A = B | C

a :: A
a = B

-- | A more complicated datatype with values associated with each constructor.
data Foo = Bar Int String | Baz (Bool -> Bool)

acfoltzer

require "language/haskell"

class Idris < Formula
  include Language::Haskell::Cabal

  homepage "http://www.idris-lang.org"

  depends_on "ghc" => :build
  depends_on "cabal-install" => :build
  depends_on "gmp"

acfoltzer

Using a sandbox located at /private/tmp/stack/.cabal-sandbox
/Users/acfoltzer/.cabal/bin/alex --version
/Users/acfoltzer/.cabal/bin/c2hs --numeric-version
/usr/bin/gcc -dumpversion
/usr/local/bin/haddock --version
/Users/acfoltzer/.cabal/bin/happy --version
/usr/local/bin/hpc version
looking for tool hsc2hs near compiler in /usr/local/bin
found hsc2hs in /usr/local/bin/hsc2hs
/usr/local/bin/hsc2hs --version

acfoltzer

// Constraining properties based on String-specific inputs

// In Cryptol, `String n` is just an alias for `[n][8]` (ASCII)
type IPv4String = String 15

// Print four octets as an IPv4-formatted string
printIp : [4][8] -> IPv4String
printIp ip = x # "." # y # "." # z # "." # w
  where
    [x, y, z, w] = [ printByte b | b <- ip ]