Categorising and linking pages Combinatory logic and Dependent types[edit]

Dear Don Stewart,

Thank You very much for Your kind letter.

Categorising[edit]

New category or having already?[edit]

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?[edit]

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[edit]

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[edit]

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[edit]

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[edit]

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[edit]

Thank You for Your letter. I saw Your home page, and wish much success to Your projects. I think You would like quines (and Shin-Cheng Mu's Haskell quine too)A dream of mine was writing a metacircular interpreter in combinatory logic.

Best wishes

-- EndreyMark