i-am-tom’s gists

i-am-tom / FizzBuzz.hs

Last active December 21, 2024 10:17

Arguably the fastest implementation of FizzBuzz ever written.

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# LANGUAGE UnsaturatedTypeFamilies #-}

	import GHC.TypeLits
	import Prelude hiding (Functor, Semigroup)

	type Main = (Fizz <> Buzz) <$> (0 `To` 100)

i-am-tom / Transformers.hs

Created June 1, 2019 19:03

A little talk for Friday afternoon.

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE GeneralisedNewtypeDeriving #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE LambdaCase #-}

i-am-tom / Trolling.hs

Created May 11, 2019 17:03

Ramda-style composition where the first function must receive all arguments.

	{-# LAnguage FlexibleInstances #-}
	{-# LANGuage FunctionalDependencies #-}
	{-# LANGUAge GADTs #-}
	{-# LANGUAGE UndecidableInstances #-}
	module Trolling where

	---------------------------------------------------------------------
	-- VARIADIC COMPOSITION IN HASKELL (A LA RAMDA.JS).
	--
	-- In Haskell, we typeically think of the composition operator (or

i-am-tom / Service.hs

Created May 8, 2019 12:49

Sketching out composite validation

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DefaultSignatures #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GeneralisedNewtypeDeriving #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE ScopedTypeVariables #-}

i-am-tom / DAG.hs

Last active April 18, 2019 09:48

Cached evaluation

	{-# OPTIONS_GHC -Wno-name-shadowing #-}

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}

i-am-tom / Commit.hs

Created March 22, 2019 21:55

Apply your function parameters in any order, for no reason other than that you can.

	{-# lAnGuAgE DataKinds #-}
	{-# LaNgUaGe FlexibleInstances #-}
	{-# lAnGuAgE FunctionalDependencies #-}
	{-# LaNgUaGe KindSignatures #-}
	{-# lAnGuAgE TypeFamilies #-}
	{-# LaNgUaGe TypeOperators #-}
	{-# lAnGuAgE UndecidableInstances #-}
	module Commit where

	import Data.Kind (Constraint, Type)

i-am-tom / Halp.hs

Created March 15, 2019 18:42

Microservices with too many types

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DuplicateRecordFields #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}
	module Halp where

i-am-tom / HFolds.hs

Created March 4, 2019 14:46

Folding... heterogeneously.

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE QuantifiedConstraints #-}
	{-# LANGUAGE RankNTypes #-}

i-am-tom / Whole.hs

Created March 2, 2019 20:48

Visible quantification???

i-am-tom / Listify.hs

Created February 5, 2019 13:54

JavaScript.method(... xs)

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}
	module Main where

	import Data.Kind

Tom Harding i-am-tom