(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.
| 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 = |
| 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) |