6 * Other FHDLs (short, Christiaan has details)
7 * Advantages of clash / why clash?
10 * Simple function -> component interpretation (Model: Structure)
13 * Explicit vs implicit passing of state (e.g, delay)
14 * Explicit vs implicit marking
15 * Interpret: Polymorphism
16 * Interpret: Higher order
19 Impossible things: Infinite recursion, higher order expressions,
24 VHDL / Verilog / EDIF etc. Why VHDL?
25 * Stages (-> Core, Normalization, -> VHDL)
26 . Core - description of the language (appendix?)
27 Implementation issues -- Which?
30 Haskell language coverage / constraints
33 Custom types (Sum types, product types)
34 Function types / higher order expressions
35 State type -> Anything representable
40 . Properties / Proofs (termination, soundness, completeness, determinism)
41 Casts / Strictness / Casebinders not fully supported
44 . Boilerplate reduction (State distribution & pipelining)
46 * Multiple time domains (Events) -- Also, clock line optimization /
48 * Multiple cycle descriptions
52 TODO: Define user / developer