Hacker News Reader

The article quotes McCarthy musing about a possible successor language to lisp:

"[the language] will be more like a declarative description of the facts about a goal and the means available for attaining it than a program per se."

It sounds like he's talking about Prolog.

View on HN

Also sounds a little like O-Meta (at least from what I understand of it...) - which is something Alan Kay and others have been working on for a fair while now. And this seems a little more alive and modern than prolog.

This seems to take a similar approach, by simplifying (once you understand it) the programming method, and by doing so, drastically reducing the LOC needed for a functional system.

Reply on news.ycombinator.com