PROGRAMMING LANGUAGE

Name of
latest
programming
langguage
Visual Basic.Net Adga C++ Cython
Developer
Microsoft
Ulf Norell at Chalmers University
of Technology
Bjarne Stroustrup at Bell Labs Robert Bradshaw, Stefan Behnel,
Year
Developed
5 October 2013 June 20, 2014 2014 16 June 2014
Purpose
VB.NET provides several
control-flow statements
identified by reserved
keywords. Structured
programming is supported by
the If .. Then .. Else .. End If
conditional execution construct
and Do Until .. Loop, and For ..
To and the related For Each
iterative execution (looping)
constructs
Dependently typed functional
programming language. The
language has ordinary
programming constructs such
as data types, pattern
matching, records, let
expressions and modules, and a
Haskell-like syntax. The system
has an Emacs interface
[2]
but
can also be run in batch mode
from the command line.
purpose programming
language. It has imperative,
object-oriented and generic
programming features, while
also providing the facilities for
low level memory
manipulation.
Cython is a compiled language
that generates CPython
extension modules. These
extension modules can then be
loaded and used by regular
Python code using the import
statement. Cython is written in
Python and works on Windows,
Linux, and Mac OS X, producing
source files compatible with
CPython 2.4 through 3.4.
Platform (os) Chiefly Windows, also on
Android, BSD, iOS, Linux, Mac
OS X, Solais and Unix
Cross-platform
Cross-platform (multi-
platform)
Cross-platform
Approach Multi paradigm, structured,
object oriented
Structured, functional
imperative, object-oriented and
generic
Structured, functional
Translator
used
Command line compiler compiler compiler
OpenMP library, translated into
C
Special
features
VB.NET uses statements to
specify actions. The most
common statement is an
expression statement,
consisting of an expression to
be evaluated, on a single line; as
part of that evaluation,
functions may be called and
variables may be assigned new
values.
Main way of defining data
types in agda is inductive data
types which are similar to
algebraic data types in non
dependently typed
programming languages.
Basically, it means that there're
two ways to construct a natural
number. Zero is a natural
number, and if n is a natural
number, then suc n is a natural
number too.
The C++ standard consists of
two parts: the core language
and the C++ Standard Library;
which C++ programmers
expect on every major
implementation of C++, it
includes vectors, lists, maps,
algorithms (find, for_each,
binary_search, random_shuffle,
etc.)
Although most of the code is C-
based, a small stub loader
written in interpreted Python is
usually required. (Unless, of
course, the goal is to create a
loader in written entirely C,
inevitably intertwined with
messy undocumented internals
of CPython). However, this is not
a major problem due to the
dependency on the Python
interpreter.
Source of
reference
http://en.wikipedia.org/wiki/V
isual_Basic_.NET
http://en.wikipedia.org/wiki/
Agda_%28theorem_prover%29
http://en.wikipedia.org/wiki/C
%2B%2B
http://en.wikipedia.org/wiki/
Cython

Name of
latest
programming
langguage

Developer
Year
Developed

Purpose
Platform (os)
Approach
Translator
used

Special
features

Source of
reference