User talk:EndreyMark

Hey, is there a way these pages (on combinatory logic, dependent types, and so on) can be categorised? and then be found easily from the front page?

They're not quite 'Idioms', but perhaps we need a new category for 'Theory' or 'Articles'

-- DonStewart

---

Contents 1 Categorising and linking pages Combinatory logic and Dependent types 1.1 Categorising 1.1.1 New category or having already? 1.1.2 Articles or Foundations? 1.2 Linking 1.3 Meta

1 Categorising and linking pages Combinatory logic and Dependent types

Dear Don Stewart,

Thank You very much for Your kind letter.

1.1 Categorising

1.1.1 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 name, 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.

1.1.2 Articles or Foundations?

The category name Articles seems to me too structural (instead of functional):

• name Foundations describes a role, a funtion
• name Articles refers to a structure, a format.

To decide between them, let us examine the two (dual) 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.

1.2 Linking

I was thinking how to link the articles from the main page. My conjecture is that every top-level category name appears automatically on the front page. In this case, maybe it is enough to link in the most straighforward way -- linking foundation theoretical articles 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
  • ...

1.3 Meta

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 18:30, 2 March 2006 (UTC)

---

---

Recent content is available under a simple permissive license.