Dillon Mulroy dmmulroy

A pattern for using GADTs to subset cases

Consider the following straightforward mutable queue implementation using two stacks:

type 'a adt_queue = {
  mutable head : 'a head;
  mutable tail : 'a tail;
}

Every Nix derivation produces a Nix store output that has 3 things:

Executables are always exported using the PATH environment variable. This is pretty much automatic.

I bundled these up into groups and wrote some thoughts about why I ask them!

If these helped you, I'd love to hear about it!! I'm on twitter @vcarl_ or send me an email carl.vitullo@gmail.com

How long will it take to deploy my first change? To become productive? To understand the codebase?
What kind of equipment will I be provided? Will the company pay/reimburse me if I want something specific?

	module type T = sig
	module type S
	end

	module T = struct
	module type S = T
	end

	module type K_Bool = functor (X : T) (Y : T) -> T

	type NatModule<Nat> = {

	zero: Nat;
	one: Nat;
	add: (x: Nat, y: Nat) => Nat;
	};

	const NatModule = <A>(cb: <Nat>(Nat: NatModule<Nat>) => A) => {
	const zero = 0;
	const one = 1;

	/*
	(Dumb) idea to implement the classic FizzBuzz
	problem as a state machine with 16 states.
	*/

	#include <iostream>
	#include <vector>
	#include <functional>
	#include <stdlib.h>

	const some_module = require('some_module')

	/**
	* require('some_module') calls Module._load
	*
	* Module._load then tries to load the module with a filename (also save it to the cache) using module.load(filename)
	*
	* module.load(filename), given a filename, passes it to the proper extension handler ('.js', '.json')
	*
	* If there were any errors when loading the file, it deletes the file from the cache (delete Module._cache[filename]) and throws an error

	// mock file
	function MockFile() { };

	MockFile.prototype.create = function (name, size, mimeType) {
	name = name \|\| "mock.txt";
	size = size \|\| 1024;
	mimeType = mimeType \|\| 'plain/txt';

	function range(count) {
	var output = "";

	// Trie.js - super simple JS implementation
	// https://en.wikipedia.org/wiki/Trie

	// -----------------------------------------

	// we start with the TrieNode
	function TrieNode(key) {
	// the "key" value will be the character in sequence
	this.key = key;