OBJ (programming language)
OBJ is a programming language family introduced by Joseph Goguen in 1976, and further worked on by Jose Meseguer.
Overview
It is a family of declarative "ultra high-level" languages. It features abstract types, generic modules, subsorts (subtypes with multiple inheritance), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces) for the massively parallel RRM (rewrite rule machine).
Members of the OBJ family of languages include CafeOBJ, Eqlog, FOOPS, Kumo, Maude, OBJ2, and OBJ3.
OBJ3
OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on Kyoto Common Lisp AKCL.
gollark: Solution: use infinitely long numbers.
gollark: Maybe I should implement these in potatOS, in the most hilariously inefficient way possible.
gollark: As far as I know the reason for it is that IEEE 754 makes NaNs a range of values rather than just one, but at least you still keep reflexivity that way.
gollark: It trips up so many people checking for NaNs.
gollark: I care. Values should equal themselves or it's confusing for no valid reason.
See also
References
- J. A. Goguen, Higher-Order Functions Considered Unnecessary for Higher-Order Programming. In Research Topics in Functional Programming (June 1990). pp. 309–351.
- Goguen, Joseph A., et al. "Introducing OBJ." Software Engineering with OBJ. Springer, Boston, MA, 2000. pp. 3–167.
- This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.