Comments on: Higgledy-Piggledy rides again

By: Conor

Conor — Tue, 07 Jul 2009 08:12:00 +0000

Indent that

mutter mutter mutter

Sodding space-eating blog.

By: Conor

Conor — Tue, 07 Jul 2009 08:11:06 +0000

I’m certainly open to suggestions. I’m not a big fan of import -> but I didn’t want to make yet another new keyword. But it’s not exactly difficult to do so. Would there be any takers for something like

aspect Blah where
mutter mutter mutter

and something like

import aspect Blah

or even just aspect Blah?

Anyhow, this way lies Wadler’s Law, and I’m having enough of that with idiom brackets.

By: Daniel

Daniel — Tue, 07 Jul 2009 01:17:30 +0000

Ack, it looks like the blog syntax ate some of my text! I just said that I didn’t like the syntax much but liked the idea.

By: Daniel

Daniel — Mon, 06 Jul 2009 21:45:22 +0000

I can’t say I’m a fan of the import import -> ExpF where
> AddF :: t -> t -> ExpF t

This one is fine, but with a more complicated signature it might be hard to understand something like this.

Not sure if you’re taking votes on this, but I’d also prefer export/import instead of import -> and import < – :)