other-languages

here be heresies and things we have to use for work
val_waeselynck 2019-10-12T12:09:00.000200Z

http://paulgraham.com/bel.html

val_waeselynck 2019-10-12T12:09:46.001100Z

New Lisp by Paul Graham. Seems to go back to Lisp roots, in particular the tradition of defining the language in terms of itself without implementing it.

1
borkdude 2019-10-12T20:10:48.001400Z

What I'm missing here is a rationale for this new Lisp: what problems does it solve, what is it good at?

➕ 1
solf 2019-10-14T10:33:54.003500Z

It seems to be more of an experiment than an actual language. There's no implementation nor a concrete plan to make one. The rationale is: programming languages are developed mostly through their implementation, what kind of Lisp do we get when we skip the implementation part and all the constraints that come with it?

✔️ 1
solf 2019-10-14T10:36:24.003700Z

Why do this? Why prolong the formal phase? One answer is that it's
an interesting exercise in itself to see where the axiomatic approach
leads. If computers were as powerful as we wanted, what would
languages look like?