Charles Strahan cstrahan

NixOS contributor. OSS enthusiast. Prefers hacking in Rust.

cstrahan / Main.hs

Created June 12, 2017 19:27 — forked from danidiaz/Main.hs

generics-sop panic

	{-# language DeriveGeneric #-}
	{-# language FlexibleContexts #-}
	{-# language TypeFamilies #-}
	{-# language DataKinds #-}
	{-# language ScopedTypeVariables #-}
	{-# language TypeOperators #-}
	{-# language TypeApplications #-}

	import Data.List
	import qualified GHC.Generics as GHC

cstrahan / problem.cpp

Created April 3, 2017 03:24 — forked from depp/problem.cpp

A Faster Solution

	// Faster solution for:
	// http://www.boyter.org/2017/03/golang-solution-faster-equivalent-java-solution/
	// With threading.
	// g++ -std=c++11 -Wall -Wextra -O3 -pthread

	// On my computer (i5-6600K 3.50 GHz 4 cores), takes about ~160 ms after the CPU
	// has warmed up, or ~80 ms if the CPU is cold (due to Turbo Boost).

	// How it works: Start by generating a list of losing states -- states where the
	// game can end in one turn. Generate a new list of states by running the game

cstrahan / CoYoneda.hs

Created January 7, 2017 05:22 — forked from thoughtpolice/CoYoneda.hs

CoYoneda = Yoneda

	{-# LANGUAGE ExistentialQuantification, RankNTypes #-}
	{-# LANGUAGE InstanceSigs #-}
	module CoYoneda where

	import Data.IORef
	import Data.Set (Set, map)
	import Control.Monad (liftM)

	--------------------------------------------------------------------------------
	-- Yoneda

cstrahan / Printf.hs

Created October 3, 2016 10:29 — forked from gergoerdi/Printf.hs

	{-# LANGUAGE GADTs, TypeInType, DataKinds, TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE TypeApplications #-}

	import GHC.TypeLits
	import GHC.Types
	import Data.Singletons
	import Data.Singletons.Prelude

	data Format = Lit Symbol \| Str \| Shown Type

cstrahan / Modern FP with mtl.hs

Created September 27, 2016 18:39 — forked from ocharles/Modern FP with mtl.hs

	{-# LANGUAGE GeneralizedNewtypeDeriving #-}

	import Control.Monad.IO.Class
	import Control.Monad.Trans.Class
	import Prelude hiding (log)

	--------------------------------------------------------------------------------
	-- The API for cloud files.
	class Monad m => MonadCloud m where
	saveFile :: Path -> Bytes -> m ()

cstrahan / gist.md

Last active September 16, 2016 05:00 — forked from honza/gist.md

Clojure vs Haskell

Haskell vs Clojure

The JSON data is in the following format

{
    "Genesis": {
        "1": {
            "1": "In the beginning..." ,
            "2": "..."

cstrahan / machinesbench.hs

Created June 13, 2016 20:26 — forked from twanvl/machinesbench.hs

Machines benchmark modified to include vector stream fusion. Addapted from https://gist.github.com/michaelt/f19bef01423b17f29ffd, which is in turn based on https://github.com/ekmett/machines/blob/master/benchmarks/Benchmarks.hs

	{-#LANGUAGE NoMonomorphismRestriction #-}
	module Main (main) where

	import Control.Monad (void)
	import Control.Monad.Identity
	import Criterion.Main
	import qualified Data.Conduit as C
	import qualified Data.Conduit.Combinators as CC
	import qualified Data.Conduit.List as C
	import qualified Data.Machine as M

cstrahan / benchcompose.hs

Created June 13, 2016 20:18 — forked from michaelt/benchcompose.hs

benchmark prelude compositions following the pattern of john weigley's https://github.com/jwiegley/streaming-tests

	{-#LANGUAGE BangPatterns #-}
	module Main (main) where

	import Data.Conduit as C
	import qualified Data.Conduit.Combinators as C

	import Pipes as P
	import qualified Pipes.Prelude as P

	import qualified Streaming.Prelude as Str

cstrahan / packages.el

Created June 3, 2016 02:55 — forked from dysinger/packages.el

Private spacemacs layer to try out Chris Done's Intero mode for haskell

	;; 1. place this in ~/.emacs.d/private/intero/packages.el

	;; 2. add intero, syntax-checking and auto-completion to your
	;; ~/.spacemacs layer configuration & remove the haskell layer
	;; if you were using that before

	;; 3. make sure you have stack installed http://haskellstack.org

	;; 4. fire up emacs & open up a stack project's source files

cstrahan / DeepStrict.hs

Created May 16, 2016 22:59 — forked from bgamari/DeepStrict.hs

	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE TypeSynonymInstances #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE PolyKinds #-}