Recursion - doiwritemyself?

Last modified by Qfwfq on 2019/07/25 22:24

https://repl.it/@notkrd/do-i-write-myself

Unfortunately I am afraid, as always, of going on. For to go on means going from here, means finding me, losing me, vanishing and beginning again, a stranger first, then little by little the same as always, in another place, where I shall say I have always been, of which I shall know nothing, being incapable of seeing, moving, thinking, speaking, but of which little by little, in spite of these handicaps, I shall begin to know something, just enough for it to turn out to be the same place as always, the same which seems made for me and does not want me, which I seem to want and do not want, take your choice, which spews me out or swallows me up, I’ll never know, which is perhaps merely the inside of my distant skull where once I wandered, now am fixed, lost for tininess, or straining against the walls, with my head, my hands, my feet, my back, and ever murmuring my old stories, my old story, as if it were the first time.
 (Samuel Beckett, The Unnameable)

Language Game: doiwritemyself?

Follow the link, and click Run. A program outputs the source code of all those programs whose output does not include their own source code. Does it output its own source code? This is an adaptation of Russell's paradox in set theory. This github repository also includes "Quine"s - code that evaluates to itself (it does write itself, without such infinite, interminable, anxieties!): https://github.com/notkrd/doiwritemyself. The code templates for these are adapted from the Rosettacode website.

Screenshot of a browser-based clojure REPL executing doiwritemyself?

Theory: Recursion

Recursion is the formal theory of self-reference: the way a process does something, then invokes itself again. In the formal language of lambda calculus, an operator known as the y combinator, now chartered as a distributor of investment capital, is a sequence of steps that transform a function that seems only to operate on others into one that considers itself.

Tags:
Created by Ivak Iroovvud on 2019/01/27 01:59
    

Tips

Jump to any page in the wiki with Ctrl+G or Meta+G.
See more shortcuts.

My Recent Modifications

Need help?

If you need help with XWiki you can contact:

Titled, "Untitled" - Kavi Duvvoori - The Committee Made in Charge of Such Matters - Please Reuse or Distribute Further Only With a Measure of Generosity, Care, and Sense