The Lys purely functional programming language. Front end Labelled Backus-Naur Form Lexical analysis → Lexer Syntactic analysis → Parser Semantic analysis ⏳ Back end Interpreted Compiled to Machine Code Compiled to Bytecode → VM LLVM Transpiled to OCaml Nice to have Syntax highlighting Formatter LSP Semantic highlighting