Re: Theme One Program • Discussion

Hi Enrico,

Thanks for your comment.  I've been trying to get a sense of how much
background on Peirce's logic people would need or want for this project
and so that gives me a little information about that, at least from one
point of view.  Questions of relevance are always in order so I'll try
to make that clearer as we go.

Regards,

Jon

On 4/17/2023 11:26 AM, Franconi Enrico wrote:
> Jon,
> I’d appreciate if you could stop sending irrelevant emails to focussed mailing lists.
> I believe that the RDF Surfaces mailing lists are irrelevant for whatever you want to say.
> cheers
> —e.
> 
>> On 17 Apr 2023, at 17:20, Jon Awbrey <jawbrey@att.net> wrote:
>>
>> 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 )
>>

Received on Wednesday, 19 April 2023 14:28:49 UTC