On Dec 7, 2016, at 11:23 PM, forax at univ-mlv.fr wrote: > > Name functions are not useful anymore, because now we have full real lambdas. There is still a big place for named function enums. Lambdas let you say "here is a plus operator" but not "here is the plus operator which is abelian with unit 0". Enums can fill that gap, for now. – John