Can embedded code be expressive, type-safe, modular, and testable?
| program size (bytes) | dynamic memory (bytes)
+----------------------+-----------------------
book solution | 1160 | 9
this solution | 1138 | 9
| program size (bytes) | dynamic memory (bytes)
+----------------------+-----------------------
book solution | 4098 | 238
this solution | 4026 | 236
| program size (bytes) | dynamic memory (bytes)
+----------------------+-----------------------
book solution | 2892 | 274
this solution | 2820 | 262
| program size (bytes) | dynamic memory (bytes)
+----------------------+-----------------------
book solution | 3394 | 251
this solution | 2984 | 240