A Platform for Full-Stack Functional Programming
Cecil Accetti, Peilin Liu, Rendong Ying · 2020
Traditional CPU design shows signs of fatigue, expressed as overwhelming security vulnerabilities. As we investigate functional programming as an alternative to the insecure, traditional imperative programming model, the inexistence of a stable functional programming system infrastructure and code base acts as the classic chicken-and-egg problem. There is no functional programming basic software because there are no functional programming machines, and vice-versa. In this paper we attempt to break this cycle by designing a baseline platform that enables the research on the practical security properties of architectures under a discipline of full-stack functional programming.