Bjorn Lisper wrote:
Hi all,
Finally I found some time to reply to this posting. A couple of years ago we did something called "Data Field Haskell", which is Haskell extended with a generalized form of arrays called data fields. Much of the purpose was to investigate convenient and general syntax for array constructions. ... The forall-construct is intended to provide a simple and powerful syntax for operations on data fields. Let's see below how it matches Jerzy's desired features of an array language:
Jerzy:
I AM IMPRESSED.
Now, I know the existence of pages within
http://www.mrtc.mdh.se/projects/DFH/
but you say that the project is dormant. Is there *anything* going on? THANKS!
Alas, no. I have neither time nor funding to work with Data Field Haskell now. Having said that, I think there are a lot of different things that could be done: polishing the programming model, implementation issues, code optimization, ... Björn