The Comonad.Reader

Wadler’s Law Revisited

Posted by Edward Kmett under Haskell , Meta
[3] Comments

In light of the burgeoning length of the ongoing record discussion sparked off by Simon Peyton-Jones in October, I would like to propose that we recognize an extension to Wadler's law (supplied in bold), which I'll refer to as the "Weak Record Conjecture" below.

In any language design, the total time spent discussing a feature in this list is proportional to two raised to the power of its position.

0. Semantics

1. Syntax

2. Lexical syntax

3. Lexical syntax of comments

4. Semantics of records

(more...)

Thu 26 Oct 2006

WikiPress

Posted by Edward Kmett under Meta
No Comments

I almost have the blog integrated with the old slipwave wiki content. I kludged something together to display it in WordPress. While I may add a flashy dynamic in-page loading feature like TiddlyWiki, for right now its functional and backwards compatible with my old content and gracefully degrades in the absence of javascript.

By way of example, you might try to view some Haskell source code.

This also might provide better context when I start to talk about things like continuations because I can link right inline to more extended static content.

This also provides me with a more convenient venue for static content than WordPress' default page management system.

Please, let me know if some bit of markup doesn't show up right.

Tue 17 Oct 2006

Hello, World!

Posted by Edward Kmett under Meta
1 Comment

 
 
import qualified Control.Comonad as Comonad
import qualified Edward hiding (personal_details)
import Blog.Software
 
-- Hello, World!
 
instance Blog Comonad.Reader where
    url = "http://comonad.com/reader"
    author = Edward.Kmett
 
main = forever $ post stuff