http://adradh.org.uk/b :: {- insert a pretend Haskell type here -} Thu, 03 Dec 2009 23:47:53 +0000 en hourly 1 http://wordpress.org/?v=3.0.2 http://adradh.org.uk/b/post/more-syntax-highlighting/ http://adradh.org.uk/b/post/more-syntax-highlighting/#comments Thu, 14 May 2009 09:16:10 +0000 Anders http://adradh.org.uk/b/?p=182 http://adradh.org.uk/b/post/more-syntax-highlighting/feed/ 0 http://adradh.org.uk/b/post/cabal-vim-01/ http://adradh.org.uk/b/post/cabal-vim-01/#comments Mon, 23 Mar 2009 17:18:39 +0000 Anders http://adradh.org.uk/b/?p=154 http://adradh.org.uk/b/post/cabal-vim-01/feed/ 0 http://adradh.org.uk/b/post/cabal-vim/ http://adradh.org.uk/b/post/cabal-vim/#comments Fri, 13 Mar 2009 18:52:20 +0000 Anders http://adradh.org.uk/b/?p=146 http://adradh.org.uk/b/post/cabal-vim/feed/ 0 http://adradh.org.uk/b/post/slight-updates-to-haskellvim/ http://adradh.org.uk/b/post/slight-updates-to-haskellvim/#comments Sun, 08 Mar 2009 20:32:05 +0000 Anders http://adradh.org.uk/b/?p=97 http://adradh.org.uk/b/post/slight-updates-to-haskellvim/feed/ 0 http://adradh.org.uk/b/post/i-just-noticed-something/ http://adradh.org.uk/b/post/i-just-noticed-something/#comments Sat, 06 Dec 2008 05:52:57 +0000 Anders http://adradh.org.uk/b/?p=71 ) is: instance Applicative ((->) r) where pure = const f <*> g = \x -> f x (g x) Look familiar? Of course, I is missing, but it’s just pure <*> undefined1 (or id but that’s cheating) anyway. I dunno what implications this has, other than that you [...]]]> http://adradh.org.uk/b/post/i-just-noticed-something/feed/ 0 http://adradh.org.uk/b/post/applicative-functors-and-actions/ http://adradh.org.uk/b/post/applicative-functors-and-actions/#comments Fri, 29 Aug 2008 05:14:43 +0000 Anders http://adradh.org.uk/b/?p=42 http://adradh.org.uk/b/post/applicative-functors-and-actions/feed/ 0 http://adradh.org.uk/b/post/qthaskell/ http://adradh.org.uk/b/post/qthaskell/#comments Fri, 18 Jan 2008 22:06:09 +0000 Anders http://adradh.org.uk/b/2008/01/18/qthaskell/ http://adradh.org.uk/b/post/qthaskell/feed/ 0 http://adradh.org.uk/b/post/they-forgot-m-monadine/ http://adradh.org.uk/b/post/they-forgot-m-monadine/#comments Tue, 30 Oct 2007 14:23:05 +0000 Anders http://adradh.org.uk/b/2007/10/30/they-forgot-m-monadine/ http://adradh.org.uk/b/post/they-forgot-m-monadine/feed/ 0