chrisdone

{-

Examples:

> reify @Int $ eval $ A (reflect (abs :: Int -> Int)) (I (-9))
9

> reify @Int $ eval $ A (A (reflect ((*) :: Int -> Int -> Int)) (reflect @Int 3)) (reflect @Int 5)
15

chrisdone

-- Credit to: https://news.ycombinator.com/item?id=15186988

let iterate
    : (Natural → Natural) → Natural → Natural
    =   \f n ->
          fold (n + 1) f 1

let increment : Natural → Natural = \n -> n + 1

let ackermann

chrisdone

extern crate time;

use std::fs::File;
use std::io::prelude::*;

fn main() {
    let mut inpt = File::open("input/xmas5.txt").expect("file not found");
    let mut content = String::new();
    inpt.read_to_string(&mut content).unwrap();
    let tm = time::now();

chrisdone

{-# LANGUAGE NamedFieldPuns #-}

-- The Expression Problem and my sources:
-- http://stackoverflow.com/questions/3596366/what-is-the-expression-problem
-- http://blog.ontoillogical.com/blog/2014/10/18/solving-the-expression-problem-in-clojure/
-- http://eli.thegreenplace.net/2016/the-expression-problem-and-its-solutions/
-- http://www.ibm.com/developerworks/library/j-clojure-protocols/


-- To begin demonstrating the problem, we first need some

chrisdone

{-# LANGUAGE OverloadedLabels, TypeOperators, DataKinds, FlexibleContexts #-}
{-# LANGUAGE OverloadedStrings #-}
import Labels
import Labels.Cassava
import Data.Vector ( Vector )
import Data.Text ( Text )
import Data.Text.Lazy.Encoding
import qualified Data.Text.Lazy as LT
import Data.Csv hiding ( decodeByName )
import Data.Csv.Streaming

chrisdone

chrisdone

/*******************************************************************************
 * Main entry point.
 */
$(document).ready(function(){
  setupErrors();
  setupDates();
  setupAutoHide();
  setupManageItems();
  setupConfirms();
});