I'm Bo Yao, currently live in Covington, WA, United States. Interested in open source Lisp developer tools, libraries development and contribution. And recently My wife and I'm work on generic function based, statically typed with heavy type inference, lisp-like language which aim to be faster than Rust and as flexible as Common Lisp.

In our opinion, the most important honor of Lisp is not functional programming, macro, CLOS, or minimalist (Scheme), instead it's the philosophy of put as little as possible constraints to programmers, and to make difficult problem medium complexity. This is actually contradictory to the design of HM family functional programming languages and some modern system programming languages such as Haskell and Rust, which makes easy problem more difficult and difficult problem impossible. Flexibility and freedom doesn't mean low performance, instead, it can be fastest by allow you to manipulate abstraction directly over Assembly, GPU and even as a better abstraction language to code FPGA than VHDL or SystemVerilog.
With the combination of power of Lisp, and the best static analysis techniques applied to modern languages, it's possible to create a both developer-friendly, powerful and efficient language and that's our goal.