6 Nov
2006
6 Nov
'06
7:41 a.m.
Malcolm Wallace schrieb:
The concept of map (fmap) is more general than just lists!
Right! It's recursive only for recursive data structures. In the case of tuples mapping degenerates or falls together with a kind of record update. Also the proposal for mapHead is a kind of record update, whereas it is unclear what mapTail should be. In fact the compiler should be able to systematically generate/derive update and/or map functions from data types (however such functions might be named). Christian