ekmett

#!/usr/bin/env cabal
{- cabal:
build-depends: base, constraints, ghc-prim
-}
{-# language AllowAmbiguousTypes, ConstrainedClassMethods, ConstraintKinds,
             DefaultSignatures, FlexibleInstances, ImplicitParams, RankNTypes,
             ScopedTypeVariables, TypeApplications, TypeFamilies, UndecidableSuperClasses #-}

import Control.Applicative
import Control.Concurrent.MVar

ekmett

#![allow(non_camel_case_types)]

// type-inferrable lenses for rust can exist

// the bokeh of a lens is the stuff that is out of focus.
// this trait describes how given the lens as context, and a bokeh
// you can reassemble the result.

pub trait Bokeh<C,B> {
  type T;

ekmett

{-# language BlockArguments, TupleSections #-}

import Data.Array
import Data.Foldable
import Data.Char
import Prelude as P

type Pattern = Int

-- each pattern is an equivalence class of words, basically a color pattern.

ekmett

aahed
aalii
aargh
aarti
abaca
abaci
aback
abacs
abaft
abaka

ekmett

aback
abase
abate
abbey
abbot
abhor
abide
abled
abode
abort

ekmett

You rolled out of bed and stretched your lazy bones and looked over at the clock. You're late to work.

Ever since western civilization figured out that necromancy was an easy path to a cheap labor force that didn't need to be fed, life, or rather unlife, has been going downhill. Fortunately, summoning rituals are too expensive, so the world isn't literally going to hell, yet.

You stumbled over to the bathroom shower, and shut the door. You don't have eyes any more, so there's no real point to turning on the lights. No real point to anything really. It's not like I have any other choice.

"Hey Suzy…" you hear from the bathroom door. "Are you in there?"

You groggily look around the room and look over at the door. There is no one in the bathroom.

ekmett

module Yield where

-- Cleaned up version of Yield: Mainstream Delimited Continuations by Roshan James and Amr Sabry from TPDC 2011

import Data.Traversable
import Control.Monad.Trans
import Control.Monad.Free
import Control.Monad.Codensity
import Control.Comonad.Trans.Store

ekmett

{-# language PolyKinds #-}
{-# language BlockArguments #-}
{-# language AllowAmbiguousTypes #-}
{-# language StrictData #-}
{-# language DerivingStrategies #-}
{-# language GeneralizedNewtypeDeriving #-}
{-# language TypeApplications #-}
{-# language BangPatterns #-}
{-# language NPlusKPatterns #-}
{-# language TypeFamilies #-}

ekmett

COS 528			Notes on Catenable Deques
Fall 03				         in Pure LISP
HO1

Data structure devised by Radu Mihaesau and Robert Tarjan 8/2003. See also:

H. Kaplan and R.E. Tarjan, “Purely functional, real-time deques with catenation,” J. Assoc. Comput. Mach. 46 (1999), 577-603.

H. Kaplan, C. Okasaki and R.E. Tarjan, “Simple confluently persistent catenable lists,” SIAM J. Comput. 30 (2000), 965-977. 

ekmett

{-# Language FlexibleInstances #-}
{-# Language MultiParamTypeClasses #-}
{-# Language FlexibleContexts #-}
{-# Language UndecidableInstances #-}
{-# Language DeriveTraversable #-}
{-# Language NoStarIsType #-}
{-# Language StandaloneKindSignatures #-}
{-# Language RoleAnnotations #-}

-- | Dysfunctional dependencies