HaskellWiki

Haskell | Wiki community | Recent changes
Random page | Special pages

 

Not logged in
Log in | Help

User:EndreyMark

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

[edit]

1 Categorising and linking pages Combinatory logic and Dependent types

Dear Don Stewart,

Thank You very much for Your kind letter.

[edit]

1.1 Categorising

[edit]

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.

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.

[edit]

1.1.2 Articles or Foundations?

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

To decide between them, let us see the crosscutting cases:

maybe we cannot avoid all croscutting, but I think Foundations provides a better modularity.

[edit]

1.2 Linking

How to link these articles from the front page: First I thought, I put a link to them from

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:

[edit]

1.2.1 Now

[edit]

1.2.2 Linking only in the most straighforward way

Linking to Learning Haskell / Books and tutorials / Foundations

[edit]

1.2.3 Linking in a more restructuration-implying way

[edit]

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

Retrieved from "http://www.haskell.org/haskellwiki/User:EndreyMark"

This page has been accessed 1,761 times. This page was last modified 20:05, 25 March 2006. Recent content is available under a simple permissive license.