From: skaller <sk...@us...> - 2004-05-08 18:46:40
|
On Sun, 2004-05-09 at 00:30, Brian Hurt wrote: > I keep hitting this limitation everywhere I try to go with this. It's > annoying. Well, it should be possible to chain maps and folds and filters together over enums. That's the main point of them. Ocaml can't provide functorial polymorphism. The next best thing is to have a unified sequence concept. Hmm. Perhaps we can use a record of functions instead of a class? Records do provide subtyping, and they have good polymorphism and also 'private' now. -- John Skaller, mailto:sk...@us... voice: 061-2-9660-0850, snail: PO BOX 401 Glebe NSW 2037 Australia Checkout the Felix programming language http://felix.sf.net |