Difference between revisions of "User:EndreyMark"
EndreyMark (talk | contribs) (Creating a separate page for Dependent types, for being able to move Haskell Furure's dependent type details there) |
EndreyMark (talk | contribs) m (Updating link to Dependent type folowing its redirection) |
||
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
See also my [http://haskell.org/hawiki/EndreyMark HaWiki page]. |
See also my [http://haskell.org/hawiki/EndreyMark HaWiki page]. |
||
− | I thought of creating a [[ |
+ | I thought of creating a [[Combinatory logic]] page. |
− | [[DependentTypes]] |
||
+ | [[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 |
||
+ | |||
+ | ---- |
||
+ | = 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 [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] (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 |
Latest revision as of 20:05, 25 March 2006
See also my HaWiki page.
I thought of creating a Combinatory logic page.
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
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
- Books and tutorials
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