Noah Luck Easterly rampion

rampion / HFilter.hs

Created February 22, 2012 14:58

	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE FlexibleInstances #-}
	module HFilter where

	data a :* b = a :* b
	deriving (Show, Eq)
	infixr 5 :*

	hlist :: Int :* String :* Int :* Maybe Float :* ()

rampion / Chainable.hs

Created February 20, 2012 20:07

rampion / Chainable.hs

Created February 19, 2012 20:38

	{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
	module Chainable (
	(==?), (/=?),
	(<?), (<=?), (>?), (>=?),
	isJust
	) where

	import Data.Maybe (isJust)
	import Control.Monad (liftM, liftM2)

rampion / 0_RowPolymorphism_Primitives.hs

Created February 16, 2012 20:51

Playing with Factor's Row Polymorphism in Haskell

	{-# LANGUAGE TypeOperators #-}
	-- inspired by "Why concatenative programming matters."
	-- (http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html)
	--
	-- playing with adapting row polymorphism to Haskell, because, hey, why not?
	module RowPolymorphism.Primitives (
	(:>)(), Stack,
	lift, quote, (!),
	dip, dup, over, swap, drop, call
	) where

rampion / diagram.txt

Created February 6, 2012 22:09

demonstration of inserting 13 into a splay tree

rampion / HigherOrderVsCurried.txt

Created January 22, 2012 05:47

When is a tuple not a tuple, and other scala type error ambiguities

rampion / ImplicitTest.scala

Created January 12, 2012 18:10

A demonstration of using implicit parameters to mimic typeclasses.

	abstract class SemiGroup[A] {
	def add(x: A, y: A): A
	}
	abstract class Monoid[A] extends SemiGroup[A] {
	def unit: A
	}
	object ImplicitTest extends App {

	def sum[A](xs: List[A])(implicit m: Monoid[A]): A =
	if (xs.isEmpty) m.unit

rampion / Palindrome.hs

Created January 2, 2012 00:53

	module Palindrome where
	-- an adaptation of Johan Jeuring's algorithm for finding maximal palindrome lengths
	-- (http://johanjeuring.blogspot.com/2007/08/finding-palindromes.html)

	import Control.Arrow ((***))

	-- find the maximal lengths of the palindromes
	-- centered before, on, and after each element in the list
	maximalPalindromeLengths :: Eq a => [a] -> [Int]
	maximalPalindromeLengths as = grow 0 [] as as []

rampion / animation.html

Created November 19, 2011 15:19

	<html>
	<head>
	<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.5.2/jquery.min.js"></script>
	<script>
	jQuery(function($){

	var draw = function(shape){
	var a = 50;
	var b = a*shape[0];
	var c = a*shape[1];

rampion / animation.html

Created November 19, 2011 14:48

	<html>
	<head>
	<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.5.2/jquery.min.js"></script>
	<script>
	jQuery(function($){

	var draw = function(shape){
	var a = 50;
	var b = a*shape[0];
	var c = a*shape[1];