Python is an interpreted object-oriented programming language, and is
often compared to Tcl, Perl or Scheme.
Python is an interpreted object-oriented programming language, and is
often compared to Tcl, Perl or Scheme.
Python is an interpreted object-oriented programming language, and is
often compared to Tcl, Perl or Scheme.
Scheme 48 is an implementation of the Scheme programming language as
described in the Revised^5 Report on the Algorithmic Language Scheme.
It is based on a compiler and interpreter for a virtual Scheme
machine. The name derives from our desire to have an implementation
that is simple and lucid enough that it looks as if it were written in
just 48 hours. We don't claim to have reached that stage yet; much
more simplification is necessary.
Scheme 48 is an implementation of the Scheme programming language as described
in the Revised5 Report on the Algorithmic Language Scheme [6]. It is based on
a compiler and interpreter for a virtual Scheme machine. Scheme 48 tries to be
faithful to the Revised5 Scheme Report, providing neither more nor less in the
initial user environment. (This is not to say that more isn't available in
other environments; see below.)
Scheme 48 is under continual development. Please report bugs, especially in
the VM, especially core dumps, to scheme-48-bugs@s48.org. Include the version
number x.yy from the "Welcome to Scheme 48 x.yy" greeting message in your bug
report. It is a goal of this project to produce a bullet-proof system; we want
no bugs and, especially, no crashes.
This is a free port of the original SIL (SNOBOL4 Implementation Language)
macro version of SNOBOL4 (developed at Bell Labs) with the C language as
target.
SNOBOL4, while known primarily as a string language excels at any task
involving symbolic manipulations. It provides run time typing, garbage
collection, user data types, on the fly compilation. Its primary weakness
is its simple syntax, and lack of "structured programming" constructs.
However some consider the spareness of SNOBOL4 syntax a strength when
compared to some "modern" agglomerations such as perl.
Erlang is a programming language used to build massively scalable soft
real-time systems with requirements on high availability. Some of its
uses are in telecoms, banking, e-commerce, computer telephony and
instant messaging. Erlang's runtime system has built-in support for
concurrency, distribution and fault tolerance.
This port contains a standalone runtime environment of Erlang R15
to be used during the development of OTP applications.
Standard ML (SML) is a safe, modular, strict, functional,
polymorphic programming language with compile-time type checking
and type inference, garbage collection, exception handling,
immutable data types and updatable references, abstract data types,
and parametric modules. It has efficient implementations and a
formal definition with a proof of soundness.
Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for
the Standard ML '97 programming language with associated libraries,
tools, and documentation.
Erlang is a programming language used to build massively scalable soft
real-time systems with requirements on high availability.
This port provides WX bindings for Erlang.
SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.
The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.
SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).
A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.
These are the manuals for the TCL and TK commands and the TCL and
TK library. They're installed in PREFIX/share/doc/tcl83/contents.htm,
PREFIX/share/doc/tcl84/contents.htm and
PREFIX/share/doc/tcl85/contents.htm.