Euphoria (programming language)

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Euphoria
openEuphoria logo
Paradigm Imperative, procedural
Designed by Jeremy Cowgar, Robert Craig (original), Matt Lewis, Derek Parnell
Developer openEuphoria Group
First appeared 1993
Stable release 4.0.5 / October 19, 2012 (2012-10-19)
Typing discipline static, dynamic
OS Cross-platform WIN32, Linux, OS X, FreeBSD, NetBSD, OpenBSD
License BSD
Filename extensions .e, .ex, .exw, .edb
Website openeuphoria.org

Euphoria is a programming language originally created by Robert Craig of Rapid Deployment Software[1] in Toronto. Initially developed (though not publicly released) on the Atari ST,[2] the first commercial release[3] was for the 16-bit MS-DOS platform and was proprietary. In 2006 (with the release of version 3),[4] Euphoria became open source and the openEuphoria Group[5] continues to administer and develop the project. In December 2010, the openEuphoria Group released version 4[6] of openEuphoria along with a new identity and mascot for the project. OpenEuphoria is currently available for Microsoft Windows, Linux, OS X and three flavors of *BSD.

Euphoria is a general-purpose high-level imperative/procedural interpreted language. A translator generates C source code and the GCC and Open Watcom compilers are supported. Alternatively, Euphoria programs may be bound[7] with the interpreter to create stand-alone executables. A number of GUI libraries are supported including Win32lib[8] and wrappers for wxWidgets,[9] GTK+[10] and IUP.[11] Euphoria has a simple built-in database[12] and wrappers for a variety of other databases.[13]

Overview

The Euphoria language is a general purpose procedural language that focuses on simplicity, legibility, rapid development and performance.

Simplicity
- The language uses just four built-in data types (see below)
- Automatic garbage collection is implemented.
Legibility
- The syntax favors simple English keywords over the use of punctuation to delineate constructs.
Rapid Development
- Euphoria is interpreted to encourage prototyping and incremental development.
Performance
- Euphoria incorporates an efficient reference-counting garbage collector that correctly handles cyclic references.

History

Developed as a personal project to invent a programming language from scratch, Euphoria was created by Robert Craig[1] on an Atari Mega-ST.[2] Many design ideas for the language came from Craig's Master's Thesis in Computer Science at the University of Toronto.[14] Craig's thesis was heavily influenced by the work of John Backus on functional programming (FP) languages.[14]

Craig ported his original Atari implementation to the 16-bit MS-DOS platform and Euphoria was first released (version 1.0) in July, 1993[3] under a proprietary licence. The original Atari implementation is described by Craig as "primitive"[15] and has not been publicly released. Euphoria continued to be developed and released by Craig via his company Rapid Deployment Software (RDS) and website rapideuphoria.com.[1] In October, 2006 RDS released version 3[4] of Euphoria and announced that henceforth Euphoria would be freely distributed under an open source licence.

RDS continued to develop Euphoria, culminating with the release of version 3.1.1 in August, 2007.[14][16] Subsequently, RDS ceased unilateral development of Euphoria and the openEuphoria Group[5] took over ongoing development. The openEuphoria Group released version 4 in December, 2010[17] along with a new logo and mascot for the openEuphoria project.

Version 3.1.1 remains an important milestone release, being the last version of Euphoria which supports the MS-DOS platform.[18]

Euphoria is an acronym for "End-User Programming with Hierarchical Objects for Robust Interpreted Applications" although there is some suspicion that this is a backronym[according to whom?].

The Euphoria language interpreter was originally written in C. With the release of version 2.5[14] in November, 2004 the Euphoria interpreter was split into two sections: the front-end parser and the back-end interpreter. The front-end (which is also used with the Euphoria-to-C translator and the Binder) is now written in Euphoria. The main back-end and run time library are written in C.

Features

Euphoria was conceived and developed with the following design goals and features:

  • Ease of learning and with consistent high-level constructs (more so than e.g. the BASIC language)
  • Implementation of flat-form 32-bit memory to avoid complicated memory management and size/addressing limits
  • Debugging support and run-time error-handling
  • Subscript and type checking
  • Loose and strict variable typing
  • Programming via objects as types (user-defined or otherwise)
  • Interpreted, with automatic memory management and garbage collection
  • Heterogeneous collection types (sequences)
  • DOS graphics library (Euphoria language versions up to and including 3.1.1)
  • Debugger
  • Integrated database system
  • Low-level memory handling
  • Straightforward wrapping of (or access to) C libraries

Execution modes

Use

Euphoria is designed to readily facilitate the handling of dynamic collections of data of varying types and is particularly useful for string and image processing. Euphoria has been used in artificial intelligence experiments, the study of mathematics, for teaching programming, and to implement fonts involving thousands of characters.[citation needed] A large part of the Euphoria interpreter is written in Euphoria.

Data types

Euphoria has two basic data types:

atom 
A number, implemented as a 31-bit signed integer or a 64-bit IEEE floating-point. Euphoria dynamically changes between integer and floating point representation according to the current value.
sequence 
A vector (array) with zero or more elements. Each element may be an atom or another sequence. The number of elements in a sequence is not fixed (i.e. the size of the vector/array does not have to be declared). The program may add or remove elements as required during run-time. Memory allocation/deallocation is automatically handled by reference counting. Individual elements are referenced using an index value enclosed in square brackets. The first element in a sequence has an index of one [1]. Elements inside embedded sequences are referenced by additional bracked index values, thus X[3][2] refers to the second element contained in the sequence that is the third element of X. Each element of a sequence is an object type (see below).

Euphoria has two additional data types predefined:

integer 
An atom, restricted to 31-bit signed integer values in the range -1073741824 to 1073741823 (-2^30 to 2^30-1). Integer data types are more efficient than the atom data types, but cannot contain the same range of values. Characters are stored as integers, e.g. coding ASCII-'A' is exactly the same as coding 65.
object 
A generic datatype which may contain any of the above (i.e. atom, sequence or integer) and which may be changed to another type during run-time.

There is no character string data type. Strings are represented by a sequence of integer values. However, because literal strings are so commonly used in programming, Euphoria interprets double-quote enclosed characters as a sequence of integers. Thus

"ABC"

is seen as if the coder had written:

{'A', 'B', 'C'}

which is the same as:

{65, 66, 67}

Hello World

puts(1, "Hello World!\n")

Examples

Note: Comments start with a double dash "--" and go through the end of line.

The following code looks for an old item in a group of items. If found, it removes it by concatenating all the elements prior to it with all the elements after it. Note that the first element in a sequence has the index one [1] and that $ refers to the length (i.e. total number of elements) of the sequence.

global function delete_item( object old, sequence group )
   integer pos
             -- Code begins --
   pos = find( old, group )
   if pos > 0 then
       group = group[1 .. pos-1] & group[pos+1 .. $]
   end if
   return group
end function

The following modification to the above example replaces an old item with a new item. As the variables old and new have been defined as objects, they could be atoms or sequences. Type checking is not required as the function will work with any sequence of data of any type and requires no external libraries.

global function replace_item( object old, object new, sequence group )
   integer pos
             -- Code begins --
   pos = find( old, group )
   if pos > 0 then
       group[pos] = new
   end if
   return group
end function

Furthermore, no pointers are involved and subscripts are automatically checked. Thus the function cannot access memory out-of-bounds. There is no need to allocate or deallocate memory explicitly and no chance of a memory leak.

The line

group = group[1 .. pos-1] & group[pos+1 .. $]

shows some of the sequence handling facilities. A sequence may contain a collection of any types, and this can be sliced (to take a subset of the data in a sequence) and concatenated in expressions with no need for special functions.

Parameter passing

Arguments to routines are always passed by value; there is no pass-by-reference facility. However, parameters are allowed to be modified locally (i.e. within the callee) which is implemented very efficiently as sequences have automatic copy-on-write semantics. In other words, when you pass a sequence to a routine, initially only a reference to it is passed, but at the point the routine modifies this sequence parameter the sequence is copied and the routine updates only a copy of the original.

Comparable languages

External links

Free downloads of Euphoria for the various platforms, packages, Windows IDE, Windows API libraries, a GTK+ wrapper for Linux, graphics libraries (DOS, OpenGL, etc.).

References

  1. 1.0 1.1 1.2 Lua error in package.lua at line 80: module 'strict' not found.
  2. 2.0 2.1 Lua error in package.lua at line 80: module 'strict' not found.
  3. 3.0 3.1 Lua error in package.lua at line 80: module 'strict' not found.
  4. 4.0 4.1 Lua error in package.lua at line 80: module 'strict' not found.
  5. 5.0 5.1 Lua error in package.lua at line 80: module 'strict' not found.
  6. Lua error in package.lua at line 80: module 'strict' not found.
  7. 7.0 7.1 7.2 Lua error in package.lua at line 80: module 'strict' not found.
  8. Lua error in package.lua at line 80: module 'strict' not found.
  9. Lua error in package.lua at line 80: module 'strict' not found.
  10. Lua error in package.lua at line 80: module 'strict' not found.
  11. Lua error in package.lua at line 80: module 'strict' not found.
  12. Lua error in package.lua at line 80: module 'strict' not found.
  13. Lua error in package.lua at line 80: module 'strict' not found.
  14. 14.0 14.1 14.2 14.3 Lua error in package.lua at line 80: module 'strict' not found.
  15. Lua error in package.lua at line 80: module 'strict' not found.
  16. Lua error in package.lua at line 80: module 'strict' not found.
  17. Lua error in package.lua at line 80: module 'strict' not found.
  18. Lua error in package.lua at line 80: module 'strict' not found.
  19. Lua error in package.lua at line 80: module 'strict' not found.