cameronpresley

open System.Diagnostics
open System.Threading
type PerformanceLogger (printer:string -> unit) =
    member this.Bind(x, func) = 
        let stopWatch = new Stopwatch()
        stopWatch.Start ()
        func x
        stopWatch.Stop ()
        printer (sprintf "Took %i seconds to run %A" (stopWatch.ElapsedMilliseconds/1000L) (func))

cameronpresley

using System;

namespace Option
{
    public class Option<T>
    {
        private readonly T _value;
        private readonly bool _hasValue;

        private Option(T value, bool hasValue)

cameronpresley

    public class Result<T, U>
    {
        private readonly T _left;
        private readonly U _right;
        private readonly bool _isLeft;
        private Result(T left, U right, bool isLeft)
        {
            _left = left;
            _right = right;
            _isLeft = isLeft;

cameronpresley

public static class NullableExtensions
{
  public static Option<T> ToOption<T>(this T? nullable) where T : struct
  {
    if (nullable == null) return Option<T>.None();
    return Option<T>.Some(nullable.Value);
  }
}

cameronpresley

Semigroup

Follows Associativity Law and has an append method (traditionally known as mappend)

Monoid

Is a Semigroup that also defines an identity element such that for any a and operation mappend, the following is true: mappend a identity = mappend identity a = a

Catamorphism

Refers to using Reduce instead of recursion to reduce one or more items to a single item

cameronpresley

public class Example
{
  public void DemonstrateMap()
  {
    Func<int, string> tostring = s => s.ToString();
    4.Map(tostring);
  }

  public void DemonstrateCompose()
  {

cameronpresley

// Learn more about F# at http://fsharp.org

open System

type Record = {x:int; y:int}
type Nested = {number:int; record:Record}
[<EntryPoint>]
let main argv =
    let record = {x=10; y=20}
    printfn "Creating a record with x=%i and y=%i" record.x record.y

cameronpresley

import Html exposing (div, button, text, h3, h2, input)
import Html.Events exposing (onClick, onInput)
import Html.Attributes exposing(..)


type Direction = North | South | East | West

type alias Location = 
  { x: Int
  , y: Int

cameronpresley

public static class FunctionExtensions
{
    public static Func<T2> Apply<T1, T2>(this Func<T1, T2> func, T1 input) => () => func(input);
    public static Func<T2, T3> Apply<T1, T2, T3>(this Func<T1, T2, T3> func, T1 input) => x => func(input, x);

    public static Func<T2, T3, T4> Apply<T1, T2, T3, T4>(this Func<T1, T2, T3, T4> func, T1 input) =>
        (a, b) => func(input, a, b);

    public static Action Apply<T1>(this Action<T1> action, T1 input) => () => action(input);
    public static Action<T2> Apply<T1, T2>(this Action<T1, T2> action, T1 input) => a => action(input, a);

cameronpresley

import qualified Data.List (sort)

data Person = Person Bool
instance Show Person where
  show (Person b) = show b

printPerson :: Person -> IO ()
printPerson person = putStrLn (show person)

data Mood = Blah | Woot deriving (Show, Eq)