KMahoney

(def-alias Zipper
  (HMap :mandatory {:focus (U nil Node) :left (Vec Node) :right (Vec Node) :path Path :counter Integer}
        :complete? true))

(ann left [Zipper -> Zipper])
(defn left [zipper]
  (let [prev (peek (:left zipper))]
    (if (nil? prev)
      zipper
      {:focus prev

KMahoney

fn main() {
    let mut arglist = args().skip(1);
    match arglist.next() {
        Some(ref filename) if arglist.count() == 0 => run(filename),
        _ => usage()
    }
}

KMahoney

use std::env::args;
use std::io::{Error, Read};
use std::fs::File;

fn run(filename : &str) -> Result<(), Error> {
    let mut f = try!(File::open(filename));
    let mut s = String::new();
    try!(f.read_to_string(&mut s));
    println!("{}", s);
    return Ok(());

KMahoney

input {

  lumberjack {
    'port' => '5005'
    'ssl_certificate' => '/opt/logstash/certs/lumberjack.cert'
    'ssl_key' => '/opt/logstash/certs/lumberjack.key'
    'ssl_key_passphrase' => 'testing'
    'type' => 'gocardless'
  }
}

KMahoney

module Main

import Data.Vect
import Data.Fin

%default total

find : Eq x => List x -> x -> Maybe Int
find [] elem = Nothing
find (y :: xs) elem = if y == elem then (Just 0) else (map (\ n => n + 1) (find xs elem))

KMahoney

-- So as an example of using a log orientated approach in PostgreSQL,
-- let's write a simple blog application. We will want to be able to:

-- * Write and edit blog posts
-- * Publish revisions of posts for public viewing
-- * Delete posts
-- * Add or remove tags to posts

-- Let's start by creating a schema.