Personal tools

User:EndreyMark

From HaskellWiki

Jump to: navigation, search

See also my HaWiki page.

I thought of creating a Combinatory logic page.

Dependent type


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

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, 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):

  • 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.

1.2 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:

1.2.1 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
    • ...

1.2.2 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
    • ...

1.2.3 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

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