OBJ2
OBJ2 is a programming language with Clear-like parametrised modules and a functional system based on equations. It is a member of the OBJ family of languages.[1]
Notes
gollark: *My* language makes it impossible to recurse by dynamically inspecting the stack on all function calls (efficiently via something something SIMD/vectorization) and immediately halting if recursion is detected.
gollark: Or mutual recursion.
gollark: But what if recursion via function pointers or equivalent?
gollark: Lua has tail calls so it's actually perfect and without flaw.
gollark: But that makes this very mysterious.
References
- "Principles of OBJ2", K. Futatsugi et al., 12th POPL, ACM 1985, pp. 52–66.
- 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.