Skip to content

Instantly share code, notes, and snippets.

Avatar
💭
Status is a trap.

Matt Green mattgreen

💭
Status is a trap.
View GitHub Profile
View keybase.md

Keybase proof

I hereby claim:

  • I am mattgreen on github.
  • I am mattgreen (https://keybase.io/mattgreen) on keybase.
  • I have a public key ASBEBkqCkX13f3fBRoxqoiotAy5Gw-aCxRxvxiAV5DzTTAo

To claim this, I am signing this object:

View lpad.hs
leftPad :: Int -> String -> String
leftPad n x
| length x >= n = x
| otherwise = padding ++ x
where
padding = replicate (n - length x) ' '
View Balancer.hs
import Control.Monad (guard)
import Data.List (foldl', sort)
-- Types
data Player = Player Name Rating
deriving (Eq, Show)
type Name = String
type Rating = Integer
@mattgreen
mattgreen / frp.md
Last active Aug 29, 2015 — forked from ohanhi/frp.md
Learning FP the hard way: Experiences on the Elm language
View frp.md

Learning FP the hard way: Experiences on the Elm language

by Ossi Hanhinen, @ohanhi

with the support of Futurice 💚.

Licensed under CC BY 4.0.

Foreword

View gist:5505218

For example, one of the many current day standards that was dismissed immediately is the WWW (one could hardly imagine more of a mess).

But the functionality plus more can be replaced in our "ideal world" with encapsulated confined migratory VMs ("Internet objects") as a kind of next version of Gerry Popek's LOCUS.

The browser and other storage confusions are all replaced by the simple idea of separating out the safe objects from the various modes one uses to send and receive them. This covers files, email, web browsing, search engines, etc. What is left in this model is just a UI that can integrate the visual etc., outputs from the various encapsulated VMs, and send them events to react to. (The original browser folks missed that a scalable browser is more like a kernel OS than an App)

These are old ideas, but the vendors etc didn't get it ...