swlaschin

Things that programmers don't know but should

(A book that I might eventually write!)

Gary Bernhardt

I imagine each of these chapters being about 2,000 words, making the whole book about the size of a small novel. For comparison, articles in large papers like the New York Times average about 1,200 words. Each topic gets whatever level of detail I can fit into that space. For simple topics, that's a lot of space: I can probably walk through a very basic, but working, implementation of the IP protocol.

	module FizzBuzzC

	%default total

	-- Dependently typed FizzBuzz, constructively

	-- A number is fizzy if it is evenly divisible by 3
	data Fizzy : Nat -> Type where
	ZeroFizzy : Fizzy 0
	Fizz : Fizzy n -> Fizzy (3 + n)

	let countOfDisks = 10

	let initialState = [for x in 1..countOfDisks do yield x], List.empty, List.empty

	let bottDiskSize = 4.
	let cylHeight = 4.0
	let diskSize size = size * bottDiskSize / float(countOfDisks)
	let diskHeight = cylHeight / float(countOfDisks)
	let diskPosition pos = pos * diskHeight
	let cyl =