| |
| | Programming Languages, Computer, Java, JavaScript, C++, Services, Perl, HTML, PHP |
 | | With its emphasis on program safety, it is not surprising that Ada is a strongly typed language: all data elements must be declared as storing a particular type or subtype, and type enforcement is strictly applied both within and between modules. |
 | | Curry is a fairly recent functional logic programming language, developed as a research vehicle to test ideas in the areas of narrowing, unification, and non-determinism. |
 | | The basic view of programming exhibited by Escher and related languages is the a program is a representation of a theory in some logic framework, and the program's execution (computation) is a deduction from the theory. |
| www.mediavue.net /programming/programming_languages.html (17621 words) |
|