Forwarded from (φ (μ (λ)))
Forwarded from (φ (μ (λ)))
How do you define success in terms of your work?
Chuck: An elegant solution.
One doesn’t write programs in Forth. Forth is the program. One adds words to construct a vocabulary that addresses the problem. It is obvious when the right words have been defined, for then you can interactively solve whatever aspect of the problem is relevant.
For example, I might define words that describe a circuit. I’ll want to add that circuit to a chip, display the layout, verify the design rules, run a simulation. The words that do these things form the application. If they are well chosen and provide a compact, efficient toolset, then I’ve been successful.
https://www.oreilly.com/library/view/masterminds-of-programming/9780596801670/ch04.html
Chuck: An elegant solution.
One doesn’t write programs in Forth. Forth is the program. One adds words to construct a vocabulary that addresses the problem. It is obvious when the right words have been defined, for then you can interactively solve whatever aspect of the problem is relevant.
For example, I might define words that describe a circuit. I’ll want to add that circuit to a chip, display the layout, verify the design rules, run a simulation. The words that do these things form the application. If they are well chosen and provide a compact, efficient toolset, then I’ve been successful.
https://www.oreilly.com/library/view/masterminds-of-programming/9780596801670/ch04.html
Deputy Sheriff The Viking Programmer pinned «https://ratfactor.com/forth/the_programming_language_that_writes_itself.html»
"...Space probes written in Lisp and Forth have been debugged while off world... If they had proven their programs correct by construction, shipped them into space, and then found out their spec was wrong, they would have just had some dead junk on Mars. But what these guys had was the ability to fix things while they are running on space probes... In addition, the spec is always wrong!"
Jack Rusher, Stop Writing Dead Programs (talk given at Strange Loop 2022)
❤2