Difference between revisions of "Talk:Recursive function theory"

From HaskellWiki
Jump to navigation Jump to search
(Self-containedness and motivations)
m (typographic correction)
 
Line 8: Line 8:
   
 
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 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 functional theory to write a really good article. I shall try to write better and more detailed explanations.
+
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 [[Recursive function theory#Motivations|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).
 
Now I rewrote and extended a section and renamed its headline as [[Recursive function theory#Motivations|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).

Latest revision as of 19:58, 7 May 2006

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)