News for hackers. Stuff that matters.
Re:Shen – A Sufficiently Advanced Lisp [video] by doall on Wednesday September 24, 2014 @06:18PM (#8364495)
Shen's powerful T* type system using sequent calculus which is turing complete is revolutionary.

Also, Shen's approach doesn't have a huge performance hit. See benchmarks for Qi implemented in SBCL. http://www.lambdassociates.org/studies/study10.htm

There are no comments on this comment yet.