Working Notes: a commonplace notebook for recording & exploring ideas.
Home. Site Map. Subscribe. More at expLog.

Concatenative Pls

type:: #StrangeLoop2023

Notes

Languages that don't use names

Can have programs equivalent in meaning

Stack effects

• meaning == effects it has on the runtime stack

• factor: precondition -- postcondition annotation

c -> lambda complier

uxn virtual machine (100 rabbits)

lots of interesting papers along the way

— Kunal