User contributions
Jump to navigation
Jump to search
- 11:11, 17 June 2006 diff hist +103 Dependent type →Simulating them: links to Type arithmetic
- 11:06, 17 June 2006 diff hist +98 m Extensible record →Related concepts: links to Type arithmetic
- 11:01, 17 June 2006 diff hist +40 m Relational algebra →Just a thought: extensible record and more generally, type arithmetic
- 10:59, 17 June 2006 diff hist +24 m Relational algebra →Just a thought: Mentioning also extensible record as a related concept
- 10:54, 17 June 2006 diff hist +179 m Relational algebra →Practice: more unambigous introductory text
- 10:44, 17 June 2006 diff hist +88 Relational algebra →Just a thought: `Query' regarded as an arrow?
- 10:35, 17 June 2006 diff hist +25 m Applications and libraries/Database interfaces/CoddFish →Related concepts: refers to Relational algebra
- 10:33, 17 June 2006 diff hist +25 m Applications and libraries/Database interfaces/HaskellDB →Related concepts: rerfers to Relational algebra
- 10:29, 17 June 2006 diff hist +295 Relational algebra →Practice: links to HaskellDB and CoddFish, as Libraries and tools/Database interfaces
- 10:19, 17 June 2006 diff hist +2,182 Relational algebra →Just a thought: : an early, immature thought of mine to represent relational algebra expressions
- 09:22, 17 June 2006 diff hist +552 Pointfree →Other areas: links to Combinatory logic and also Recursive function theory. Mention Oliveira's paper related to Relational algebra
- 09:14, 17 June 2006 diff hist +59 Relational algebra Adding reference to pointfree (in shorly describing Oliveira's mentioned paper)
- 08:58, 17 June 2006 diff hist +357 N Relational algebra Link to paper: José Nuno Oliveira: First Steps in Pointfree Functional Dependency Theory. mainly it was that forced me to create page for relational algebra
- 08:43, 17 June 2006 diff hist +154 Extensible record →Declarative database management: and →Related concepts: : inititating new (theoretical) page Relational agebra
- 22:17, 16 June 2006 diff hist +4 m Extensible record Making an ambiguous sentence clear by more explicit separation
- 22:14, 16 June 2006 diff hist +322 Extensible record →Related concepts: new section added, this refers to Dependent type, and a link to ``Why Dependent Types Matter''
- 21:26, 16 June 2006 diff hist -1 m Applications and libraries/Database interfaces/CoddFish spell-check with ispell
- 21:18, 16 June 2006 diff hist +3 m Extensible record spell-check with ispell
- 21:12, 16 June 2006 diff hist 0 m Extensible record typographic correction
- 21:09, 16 June 2006 diff hist 0 m Extensible record →HaskellDB: The link to HaskellDB#Future was broken. Now having fixed
- 21:01, 16 June 2006 diff hist +86 Lucid →Fast-food: Using terms ``syncronous'' vs ``asynchronous''
- 20:58, 16 June 2006 diff hist +1 m Arrow typographic correction
- 20:57, 16 June 2006 diff hist +279 Arrow →Introduction: Adding link to ``Programming with Arrows'' paper written by John Hughes, and describing it shortly
- 19:47, 16 June 2006 diff hist +669 Extensible record →CoddFish: new section added (referring to CoddFish), and as a consequence, restructuring section strucure, adding table of contents
- 19:17, 16 June 2006 diff hist +49 Applications and libraries/Database interfaces/CoddFish →Related concepts: section added: it refers to Extensible record
- 19:13, 16 June 2006 diff hist +8 m Applications and libraries/Database interfaces/HaskellDB Also other occurrences of the same term
- 19:11, 16 June 2006 diff hist +9 m Applications and libraries/Database interfaces/HaskellDB Renaming headline ``Appendix'' to →Related concepts: , because I prefer functional names to structural ones
- 15:44, 16 June 2006 diff hist +157 Applications and libraries/Database interfaces/CoddFish →Introduction: Credit to the authors: Alexandra Silva and Joost Visser
- 15:36, 16 June 2006 diff hist +161 Applications and libraries/Database interfaces/HaskellDB →Future: Referring to CoddFish (because also it uses HLIst, too)
- 15:30, 16 June 2006 diff hist +49 Applications and libraries/Database interfaces/CoddFish Referring to HaskellDB
- 15:25, 16 June 2006 diff hist +456 N Applications and libraries/Database interfaces/CoddFish →Introduction: Introductory notes: a pure, type safe declarative DBMS library, not yet persistent by connecting to real life databases
- 15:22, 16 June 2006 diff hist +150 Applications and libraries/Database interfaces →Haskell Database Libraries: Adding link to CoddFIsh, thus initiating a CoddFish HaskellWiki page
- 14:56, 16 June 2006 diff hist +208 Attribute grammar →Tools: Adding link to Attribute Grammar Support for Happy (also from the Communities and Activities Report)
- 11:24, 16 June 2006 diff hist +7 m Lucid →Fast-food: small rephrasings at the explanatory texts of the ``moving average'' example
- 10:59, 16 June 2006 diff hist +125 Applications and libraries/Linguistics →Other functional or Haskell-related approaches to linguistics: Hal Daume III's natural lang. processing blog. Found ref on ``Topics and Contacts for the Haskell Communities and Activities Report''
- 18:06, 14 June 2006 diff hist +1 m Arrow typographic correction and formatting list
- 18:00, 14 June 2006 diff hist +295 Arrow →Introduction: and →Stream processor: Generalising Monads to Arrows written by John Hughes. Both a good introductory material, and details on stream processors and fudgets
- 13:20, 14 June 2006 diff hist +410 Arrow →Parser: The symmetric figure in Wikibooks' Programming:Haskell_arrows article suggests abstracting away side effect order
- 12:44, 14 June 2006 diff hist +1 m Arrow →Parser: formatting link
- 12:41, 14 June 2006 diff hist 0 m Arrow →Parser: Not an announcement (of an official release), just a short reference
- 11:02, 14 June 2006 diff hist +69 Arrow →Parser: Mor precise citing on the source of the new arrow parse implementation
- 10:59, 14 June 2006 diff hist +285 Arrow →Parser: Another arrow parser implementation written by Antti-Juhani Kaijanaho
- 10:29, 14 June 2006 diff hist +492 Arrow →Introduction: Wikibooks article, conveyor belt metaphor for arrows
- 23:27, 13 June 2006 diff hist 0 m Arrow Making all indices zero-based, so that duality of &&& (fanout, broadcast) and ||| (fanin) can bee seen more explicitly
- 23:19, 13 June 2006 diff hist -3 m Arrow →Parser: Grammatical correction at the explanatory text describing sequencing order of computations (side effects)
- 23:08, 13 June 2006 diff hist +127 m Arrow Streesing that binary relations are a _counterexample_ for sequencing effects
- 23:01, 13 June 2006 diff hist +143 Arrow Adding defintion of ||| (fan-in) for binary relations, also as a counterexample for taht it can be important in which order the effects take place, seqencing them
- 22:51, 13 June 2006 diff hist +589 Arrow Add definition of &&& (broadcast, fan-out) for binary relations, as a counterexample for importance of side-effect order
- 20:29, 13 June 2006 diff hist +7 m Arrow spell-check with ispell
- 01:15, 13 June 2006 diff hist +76 Research papers/Monads and arrows →Monads: and →Arrows: : mentioning the own HaskellWiki pags of these concepts: Monad, and also Arrow