tag:blogger.com,1999:blog-11295132.post4864311133538007205..comments2008-03-15T21:58:03.428-07:00sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-11295132.post-23564833510210684022008-03-15T20:00:00.000-07:002008-03-15T20:00:00.000-07:00I've seen that you've touched on dependent types in Haskell before, and with your comment about "holes in a data type" hinting at them, are you taking up the dependent type topic again? Soon?geophfhttp://www.blogger.com/profile/09936874508556500234noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-85484535348128213832008-03-10T19:48:00.000-07:002008-03-10T19:48:00.000-07:00Yes, the SL "area operators" are interesting way of looking at it. This also suggests a generalisation of data parallelism.Pseudonymhttp://www.blogger.com/profile/04272326070593532463noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-36057581972406264162008-03-08T23:09:00.000-08:002008-03-08T23:09:00.000-08:00Minor typo: "(==>), on the other hand"<BR/><BR/>I believe you meant to write (=>>) there.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-4492767522956692562008-03-08T22:11:00.000-08:002008-03-08T22:11:00.000-08:00BTW pseudonym, I was thinking of the Renderman Shader Language derivative function as I wrote this. I'm sure you'll recognise what I'm talking about.<BR/><BR/>I'll have to think about OI myself.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-10036985809278940392008-03-08T21:43:00.000-08:002008-03-08T21:43:00.000-08:00Just one comment about my "lament".<BR/><BR/>The value supply paper dates from 1994. I don't begrudge even experts who don't recognise a comonad 15 years ago.<BR/><BR/>(And incidentally, I never did get a response from Dick Kieburtz about the referential transparency issue in the OI comonad.)<BR/><BR/>I really like this model of comonads. I once spent a little bit of time trying to work out how you could formulate multigrid methods in terms of comonads, but I stopped fairly quickly.Pseudonymhttp://www.blogger.com/profile/04272326070593532463noreply@blogger.com