[CG] Theme One Program • Discussion

Cf: Theme One Program • Discussion 10 https://inquiryintoinquiry.com/2023/04/17/theme-one-program-discussion-10/ Re: Mathstodon • Seamus Bradley ::: https://mathstodon.xyz/@Scmbradley/110198310724722597 <QUOTE SB:> I thought of a programming language where every function can only return one type: the return type. The return type is just a wrapper around a struct that contains the actual return value, but also a reference to the called function and arguments, and possibly an error code. </QUOTE> My flashback — Way back in the last millennium I started work on a programming style I called an “idea processor”, where an “idea” is a pointer to a “form” and a form is a minimal type of record containing 1 character, 1 number, and 4 more ideas. I implemented a functional style where all the main functions are transformations of one or more ideas to a return idea. The principal data type is an “idea-form flag” which serves a role analogous to a “cons cell” in Lisp. Here's one entry point — Theme One Program • Exposition 1 • https://inquiryintoinquiry.com/2022/06/15/theme-one-program-exposition-1-2/ Regards, Jon ( https://mathstodon.xyz/@Inquiry )