Sean Lee sleexyz

Thoughts on an InlineDoBind extension

An expression beginning with a left arrow (<-) inside a do block statement is desugared to a monadic binding. This is syntactically a superset of existing Haskell, including extensions. It admits a clean notation that subsumes existing patterns and comes with few downsides.

Examples

do
  f (<- x) (<- y)
-- ===

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an actual type.

A type constructor can be thought of in these analogies:

like a function in the type universe
as a type with a "hole" in it

Currently considering https://github.com/webdriverio/webdrivercss

Core Goals:

Can test in up-to-date versions of all major browsers
Can test on up-to-date versions of all major OSes
Can test in IE9 (because Bootstrap v4 will support IE9+)
Don't want to have to setup/maintain our own cluster of VMs running all the necessary OSes (and all the versions of Windows)
Workflow for management of reference/baseline/norm screenshots

This blog post series has moved here.

You might also be interested in the 2016 version.

	/*
	* `match` is a helper function for writing pattern matches on types that are
	* implemented using Scott encoding.
	*
	* @flow
	*/

	export function match<A,B>(matcher: A): (match: (matcher: A) => B) => B {
	return match => match(matcher)
	}

	(defvar coq-pre-extensions
	'(
	proof-general
	))

	(defun coq/init-proof-general ()
	"Initialize Proof General"
	(use-package proof-site
	:defer t
	:mode ("\\.v\\'" . coq-mode)

	[ 165.023]
	X.Org X Server 1.16.4
	Release Date: 2014-12-20
	[ 165.023] X Protocol Version 11, Revision 0
	[ 165.023] Build Operating System: Linux 3.12.27 x86_64
	[ 165.023] Current Operating System: Linux nixoslappy 3.14.34 #1-NixOS SMP Thu Jan 1 00:00:01 UTC 1970 x86_64
	[ 165.023] Kernel command line: initrd=\efi\nixos\pnhjgx3v9pkxyhqhjcxh62l2axwnwd3g-initrd-initrd.efi systemConfig=/nix/store/siybfc2y9prrwk6bab8bz8yh0460axwb-nixos-14.12.496.5f7d374 init=/nix/store/siybfc2y9prrwk6bab8bz8yh0460axwb-nixos-14.12.496.5f7d374/init loglevel=4
	[ 165.023] Build Date: 01 March 2015 04:27:12AM
	[ 165.023]
	[ 165.023] Current version of pixman: 0.32.6

	{ mkDerivation, base, binary, bytestring, containers, deepseq
	, hashable, mtl, network, split, stdenv, stm
	}:
	mkDerivation {
	pname = "vivid";
	version = "0.1.0.3";
	sha256 = "034kjk2lxfbb4hd8z1axccz9alfkm76mpgw39nisvxngjs6si158";
	editedCabalFile = "de2442ab5d53f8044c99cd0489281bf902ef6615028be780e0df937ae60266da";
	revision = "0";
	buildDepends = [

	{
	packageOverrides = pkgs : rec {

	haskellngPackages = pkgs.haskellngPackages.override {
	overrides = self: super: rec {
	vividNew = self.callPackage ./haskell/vivid-0.1.0.3.nix {};
	};
	};

	ihaskell-with-packages = pkgs.callPackage ./haskell/ng-wrapper.nix {