blankhart

Delimited Continuations

Delimited continuations manipulate the control flow of programs. Similar to control structures like conditionals or loops they allow to deviate from a sequential flow of control.

We use exception handling as another example for control flow manipulation and later show how to implement it using delimited continuations. Finally, we show that nondeterminism can also be expressed using delimited continuations.

Exception Handling

This configuration is not maintained anymore. You should think twice before using it, Breaking change and security issue will likely eventually happens as any abandonned project.

Reader Macros in Common Lisp

This post also appears on lisper.in.

Reader macros are perhaps not as famous as ordinary macros. While macros are a great way to create your own DSL, reader macros provide even greater flexibility by allowing you to create entirely new syntax on top of Lisp.

Paul Graham explains them very well in [On Lisp][] (Chapter 17, Read-Macros):

The three big moments in a Lisp expression's life are read-time, compile-time, and runtime. Functions are in control at runtime. Macros give us a chance to perform transformations on programs at compile-time. ...read-macros... do their work at read-time.

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology

Achieving warp speed with Rust

Program Analysis Resources

(draft; work in progress)

	#!/usr/bin/env python

	import sys
	import types
	import operator

	class Runtime:
	def __init__(self, env={}, stack=[]):
	self.env = {
	# Primitive words, not an impressive base but it works

	<template>
	<transition
	name="fade"
	mode="out-in"
	v-on:before-enter="beforeEnter"
	v-on:enter="enter"
	v-on:before-leave="beforeLeave"
	v-on:leave="leave"
	>
	<slot></slot>

	module Main

	import Data.Vect

	-- %hide transpose

	dot : Num a => Vect n a -> Vect n a -> a
	dot va vb = foldr (+) 0 $ zipWith (*) va vb

	Matrix : (rows : Nat) -> (cols : Nat) -> Type -> Type

	{-# LANGUAGE ConstraintKinds, DataKinds, DeriveGeneric, DerivingVia #-}
	{-# LANGUAGE ExplicitNamespaces, FlexibleContexts, FlexibleInstances #-}
	{-# LANGUAGE GADTs, GeneralizedNewtypeDeriving, MultiParamTypeClasses #-}
	{-# LANGUAGE PolyKinds, ScopedTypeVariables, StandaloneDeriving #-}
	{-# LANGUAGE TypeApplications, TypeFamilies, TypeInType, TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# OPTIONS_GHC -Wall #-}
	module Data.Aeson.Generic.DerivingVia
	( StrFun(..), Setting(..), SumEncoding'(..), DefaultOptions, WithOptions(..)
	, -- Utility type synonyms to save ticks (') before promoted data constructors