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?