[kepler-dev] Re: type signatures in the expression language

[Edward A Lee]

At 04:00 PM 8/3/2004 -0700, Tobin Fricke wrote:
>Instead of this behavior, would it make sense for functions like 'map' to
>evaluate to something?

This is a good idea... They could yield something like:

  >> map
  (function(f:(function(x:type)), xs:{type}) PRIMITIVE)

I.e., they report the type signature.

However, as Steve pointed out, it could be hard to accomplish.
Also, what to report when we have ad-hoc polymorphic functions,
where there are several implementations with different type
arguments?

Edward



------------
Edward A. Lee, Professor
518 Cory Hall, UC Berkeley, Berkeley, CA 94720
phone: 510-642-0455, fax: 510-642-2739
eal at eecs.Berkeley.EDU, http://ptolemy.eecs.berkeley.edu/~eal