I am trying to build a data type to control a structure similar to a list, with the difference that we might add arrows to elements. Furthermore, I require that some functions operate only on lists where the number of Up arrows and Down arrows is exactly equal to 1.
Things went smoothly, until I try to convert a normal list to the richer list: Code here (the commented block at the end will not work!)
Any suggestions on how to fix things, or maybe simplifying it.submitted by BanX
[link] [7 comments]
I know of the (Reduceron)[http://www.cs.york.ac.uk/fp/reduceron/], I'm wondering how long it will be until research like this is finished, chips are produced, and I can build a computer based on functional paradigms.
Are others interested in a computer like this? It must be clear there's a niche market here.submitted by fifosine
[link] [12 comments]