Jon Schoning jonschoning

Monads and delimited control are very closely related, so it isn’t too hard to understand them in terms of one another. From a monadic point of view, the big idea is that if you have the computation m >>= f, then f is m’s continuation. It’s the function that is called with m’s result to continue execution after m returns.

If you have a long chain of binds, the continuation is just the composition of all of them. So, for example, if you have

m >>= f >>= g >>= h

then the continuation of m is f >=> g >=> h. Likewise, the continuation of m >>= f is g >=> h.

	# prefetch wstunnel's master for nix, and store the result in wstunnel.json
	nix-prefetch-git https://github.com/erebe/wstunnel > wstunnel.json

	# and build the wstunnel-tarball with nix, using the haskell.nix infra structure as above (see default.nix)
	nix build \
	-f default.nix \
	rpi64-musl.wstunnel-tarball \
	-o rpi64-musl-wstunnel-tarball
	--arg wstunnel-json ./ws-tunnel.json

	using System;

	static void Run()
	{
	Employee foo = new Employee("Aysha", "Stein", "1234");
	Person bar = (Person)foo with { FirstName = "John", LastName = "Doe"};

	Console.WriteLine($"foo: {foo}");
	Console.WriteLine($"bar: {bar}");

	# XScreenSaver Preferences File
	# Written by xscreensaver-demo 5.42 for jon on Mon May 4 21:24:53 2020.
	# https://www.jwz.org/xscreensaver/

	timeout: 1:00:00
	cycle: 1:00:00
	lock: True
	lockTimeout: 0:00:00
	passwdTimeout: 0:05:00
	visualID: default

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no" />

	<title>Random Roads</title>
	<link href="style.css" rel="stylesheet" type="text/css" />
	<script src="//cdnjs.cloudflare.com/ajax/libs/seedrandom/3.0.5/seedrandom.min.js"></script>
	</head>

	[sets]
	10E\enabled=true
	10E\isknown=true
	10E\sortkey=325
	2ED\enabled=true
	2ED\isknown=true
	2ED\sortkey=474
	2XM\enabled=false
	2XM\isknown=true
	2XM\sortkey=4

	<?xml version='1.0'?>
	<!DOCTYPE fontconfig SYSTEM 'fonts.dtd'>
	<fontconfig>
	<dir>/home/jon/.Fontmatrix/Activated</dir>
	<alias>
	<family>serif</family>
	<!-- <prefer><family>DejaVu Serif</family></prefer> -->
	<prefer><family>Bitstream Vera Serif</family></prefer>
	</alias>
	<alias>

	// Place your key bindings in this file to override the defaults
	[
	{
	"key": "ctrl+shift+e",
	"command": "workbench.action.toggleSidebarVisibility"
	}
	]

	// C19-Primal Genesis

	// 99 Maindeck
	// 5 Artifact
	1 Mimic Vat
	1 Soul Foundry
	1 Lightning Greaves
	1 Sol Ring
	1 Idol of Oblivion

	Mute these words in your settings here: https://twitter.com/settings/muted_keywords

	ActivityTweet
	generic_activity_highlights
	generic_activity_momentsbreaking
	RankedOrganicTweet
	suggest_activity
	suggest_activity_feed
	suggest_activity_highlights
	suggest_activity_tweet