cameronpresley

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

  public void DemonstrateCompose()
  {

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 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

    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

using System;

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

        private Option(T value, bool hasValue)

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

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))