Browse thread
Defining a family of functors
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Andrej Bauer <andrej.bauer@a...> |
| Subject: | Re: [Caml-list] Defining a family of functors |
Because of problems like these I sometimes wish I had first-class modules. I wonder how different that is from having first-class polymorphic records, actually. Perhaps a bit of camlp4 to wrap up records in module-like notation would do the trick. Andrej