Gourt > Computers > Programming > Languages > ML > Implementations
In engineering and computer science, an implementation is the practical application of a methodology or algorithm to fulfill a desired purpose. For example, one might create a computer program that sorts a list of numbers in ascending order. To do so, one would implement a known method of sorting.
In political science, implementation refers to the carrying out of public policy. Legislatures pass laws that are then carried out by public servants working in bureaucratic agencies. This process consists of rule-making, rule- administration and rule-adjudication. Factors impacting implementation include the legislative intent, the administrative capacity of the implementing bureaucracy, interest group activity and opposition, and presidential or executive support.
See also: Interface (computer science), Java programming language.
More on [ Implementation ]
Functional :: Compilers
Comparison and Review :: Languages
Functional :: Compiled
Functional :: Languages
Garbage Collected :: Languages
Open Source :: Languages
RTX announces the next CAT-iq UnPlugFest: CAT-iq 2.0 implementations are moving into the final phases and in order ... http://bit.ly/8iPyNZ
catiq (catiq) Tue, 15 Dec 2009 07:35:28 -0000
RTX announces the next CAT-iq UnPlugFest: CAT-iq 2.0 implementations are moving into the final phases and in order ... http://bit.ly/8iPyNZ
@thetappingman Thanks for that. Now I can kill 2 birds with one stone as I was looking for successful Wave implementations as well.
NeilDenny (Neil Denny) Tue, 15 Dec 2009 07:12:31 -0000
@thetappingman Thanks for that. Now I can kill 2 birds with one stone as I was looking for successful Wave implementations as well.
@diveintomark I'm not convinced... rather looks like a failure of ECMAscript spec and lousy implementations.
loteksimon (John Simon) Tue, 15 Dec 2009 06:35:52 -0000
@diveintomark I'm not convinced... rather looks like a failure of ECMAscript spec and lousy implementations.
@robertlowe I mean, I appreciate the human-readable part, but think I will understand that better by reviewing actual implementations.
kennedypj (KennedyPJ) Tue, 15 Dec 2009 06:04:02 -0000
@robertlowe I mean, I appreciate the human-readable part, but think I will understand that better by reviewing actual implementations.
@reboog711 Really? You don't think so? MAX_SIDES would be the same for *all* implementations, which is why it SHOULD go in the interface.
facebookdesktop (Facebook Desktop) Tue, 15 Dec 2009 04:11:46 -0000
@reboog711 Really? You don't think so? MAX_SIDES would be the same for *all* implementations, which is why it SHOULD go in the interface.
Running out of options for implementations of Zuse: http://ow.ly/1mIYoo
zmanfx (Zachary Howe) Tue, 15 Dec 2009 04:04:44 -0000
Running out of options for implementations of Zuse: http://ow.ly/1mIYoo
Dependent ML: DML - Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, code samples, downloads.
Extended ML - EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
ML Kit - Standard ML compiler.
MLRISC - Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to many architectures. Deals elegantly with special requirements imposed by execution model of different high-level, typed languages.
MLton - Whole program optimizing compiler for Standard ML.
Moscow ML - ML system for DOS, Linux, Windows.
Open Source Release of MLj - SML to Java bytecode compiler, based on Persimmon's MLj.
Meta Description: [ MLj: an SML to Java bytecode compiler ]
Poly/ML - Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]
Standard ML of New Jersey - SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]
Meta Description: [ The Standard ML of New Jersey
compiler and programming system ]
The Alcool-90 Experiment - Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document.
| Alderleaf College - intro pt 1 | |
| Next Video | |
