Re: Mathstodon • Seamus Bradley
- 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.
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 —
Resources
- Theme One Program • Overview
- Theme One Program • Exposition
- Theme One Program • User Guide
- Theme One Program • Survey Page
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
cc: FB | Theme One Program • Mathstodon • Laws of Form • Ontolog Forum
cc: W3 | RDF Surfaces
Inquiry Into Inquiry 
Pingback: Survey of Theme One Program • 5 | Inquiry Into Inquiry
Pingback: Survey of Theme One Program • 6 | Inquiry Into Inquiry