Scott Encoding

scott-encoding.js

/**
 * -- Haskell `Maybe` type:
 * data Maybe a = Nothing | Just a
 */

// JS Scott-Encoding-inspired `Maybe` definition
// (NB, true Scott encoding uses closures rather than a record – see gist comment)

const Maybe = {
    Nothing: whatToDoInEachCase => {
        return whatToDoInEachCase.Nothing;
    },
    Just: a => whatToDoInEachCase => {
        return whatToDoInEachCase.Just(a);
    }
};

// some sample values to play with

const example1 = Maybe.Nothing;
const example2 = Maybe.Just(5);
const example3 = Maybe.Nothing;
const example4 = Maybe.Just("hi");
const example5 = Maybe.Just(true);

[example1, example2, example3, example4, example5].forEach(example => {
  // example of how to "pattern match" on these vals
  const result = example({
    Nothing: "there was nothing here",
    Just: a => "there was something here: " + a
  });
  console.log(result);
});

PPS conversely, the JS sum type encoding can be made slightly more idiomatic as follows:

const Maybe = {
    Nothing: {
        match: patterns => patterns.Nothing
    },
    Just: a => {
        match: patterns => patterns.Just(a)
    }
}

const example = (Math.random() < 0.5) ? Maybe.Nothing : Maybe.Just(5)

const result = example.match({
    Nothing: "there was nothing here",
    Just: a => "there was something here: " + a
})