Talk:Recursive function theory

From HaskellWiki
Revision as of 19:58, 7 May 2006 by EndreyMark (talk | contribs) (typographic correction)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Wouldn't it be great if along with providing the bibliography, relevant definitions were always explained (or quoted)? This would make a self-contained encyclopaedia for Functional Programming, then.

Just a thought. --Pirated Dreams 11:00, 6 May 2006 (UTC)


Dear Pirated Dreams,

Thank You very much for Your feedback and thoughts.

I do not dare to quote significant amount of materials from a (non-free) published book, so I wrote only just my questions (while learning mathematical logics). I do not know enough yet from recursive function theory to write a really good article. I shall try to write better and more detailed explanations.

Now I rewrote and extended a section and renamed its headline as Motivations, discussing the relatedness of this page to functional programming. I thougt only on a toy programming language, not related directly to functional programming (but maybe useful for learning some mathematical logic concepts in a playful way).

Best wishes,

EndreyMark 16:10, 6 May 2006 (UTC)