ttesmer

{-# LANGUAGE TypeSynonymInstances #-}
data Dual d = D Float d deriving Show
type Float' = Float

diff :: (Dual Float' -> Dual Float') -> Float -> Float'
diff f x = y'
  where D y y' = f (D x 1)

class VectorSpace v where
  zero  :: v

bond15

module Fib where
import Control.Arrow((>>>),(&&&))
import Control.Comonad.Cofree

newtype Fix f = In { out :: (f (Fix f) ) }

data NatF a = Z | S a deriving Show

-- Peano natural numbers as the least fixed point of functor NatF
type Nat = Fix NatF

duplode

#!/usr/bin/env cabal
{- cabal:
build-depends: base >= 4.12
             , mtl
             , distributive
-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}

dylnb

{-# LANGUAGE GADTs, FlexibleInstances #-}

module Paychecks where

type E = String

data Z
data S n

data Arity k where

danidiaz

A series of reading lists mostly related to functional programming.

jtobin

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE LambdaCase #-}

import Control.Applicative.Free
import Control.Monad
import Control.Monad.Free
import Control.Monad.Primitive
import System.Random.MWC.Probability (Prob)
import qualified System.Random.MWC.Probability as MWC

wenkokke

{-# LANGUAGE TemplateHaskell, QuasiQuotes, FlexibleInstances, FlexibleContexts,
             TypeFamilies, GADTs, TypeOperators, DataKinds, PolyKinds, RankNTypes,
             KindSignatures, UndecidableInstances, StandaloneDeriving,
             RecordWildCards, DeriveFunctor, DeriveFoldable, DeriveTraversable  #-}
module AB where


import           Prelude hiding (lookup, lex)
import           Control.Applicative ((<|>),empty)
import           Data.Maybe (maybeToList)

msullivan

import Control.Monad

type Var = Integer
type Subst = [(Var, Term)]
type State = (Subst, Integer)
type Program = State -> KList State

data Term = Atom String | Pair Term Term | Var Var deriving Show

-- Apply a substitution to the top level of a term

silky

{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}

-- * Typed tagless-final interpreters for 
-- * Linear Lambda Calculus
-- * de Bruijn indices

-- Linear lambda-calculus: each bound variable
-- is referenced exactly once.

dansheffler

tell application "Skim"
	set theFile to the file of the front document
	set outText to ""
	set newLine to ASCII character 10
	
	# Get the relevant bibliographic information for the front PDF in Skim
	tell application "BibDesk"
		repeat with currentPub in publications of front document
			if linked file of currentPub is {} then
				set bibFile to 0