Well, I'm going to be starting on a project involving Arduino and pretty LEDs soon. Being able to do do stuff like when version == A const numLeds = 10

Well, I'm going to be starting on a project involving Arduino and pretty LEDs soon. Being able to do do stuff like when version == A const numLeds = 10 type LedArray = array[LedState, numLeds] And then have the number of Leds and the size of the array being passed around typechecked and having all of this done at compile time seems really interesting and useful. And it seems easy to just allocate everything statically or on the stack and then turn off the garbage collector.