Why don't we just program in raw lambda calculus. It's the simplest Turing complete system with maximum flexibility and the most optimum portability and abstractness at the cost of being O log n for every operation.
Why don't we just program in raw lambda calculus...
Ian Jenkins
Xavier Brown
because of tranny mathlet brainlets ruining programming
Christopher Taylor
By the time you abstracted it enough for productive things, wouldn’t everyone basically be already using a separate language again
Lincoln Johnson
Only where the outside of the machine interacts the inside of the machine.
Adam Hill
You should program in Calculus of Construction.
Colton Anderson
Isn't that what lisp and it's various derivatives are bro? In which case, a select few are doing so...
Kevin Parker
DSL's for specific tasks are useful
Cameron Davis
You almost had me OP
>at the cost of being O log n for every operation.
Nathaniel Brown
this
Brandon Young
Turing tarpit is a thing, you know?