User contributions
Jump to navigation
Jump to search
- 10:35, 6 March 2006 diff hist +61 Dependent type Adding a new section ,,Simulating them [dependent types in Haskell]''. Links to wikipages: how to achieve static type checks instead of runtime assertions. Link to Smart constructors wikipage
- 01:50, 6 March 2006 diff hist +208 Combinatory logic Adding links to quine pages (e.g. that of Wikipedia) and mentioning book on meta-level architectures and reflection
- 01:31, 6 March 2006 diff hist 0 m Category:Theoretical foundations Stressing, that the existence of self-replicating is not a trivial thing
- 01:26, 6 March 2006 diff hist +940 N Category:Theoretical foundations Subcategorizing the new category directly under the root category, and writing an introductory text: science vs technique
- 23:34, 5 March 2006 diff hist +38 Combinatory logic Categorizing this article under ,,Theoretical foundations''
- 23:27, 5 March 2006 diff hist +38 Dependent type Categorizing this article, creating a new category ,,Theoretical foundations''
- 09:27, 5 March 2006 diff hist +3 m Books Typographic corrections in sections ,,Separation of concerns'' and ,,Categorical programming''
- 09:18, 5 March 2006 diff hist +436 Books ,,Separation of Concerns'' section ,,Attribute grammars'' subsection provides links to these related concepts: 1) catamorphism 2) circular programming
- 17:34, 4 March 2006 diff hist +2,055 Combinatory logic The idea of building a CL metacircular interpeter: implementing CL in itself. Problems in formulating algorithm for lazy evaluation in CL
- 01:11, 4 March 2006 diff hist +410 Combinatory logic Link to G.J. Chaitins's book ,,The Unknowable'' (the limits of mathematics: Goldel's undecidable, Turing's uncompatiblity, Chaitin's randomness. On future and beuty of science
- 00:41, 4 March 2006 diff hist +8,315 Combinatory logic The concept of ,,self replicating programs'' (quines) described, then generalized to pure combinatory logic and lambda-calculus. Background references. Concept of quotation / representation
- 15:39, 3 March 2006 diff hist +1,374 Combinatory logic Adding the new section ,,Base'', containing now some thoughts on other interpretations of base combinators K and S
- 14:28, 3 March 2006 diff hist +37 m Combinatory logic Some layout improvements with more appropriate horizontal spacings
- 14:22, 3 March 2006 diff hist +539 m Combinatory logic Typesetting all combinators with boldface uniformly, so that they can be distiguished easily from variables and (other) metasigns
- 13:13, 3 March 2006 diff hist +10 m Combinatory logic better layout for opreration ,,maybe->>='' by reducing space between hyphen and greater-than-sign
- 11:03, 3 March 2006 diff hist +3,469 Combinatory logic Maybe as a monad: implementing the monadic operations of Maybe in Combinatory logic
- 21:47, 2 March 2006 diff hist 0 m Combinatory logic Word order misplacement corrected
- 21:44, 2 March 2006 diff hist +48 m Combinatory logic Stylistic clarifying: only one of the Maybe-constructors is common with an Either-constructor
- 21:17, 2 March 2006 diff hist +896 Combinatory logic Implementing Maybe in CL in continuation passing style
- 20:48, 2 March 2006 diff hist +234 Combinatory logic What reductions do we expect from a lambda-calculus-like implementation of lists?
- 18:30, 2 March 2006 diff hist +3,201 User talk:EndreyMark Answer -- Categorising and linking pages ,,Combinatory logic'' and ,,Dependent types'' current
- 17:56, 2 March 2006 diff hist +325 m User:EndreyMark Refining
- 17:23, 2 March 2006 diff hist +5,164 User:EndreyMark Reply to Don Stewart's letter on categorising and linking pages ,,Combinatory logic'' and ,,Dependent types''
- 16:58, 2 March 2006 diff hist +2 m Applications and libraries Correcting misstyped name of Applicative Universal Grammars in Section ,,Cognitive Science''/,,Natural Language Processing''
- 14:48, 2 March 2006 diff hist +22 m Applications and libraries How to convert sourse code found in ,,Mark P. Jones', Paul Hudak's and Sebastian Shaumyan's Using Types to Parse Natural Language'' from Gofer to GHC
- 14:30, 2 March 2006 diff hist +2 m User:EndreyMark Updating links to redirected pages
- 00:31, 2 March 2006 diff hist +1 m Future of Haskell Another link to redirected page updated
- 00:27, 2 March 2006 diff hist +1 m Future of Haskell Updating link to ,,Dependent types'' wiki page according to its redirection
- 00:06, 2 March 2006 diff hist -17 m Combinatory logic Using same label as target for wiki links
- 00:05, 2 March 2006 diff hist -19 m Dependent type Using same label as target for wiki links
- 23:54, 1 March 2006 diff hist +20 m Dependent type Combinatory Logic as piped link
- 23:51, 1 March 2006 diff hist +18 m Combinatory logic Dependent Types as piped link
- 20:10, 1 March 2006 diff hist +1,028 Combinatory logic Implementing direct sum in CL in a continuation passing style way
- 18:14, 1 March 2006 diff hist 0 m Combinatory logic Link from CombinatoryLogic back to DependentTypes (so the circular linking is established)
- 18:10, 1 March 2006 diff hist +316 Combinatory logic the ,,not'' operation on Booleans as example for usefulness of ordered pair (direct product) construct
- 17:50, 1 March 2006 diff hist +133 m Combinatory logic Introducing the list-as-implementation-of-monad's-interface idea in a more clear way
- 17:47, 1 March 2006 diff hist +49 m Combinatory logic Curry's deferred combinators are denoted by indexing AND parantheses
- 17:23, 1 March 2006 diff hist +1 m Combinatory logic Missing space character inserted
- 17:19, 1 March 2006 diff hist +441 Dependent type Links on Curry-Howard isomorphism added to ,,Concept'' section / ,,TypeTheory'' subsection
- 16:48, 1 March 2006 diff hist 0 m Dependent type ,,Illative'' misstype corrected
- 16:46, 1 March 2006 diff hist +271 Dependent type Refining the structure: adding subsections ,,General'' to ,,Concept'', ,,Other Techniques'' to ,,Languages''
- 16:23, 1 March 2006 diff hist -6 m Dependent type Using level 1 headlines for top-level structuring, according to HaskellWiki:Guidelines
- 16:12, 1 March 2006 diff hist +1 m Future of Haskell possessive suffix
- 16:03, 1 March 2006 diff hist +836 m Combinatory logic Link to a combinatory logic interpreter (Hungarian-language-documented, Haskell-implemented)
- 15:27, 1 March 2006 diff hist +3 m Dependent type Link to Combinatory Logic wiki page
- 15:25, 1 March 2006 diff hist +1,576 Combinatory logic ->Illative Combinatory Logic section with some dreams and a tutorial added
- 14:52, 1 March 2006 diff hist 0 m Books nicer layout of the previously corrected link
- 14:47, 1 March 2006 diff hist +123 m Books Correcting broken link to Jeroen Fokker's Functional Programming
- 14:30, 1 March 2006 diff hist +11 m Dependent type table of contents
- 14:28, 1 March 2006 diff hist +29 Dependent type