Kaushik Chakraborty kaychaks

Statically checked overloaded strings

This gist demonstrates a trick I came up with which is defining IsString for Q (TExp a), where a is lift-able. This allows you to write $$("...") and have the string parsed at compile-time.

On GHC 9, you are able to write $$"..." instead.

This offers a light-weight way to enforce compile-time constraints. It's basically OverloadedStrings with static checks. The inferred return type

Running Emacs Haskell Tooling in a Nix environment

A guide to setting up the Haskell tooling for Emacs in a Nix environment.

Suggestions/Contact

[email protected]

Configuration

HDD

Laws

A law is a group of two or more expressions which are required to be the same. The expressions will usually involve one or more typed holes ("inputs") which vary.

Some examples:

x.map(id) === x

	* Importance of category theory
	* Answers the question: "What is a timeless API?"
	* What does "timeless" mean?
	* Likely to still be relevant years from now
	* Likely to be low maintenance (since unlikely to change)
	* Less likely to be subject to controversy or discussion ("obvious")
	* Examples:
	* Everything Haskell's typeclassopedia (except maybe `Foldable`)
	* Categories / Monoids
	* `(.)` / `id`

	{-# LAnguage FlexibleInstances #-}
	{-# LANGuage FunctionalDependencies #-}
	{-# LANGUAge GADTs #-}
	{-# LANGUAGE UndecidableInstances #-}
	module Trolling where

	---------------------------------------------------------------------
	-- VARIADIC COMPOSITION IN HASKELL (A LA RAMDA.JS).
	--
	-- In Haskell, we typeically think of the composition operator (or

	module Payments where

	data Customer = Customer { name :: String, age :: Int } deriving (Eq, Ord, Show)

	-- I know partial record fields is an anti-pattern, but who's counting?
	data Payment
	= Cash { customer :: Customer, amount :: Double }
	\| Credit { customer :: Customer, amount :: Double, cardNumber :: Int }
	\| Check { customer :: Customer, amount :: Double, routingNumber :: Int, accountNumber :: Int }
	deriving (Eq, Ord, Show)

	#!/usr/bin/env stack
	{- stack
	--resolver lts-6.27
	--install-ghc
	runghc
	--package containers
	-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE DataKinds #-}

	set-option -g default-terminal "xterm-256color"
	set-window-option -g xterm-keys on

	run-shell "tmux setenv -g TMUX_VERSION $(tmux -V \| cut -c 6-)"

	setw -g mode-keys vi

	unbind C-b

	# remap prefix to Control + Space

	http://courses.cms.caltech.edu/cs179/
	http://www.amd.com/Documents/GCN_Architecture_whitepaper.pdf
	https://community.arm.com/graphics/b/blog
	http://cdn.imgtec.com/sdk-documentation/PowerVR+Hardware.Architecture+Overview+for+Developers.pdf
	http://cdn.imgtec.com/sdk-documentation/PowerVR+Series5.Architecture+Guide+for+Developers.pdf
	https://www.imgtec.com/blog/a-look-at-the-powervr-graphics-architecture-tile-based-rendering/
	https://www.imgtec.com/blog/the-dr-in-tbdr-deferred-rendering-in-rogue/
	http://developer.amd.com/tools-and-sdks/opencl-zone/amd-accelerated-parallel-processing-app-sdk/opencl-optimization-guide/#50401334_pgfId-412605
	https://fgiesen.wordpress.com/2011/07/09/a-trip-through-the-graphics-pipeline-2011-index/
	https://community.arm.com/graphics/b/documents/posts/moving-mobile-graphics#siggraph2015