hdgarrood

<!--//

Solarized (light)
Copyright (c) 2008 Fabio Zendhi Nagao <http://zend.lojcomm.com.br/>

Permission is hereby granted, free of charge, to any person
obtaining a copy of this software and associated documentation
files (the "Software"), to deal in the Software without
restriction, including without limitation the rights to use,
copy, modify, merge, publish, distribute, sublicense, and/or sell

hdgarrood

{-# LANGUAGE OverloadedStrings #-}

import Control.Monad (forM_)
import Data.Text.Lazy (Text)
import qualified Data.Text.Lazy as T
import qualified Data.Text.Lazy.Encoding as T
import qualified Data.ByteString as BS
import qualified Data.ByteString.Lazy as BSL
import qualified Blaze.ByteString.Builder as B

hdgarrood

Essentials

• Calls
• Texts
• T9 (unless qwerty)
• Alarm clock
• No touchscreen!

Nice-to-haves

hdgarrood

module Derivative where

data Expr = X             -- variable
          | S Integer     -- scalar
          | Expr :+: Expr -- sum
          | Expr :*: Expr -- product
          | Expr :^: Integer  -- exponent
          deriving (Show, Eq)

hdgarrood

I wanted to rewrite ports on incoming tcp packets (on OSX) on my host machine, so that a web server on a guest vm appears to be running on the host.

Incoming packets on port 80 should get rewritten to 8080, and incoming packets on port 443 should get rewritten to port 8443.

I asked about this on hipchat a few days ago and nobody seemed to know the answer - I recently found it, and so decided to share in case this is useful to anybody.

hdgarrood

module Coercible where

foreign import unsafeCoerce
  "function unsafeCoerce(x) { return x }" :: forall a b. a -> b

class Coercible a b

coerce :: forall a b. (Coercible a b) => a -> b
coerce = unsafeCoerce

hdgarrood

Harry Garrood

GSOC proposal: Pursuit enhancements

• github: https://github.com/hdgarrood
• email: [email protected]

PureScript is a language similar to (and written in) Haskell, which compiles to JavaScript. Due to PureScript's expressive type system, functions and data can provide lots of information and even guarantees about their structure and behaviour, through just their type signatures. For example, types can capture

hdgarrood

• 20-03-2015, steak and ale pie. Super good. Did it for maths club the first time with Heather Ale, which was really good. I reckon you want at least a 5% ABV ale. http://www.bbcgoodfood.com/recipes/8326/serious-steak-and-ale-pie
• a bunch of times 2014/2015: http://allrecipes.co.uk/recipe/7437/mushroom--spinach-and-cheese-pie.aspx
• yas http://www.bbcgoodfood.com/recipes/1052/ultimate-spaghetti-carbonara

hdgarrood

@name purescript-maybe
@version 0.2.2

module Data.Maybe where

-- | <p>The <code>Maybe</code> type is used to represent optional values and can be seen as
-- | something like a type-safe <code>null</code>, where <code>Nothing</code> is <code>null</code> and <code>Just x</code>
-- | is the non-null value <code>x</code>.</p>
data Maybe a

hdgarrood

upload process

• user runs pulp publish, or something
• JSON dump is generated by psc-package-upload
• Uploaded to pursuit.purescript.org
• Verification URL sent back in response, and printed to stdout
• User visits verification URL in browser and is authenticated via GitHub OAuth
• After authentication, HTML is generated etc and the package appears on pursuit.