-
ISWIM (If You See What I Mean) is an
abstract computer programming language (or a
family of languages)
devised by
Peter Landin and
first described in...
- the
University of St
Andrews in 1972,
based on the
applicative subset of
ISWIM. In 1976
Turner redesigned and
reimplemented it as a non-strict (lazy) language...
-
early 1970s at the
University of Edinburgh, and its
syntax is
inspired by
ISWIM. Historically, ML was
conceived to
develop proof tactics in the LCF theorem...
-
algebraic study of data types.
Lambda calculus-based
languages (such as Lisp,
ISWIM, and Scheme) are in
actual practice value-level languages,
although they...
-
Erlang FP F#
Haskell Glasgow Haskell Compiler Gofer Hugs
Template Haskell ISWIM JavaScript Kent
Recursive Calculator Lisp
AutoLISP Common Lisp
Emacs Lisp...
- UHC
Dialects Gofer Influenced by Clean, FP, Gofer, Hope and Hope+, Id,
ISWIM, KRC, Lisp, Miranda, ML and
Standard ML, Orwell, SASL, Scheme,
SISAL Influenced...
- pLucid,
GIPSY Dialects Granular Lucid,
Indexical Lucid,
Tensor Lucid,
Forensic Lucid, Lucx,
JOOIPL Influenced by
ISWIM Influenced SISAL, PureData, Lustre...
- S2CID 6505810. Scott, Dana (1993). "A type-theoretical
alternative to
ISWIM, CUCH, OWHY" (PDF).
Theoretical Computer Science. 121 (1–2): 411–440. doi:10...
-
correspondence between ALGOL 60 and the
lambda calculus, and
proposed the
ISWIM programming language. John
Backus presented FP in his 1977
Turing Award...
- try
before the last fall-through: (x>0) -> 1/x; (x<0) -> -1/x; 0 In 1966
ISWIM had a form of
conditional expression without an
obligatory fall-through...
