Difference between revisions of "Talk:Recursive function theory"

From HaskellWiki
Jump to navigation Jump to search
m
 
m (typographic correction)
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
   
 
Just a thought. --[[User:Uchchwhash|Pirated Dreams]] 11:00, 6 May 2006 (UTC)
 
Just a thought. --[[User:Uchchwhash|Pirated Dreams]] 11:00, 6 May 2006 (UTC)
  +
----
  +
Dear [[User:Uchchwhash|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 [[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).
  +
  +
Best wishes,
  +
  +
[[User:EndreyMark|EndreyMark]] 16:10, 6 May 2006 (UTC)

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)