H ? « ‹ ← → › »

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

INFER(ID:2114/inf001)

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.

Places
Structures:
Related languages
ML → INFER   Incorporated some features of
Scheme → INFER   Dialect of
References:
  • 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