Difference between revisions of "User:EndreyMark"

From HaskellWiki
Jump to: navigation, search
(Reply to Don Stewart's letter on categorising and linking pages ,,Combinatory logic'' and ,,Dependent types'')
m (Refining)
Line 24: Line 24:
 
=== New category or having already? ===
 
=== New category or having already? ===
   
I read all categories and categorised articles to decide where ''Combinatory logic'' and ''Dependent types'' should fit.
+
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''.
 
I think You are right, and ''Theory'' would be a good new category, or ''Foundations''.
 
It could contain articles like e.g.
 
It could contain articles like e.g.
Line 37: Line 37:
 
* Linguistics
 
* Linguistics
 
** Applicative universal grammars
 
** Applicative universal grammars
etc.
 
  +
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''? ===
 
=== ''Articles'' or ''Foundations''? ===
Line 58: Line 58:
   
 
do You recommend other linking paths from the front page?
 
do You recommend other linking paths from the front page?
I write some possible linking path maps below, showing the changes with typesetting boldface and with prefixing exclamation mark:
+
I show some possible linking path maps below, showing the changes with typesetting boldface and with prefixing exclamation mark:
   
 
=== Now ===
 
=== Now ===
Line 178: Line 178:
 
*** ! '''Dependent types'''
 
*** ! '''Dependent types'''
 
** ! '''Category theory'''
 
** ! '''Category theory'''
*** ! Categorical programming
+
*** ! '''Categorical programming'''
 
** ! '''Formal languages'''
 
** ! '''Formal languages'''
 
*** ! '''Attribute grammars'''
 
*** ! '''Attribute grammars'''
Line 186: Line 186:
 
== Meta ==
 
== 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.
 
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]. A dream of mine was writing a metacircular interpreter in combinatory logic.
+
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

Revision as of 17:56, 2 March 2006

See also my HaWiki page.

I thought of creating a Combinatory logic page.

Dependent types


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


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