News for hackers. Stuff that matters.

A comment on No Compiler – On LLVM, and writing software without a compiler. Parent comment

Re:No Compiler – On LLVM, and writing software without a com... by smaddox on Thursday March 03, 2016 @10:00PM (#11221790)
Essentially it's an implementation of the concept that metaprogramming should use the same semantics and syntax as normal programming. This is the case in Lisp, for example, but Lisp is not (or not typically) compiled, so Lisp metaprogramming is essentially limited to defining syntactic sugar. In Terra, metaprogramming (or multi-stage programming, as they call it), can actually result in improved performance compared to a typical C-like implementation of the same algorithm.

The website has a couple papers that provide benchmarks for some interesting test cases.

[ Parent | on HN ]
Re:No Compiler – On LLVM, and writing software without a com... by zeveb on Friday March 04, 2016 @06:22PM (#11227523)
> This is the case in Lisp, for example, but Lisp is not (or not typically) compiled …

Say what? Lisp is often compiled; the standard extensively discusses compilation[1] and — to address your point re. performance-improving metaprogramming — compiler macros[2] specifically exist in order to advise the compiler, e.g. for performance.

So, no, Lisp macros are not limited to defining syntactic sugar. It's like I keep on saying: the Common Lisp standard from 1994 contains with its covers functionality that people still don't know about.

[1] http://www.lispworks.com/documentation/HyperSpec/Body/03_b.h...

[2] http://www.lispworks.com/documentation/HyperSpec/Body/26_glo...

[ Parent | on HN ]
Re:No Compiler – On LLVM, and writing software without a com... by neukoelln on Friday March 04, 2016 @01:04AM (#11222309)
I think you are mistaken about Lisp. Most Common Lisp / Scheme implementations I know of are compiled.
[ Parent | on HN ]
Re:No Compiler – On LLVM, and writing software without a com... by nickpsecurity on Friday March 04, 2016 @04:16PM (#11226919)
Most are compiled. Many also typically have types you can add in to get performance benefits of static typing. Add in compilation of individual functions and live update of running app to top off key benefits of LISP interpreters/compilers.
[ Parent | on HN ]