Skip to content

Instantly share code, notes, and snippets.

View joshcough's full-sized avatar

Josh Cough joshcough

57 followers · 2 following
View GitHub Profile
@joshcough
joshcough / gist:ed7443d6d1f339e61e95
Last active February 6, 2016 22:51
*ghci> g
Game {, [Josh rack: HXDOTQI score: 0id: 0] :| [[Nick rack: KGAITTE score: 0id: 1]], ______________________________________________
|3W| | |2L| | | |3W| | | |2L| | |3W|
| |2W| | | |3L| | | |3L| | | |2W| |
| | |2W| | | |2L| |2L| | | |2W| | |
|2L| | |2W| | | |2L| | | |2W| | |2L|
| | | | |2W| | | | | |2W| | | | |
| |3L| | | |3L| | | |3L| | | |3L| |
| | |2L| | | |2L| |2L| | | |2L| | |
|3W| | |2L| | | | *| | | |2L| | |3W|
@joshcough
joshcough / scrabble.ghci
Created February 4, 2016 02:23
$ stack ghci
*ghci> import Data.Aeson
*ghci> let g = unsafeNewGame [human "josh"]
*ghci> let g = unsafeNewGame [human "josh", human "nick"]
*ghci> g
Game {, [[josh rack: DOERUTO score: 0id: 0],[nick rack: ELIALIH score: 0id: 1]], ______________________________________________
|3W| | |2L| | | |3W| | | |2L| | |3W|
| |2W| | | |3L| | | |3L| | | |2W| |
| | |2W| | | |2L| |2L| | | |2W| | |
|2L| | |2W| | | |2L| | | |2W| | |2L|
@joshcough
joshcough / Mappy.scala
Last active January 8, 2016 14:18
import scala.language.higherKinds
import scalaz.{Applicative, Traverse}
import scalaz.\/
import scalaz.std.list._
import scalaz.std.option._
import scalaz.syntax.either._
import scalaz.syntax.traverse._
object Mappy {
@joshcough
joshcough / HowDoICallEval.scala
Last active January 1, 2016 07:38
//libraryDependencies += "org.scalaz" %% "scalaz-core" % "7.2.0"
import scala.language.higherKinds
import scalaz.{MonadState, MonadListen, MonadReader, MonadError, \/}
import scalaz.std.list._
// All I want to do in this code is invoke the eval function. That's it.
// This code compiles, so it's close, just needs the finishing touch.
object HowDoICallEval {
@joshcough
joshcough / ProgrammersWithPornNames.md
Last active December 31, 2015 05:27
@joshcough
joshcough / springer-free-maths-books.md
Created December 28, 2015 19:16 — forked from bishboria/springer-free-maths-books.md
Springer have made a bunch of maths books available for free, here are the direct links
@joshcough
joshcough / ExploringLookups.md
Last active December 27, 2015 04:28

Let's say I want to look something up in an environment (like Map String Int or something, doesn't really matter). I start with Reader for the Env, and I use the ask function.

type Env = Map String Int

envLookup :: String -> Reader Env Int
envLookup key = (Maybe.fromMaybe (error "unbound var") . Map.lookup key) <$> ask
@joshcough
joshcough / writerreader.scala
Created December 25, 2015 01:26
type R[A] = Reader[Env, A]
type Z[F[_], A] = WriterT[F, Output, A]
type W[A] = Z[R, A]
def evalLocal(x: String, i: Int, exp: Exp): W[Int] = {
WriterT[R,Output,Int](
Reader[Env, (Output, Int)] { (env: Env) =>
eval(exp).run.run(env + (x -> i))
}
)
@joshcough
joshcough / gist:cd57998ef2bd51d5e202
Last active December 16, 2015 20:33
scala> import scalaz.syntax._, validation._, either._, monadPlus._
import scalaz.syntax._
import validation._
import either._
import monadPlus._
scala> import scalaz.std.list._
import scalaz.std.list._
scala> List(1.left, 2.left, "bad".right, "really bad".right).separate
@joshcough
joshcough / gist:bc9050a42630008b1eed
Last active October 29, 2015 17:51
object LetLangError {
import scala.language.higherKinds
import scalaz.MonadError
import scalaz.syntax.monad._
import scalaz.syntax.monadError._
trait Exp
case class Num(i:Int) extends Exp
case class Add (l:Exp, r:Exp) extends Exp