eresi icon indicating copy to clipboard operation
eresi copied to clipboard
verified publisher icon thorkill

ERESI should be able to type functions

Open thorkill opened this issue 9 years ago • 0 comments

The ERESI type system is currently unable to give types to functions. Such feature would allow us to:

  • Give a type to ERESI commands and functions and be able to type-check them.
  • Define more-high level function-based constructs for static analysis (ex: fixed-point computations)
  • Enhance reflections of the ERESI environment by typing internal functions in the ERESI type system

Ticket: 93 Reported by: may on Sun Nov 23 01:11:40 2008

thorkill avatar Apr 24 '16 11:04 thorkill