prog

Is it time for a new generation of Lisps?

8 2021-12-19 03:07

I strongly believe the next generation of languages will see a revival of Prolog and the adoption of dependent types.

Not coincidentally Shen is a Lisp that uses Prolog for its typing engine.