Manageability: A prefect example of how this may be done is the E Language.  It builds itself from a small foundation, a microkernel so to speak, they call it Kernel-E. All constructs of the E Language are based on macro expansion of Kernel-E. Its easier to verify the semantics of the smaller language, at the same … Continue reading Minimalist Languages are Not Stupid