Fraser Tweedale frasertweedale

Conferences/events

YOW Lambda Jam
- 21..23 May, Sydney
- CFP: http://lambdajam.yowconference.com.au/call-for-presentations/ (closes 18 March)
- Keynotes/invited speakers: Eugenia Cheng, Ryan Trinkle, Ed Kmett
linux.conf.au Real World FP Miniconf

linux.conf.au Real World FP miniconf was accepted.
- will be Monday 22 or Tuesday 23 January, SYD
- CFP not open yet but for the general requirements see https://github.com/frasertweedale/talks/blob/master/2018-01-xx-lca-fp-miniconf/proposal.rst#call-for-proposals

YLJ:

ZuriHac:

	[ -z "$1" ] && echo "usage: $0 BRANCH_NAME" && exit 1
	export GIT_INDEX_FILE=$PWD/.git/index-empty
	REF=refs/heads/$1
	git read-tree --empty
	TREE=$(git write-tree)
	COMMIT=$(git commit-tree "$TREE" -m "new empty orphan branch")
	git update-ref "$REF" "$COMMIT"

	{-# LANGUAGE ScopedTypeVariables #-}

	class HasMode a where
	mode :: Proxy a -> Mode

	instance HasMode 'BrowseMail where
	mode _ = BrowseMail

	-- \| instantiate this class to specify a valid mode transition
	class ModeTransition a b where

	λ> let offset = T.Parser $ \t pos more lose succ -> succ t pos more (T.fromPos pos)
	λ> data Range = Range Int Int deriving (Eq, Show)
	λ> let skipTill s = manyTill anyWord8 (lookAhead $ string s) *> pure ()
	λ> let range s = Range <$> offset <* skipTill s <*> offset
	λ> parseOnly (range "--") "....--"
	Right (Range 0 4)
	λ> parseOnly (range "--" <* string "--") "....--"
	Right (Range 0 4)
	λ> parseOnly (range "--" <* string "--") "....--..."
	Right (Range 0 4)

	{-# LANGUAGE RankNTypes #-}

	import Numeric.Natural (Natural)
	import Numeric.AD (diff)

	newtonRoot
	:: (Floating a, Ord a)
	=> Natural -- ^ iterations
	-> a -- ^ epsilon
	-> a -- ^ starting guess

	from copy import copy
	from optparse import Option, OptionParser, OptionValueError


	class Stars(object):
	def __init__(self, stars):
	stars = float(stars)
	if stars < 0.5 or stars > 5 or stars % 0.5 != 0:
	raise ValueError(
	"Stars must be a whole or half number between 0.5 and 5")

	import Data.Semigroup
	import Data.List.NonEmpty
	import Data.Semigroup.Foldable
	import Test.QuickCheck

	data Partial a = Undefined \| Defined a
	deriving (Show)

	class Semicategory m where
	(<>?) :: m -> m -> Maybe m