Editing User:EndreyMark (section)

= Categorising and linking pages ''Combinatory logic'' and ''Dependent types'' =

Dear Don Stewart,

Thank You very much for Your kind letter.

== Categorising ==
 
=== New category or having already? ===

I looked at all category names to decide where ''Combinatory logic'' and ''Dependent types'' should fit.
I think You are right, and ''Theory'' would be a good new category, or ''Foundations''.
It could contain articles like e.g.
* Lambda calculus
* Combinatory logic
* Type theory
** Dependent types
* Category theory
** Categorical programming
* Formal languages
** Attribute grammars
* Linguistics
** Applicative universal grammars
etc. Maybe it would become a natural category for projects like Quantum Computing -- I saw there are a lot of QC materials concerning Haskell -- and quines (see bottom of this letter) too.

=== ''Articles'' or ''Foundations''? ===

The category name ''Articles'' seems to me too structural (instead of functional):
* ''Foundations'' describes a ''role'', a ''funtion'' 
* ''Articles'' refers to a structure, a format.
To decide between them, let us see the crosscutting cases:
* a page on foundations, but not in an article format, e.g. a categorical programming language interpreter
* an article on practical things, e.g. on conventions
maybe we cannot avoid all croscutting, but I think ''Foundations'' provides a better modularity.

== Linking ==

How to link these articles from the front page:
First I thought, I put a link to them from
* Learning Haskell
** Books and tutorials
*** Foundations

do You recommend other linking paths from the front page?
I show some possible linking path maps below, showing the changes with typesetting boldface and with prefixing exclamation mark:

=== Now ===
* About Haskell
** Introduction
** Language and library specification
** Haskell in practice
** Haskell in education
** History
** Future
*** Extensions of Haskell
*** Variations in Haskell
**** ! '''Dependent types'''
* Learning Haskell
** Learning Haskell
** Books and tutorials
* Using Haskell
** Implementations
** Libraries and tools
** Hoogle - a search engine for library functions
** Old HaWiki: Questions & Answers (content to be integrated here) 
* The Community
** Mailing lists
** Communities and their projects (latest report: November 2005)
** Haskell Weekly News
** IRC channel
** Links
** Jobs
** Consultants
** Humor
** Merchandise 
* News
** ...

=== Linking only in the most straighforward way ===
Linking to ''Learning Haskell'' / ''Books and tutorials'' / ''Foundations''
* About Haskell
** Introduction
** Language and library specification
** Haskell in practice
** Haskell in education
** History
** Future
*** Extensions of Haskell
*** Variations in Haskell
**** ! '''Dependent types'''
* Learning Haskell
** Learning Haskell
** Books and tutorials
*** Language Definition
*** Textbooks
*** Papers available on the Web
*** Foundations
**** Paul Taylor: Practical Foundations of Mathematics
**** Michael Barr and Charles Wells: Toposes, Triples and Theories
**** ! '''Combinatory logic'''
**** ! '''Dependent types'''
* Using Haskell
** Implementations
** Libraries and tools
** Hoogle - a search engine for library functions
** Old HaWiki: Questions & Answers (content to be integrated here) 
* The Community
** Mailing lists
** Communities and their projects (latest report: November 2005)
** Haskell Weekly News
** IRC channel
** Links
** Jobs
** Consultants
** Humor
** Merchandise 
* News
** ...

=== Linking in a more restructuration-implying way ===
* About Haskell
** Introduction
** Language and library specification
** Haskell in practice
** Haskell in education
** History
** Future
*** Extensions of Haskell
*** Variations in Haskell
**** ! '''Dependent types'''
* Learning Haskell
** Learning Haskell
** Books and tutorials
*** Language Definition
*** Textbooks
*** Papers available on the Web
*** Foundations
**** Paul Taylor: Practical Foundations of Mathematics
**** Michael Barr and Charles Wells: Toposes, Triples and Theories
**** ! '''Combinatory logic'''
**** ! '''Dependent types'''
* Using Haskell
** Implementations
** Libraries and tools
** Hoogle - a search engine for library functions
** Old HaWiki: Questions & Answers (content to be integrated here) 
* The Community
** Mailing lists
** Communities and their projects (latest report: November 2005)
** Haskell Weekly News
** IRC channel
** Links
** Jobs
** Consultants
** Humor
** Merchandise 
* News
** ...
* ! '''Foundations'''
** ! '''Lambda calculus'''
** ! '''Combinatory logic'''
** ! '''Type theory'''
*** ! '''Dependent types'''
** ! '''Category theory'''
*** ! '''Categorical programming'''
** ! '''Formal languages'''
*** ! '''Attribute grammars'''
** ! '''Linguistics'''
*** ! '''Applicative universal grammars'''

== Meta ==
Thank You for Your letter. I saw [http://www.cse.unsw.edu.au/~dons/ Your home page], and wish much success to Your projects.
I think You would like [http://www.madore.org/~david/computers/quine.html quines] (and [http://www.ipl.t.u-tokyo.ac.jp/~scm/ Shin-Cheng Mu]'s [http://www.ipl.t.u-tokyo.ac.jp/~scm/quine.hs Haskell quine] too)A dream of mine was writing a metacircular interpreter in combinatory logic.

Best wishes

-- EndreyMark