{"action":"created","issue":{"url":"https://api.github.com/repos/quicklisp/quicklisp-projects/issues/1117","repository_url":"https://api.github.com/repos/quicklisp/quicklisp-projects","labels_url":"https://api.github.com/repos/quicklisp/quicklisp-projects/issues/1117/labels{/name}","comments_url":"https://api.github.com/repos/quicklisp/quicklisp-projects/issues/1117/comments","events_url":"https://api.github.com/repos/quicklisp/quicklisp-projects/issues/1117/events","html_url":"https://github.com/quicklisp/quicklisp-projects/issues/1117","id":145337531,"number":1117,"title":"Please Add TM - A Formalized Iteration Library","user":{"login":"Antigonus","id":3196097,"avatar_url":"https://avatars.githubusercontent.com/u/3196097?v=3","gravatar_id":"","url":"https://api.github.com/users/Antigonus","html_url":"https://github.com/Antigonus","followers_url":"https://api.github.com/users/Antigonus/followers","following_url":"https://api.github.com/users/Antigonus/following{/other_user}","gists_url":"https://api.github.com/users/Antigonus/gists{/gist_id}","starred_url":"https://api.github.com/users/Antigonus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Antigonus/subscriptions","organizations_url":"https://api.github.com/users/Antigonus/orgs","repos_url":"https://api.github.com/users/Antigonus/repos","events_url":"https://api.github.com/users/Antigonus/events{/privacy}","received_events_url":"https://api.github.com/users/Antigonus/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-04-02T05:15:39Z","updated_at":"2016-04-02T16:14:06Z","closed_at":null,"body":"\r\nTM - A Formalized Iteration Library\r\n\r\nTM stands for \"tape machine\".\r\n\r\nhttps://github.com/Antigonus/tm/releases/tag/v0.1-alpha\r\n\r\nThe manual is at docs/html/index.html\r\n\r\nLoad \"load.lisp\"  to load the library.\r\n\r\nEvaluate (test-all)  to run regression.  Everything is passing on our side.\r\n\r\nthank you!\r\n"},"comment":{"url":"https://api.github.com/repos/quicklisp/quicklisp-projects/issues/comments/204748397","html_url":"https://github.com/quicklisp/quicklisp-projects/issues/1117#issuecomment-204748397","issue_url":"https://api.github.com/repos/quicklisp/quicklisp-projects/issues/1117","id":204748397,"user":{"login":"Antigonus","id":3196097,"avatar_url":"https://avatars.githubusercontent.com/u/3196097?v=3","gravatar_id":"","url":"https://api.github.com/users/Antigonus","html_url":"https://github.com/Antigonus","followers_url":"https://api.github.com/users/Antigonus/followers","following_url":"https://api.github.com/users/Antigonus/following{/other_user}","gists_url":"https://api.github.com/users/Antigonus/gists{/gist_id}","starred_url":"https://api.github.com/users/Antigonus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Antigonus/subscriptions","organizations_url":"https://api.github.com/users/Antigonus/orgs","repos_url":"https://api.github.com/users/Antigonus/repos","events_url":"https://api.github.com/users/Antigonus/events{/privacy}","received_events_url":"https://api.github.com/users/Antigonus/received_events","type":"User","site_admin":false},"created_at":"2016-04-02T16:14:06Z","updated_at":"2016-04-02T16:14:06Z","body":"Hello,\n\n> tape machine != turing machine?\n\nCorrect, they are different objects.\n\nThe manifest tape machine is a class with two slots and a generic function\ninterface via CLOS.  The Turing Machine is a mathematical abstraction\ndefined by a set of five elements.   So these two objects are different.\n\nHowever,  for many programs that employ the tape machine, it will be\npossible to derive a Turing machine with equivalent functionality -- and\nthat is where the fun begins.\n\nThe key is that the tape machine function interface functions accepts as\narguments continuation functions, and that is what gives us our morphism to\nthe open ended \"tape\"  of the Turing Machine.\n\nThis question is discussed in docs/html/index.html introduction, but I\nthink the description in this email turned out better ;-)\n\n-Thomas\n\nOn Sat, Apr 2, 2016 at 3:37 PM, Masataro Asai <notifications@github.com>\nwrote:\n\n> tape machine != turing machine?\n>\n> —\n> You are receiving this because you authored the thread.\n> Reply to this email directly or view it on GitHub\n> <https://github.com/quicklisp/quicklisp-projects/issues/1117#issuecomment-204739527>\n>\n"}}