#parenscript — Public Fediverse posts

[Red Daly's Parenscript Object System, simplified-CLOS-like.]

@abuseofnotation @screwlisp @sigue

Thank you, that is impressive.
From Stanford.
Regrettably, I don't have the time to find out the extent of simplification.

#CLOS
#CommonLisp
#JavaScript
#Parenscript

[CLOS and JavaScript]

@screwlisp @sigue

> parenscript obviously doesn't have its own CLOS implementation

And achieving that doesn't seem like a five-minute job...

I am not the judge of whether that work can be justified, no matter how attractive it is.

#CLOS
#CommonLisp
#JavaScript
#Parenscript

@trurl what do you think of replacing Microsoft Typescript with this:
1. Write a book of defuns in #ACL2 #lisp, with supporting theorems in a separate book
2. Prove theorems about functions in ACL2
3. Load the defun-only book in common lisp and #parenscript it into javascriptland
?
Full disclosure I'm a long-standing skeptic of web designers normally getting what they think they're getting out of Microsoft Typescript.