H ? « »

Language peer sets for INFER:
United States
United States/1992
Designed 1992
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: United States
Designed 1992

a statically-typed dialect of SCHEME.

Infer combined many (but not all) of the best features of SCHEME and ML. Compared with latently-typed languages such as SCHEME, statically-typed language such as ML and Infer, sacrifice some expressive power in exchange for the ability to catch many errors at compile-time, the possibility of more efficient execution, and some system-verified program verification. By supporting all of the forms and primitives procedures of Scheme, with a Scheme-like syntax, it is hoped Infer will prove accessible to Scheme programmers. Efficient compilation of Infer into Scheme is possible, thereby providing compatibility with Scheme programming environments.

Related languages
ML INFER   Incorporated some features of
Scheme INFER   Dialect of

  • Haynes, Christopher T. (1992) Haynes, Christopher T. "Infer: A Statically-typed Dialect of Scheme (Preliminary Tutorial and Documentation)" Indiana CS Technical Report TR367 (Oct 1992) Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder