
	Where results make sense

Topic: Extensible ML programming language

Related Topics

Brimley, Michigan

Effective input noise temperature

In the News (Sun 3 Jun 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	Concept Programming vs. Lisp
		Discussions about the design of XL highlight this extensibility a lot, because this is what distinguishes XL from languages such as C++ or Ada.
		Anyone writing a language today who isn't familiar with Scheme, Haskell, and ML may as well throw in the towel right now.
		Of all existing programming languages, Lisp might be one of the closest to the ideal.
	mozart-dev.sourceforge.net /cp-vs-lisp.html (984 words)

	Research Language Overviews
		Eiffel is a pure object-oriented language featuring multiple inheritance, polymorphism, static typing and dynamic binding, genericity (constrained and unconstrained), a disciplined exception mechanism, systematic use of assertions to promote programming by contract, and deferred classes for high-level design and analysis.
		It is intended as a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics.
		Lygon is a logic programming language that is based on linear logic.
	www.cs.cmu.edu /afs/cs.cmu.edu/user/mleone/web/language/overviews.html (1031 words)

	Favorite Programming Language Features (Site not responding. Last check: 2007-10-08)
		I hate core language features that could just as well be implemented in the library, particularly when trying to do that exposes a language design failure.
		The language can be described as 4 parts (the C implementation langauge, the C pre-processor, the C library, and mechanical code generators).
		From a wider perspective, if I chose a language that embodied what I feel is the key element of a language, I'd probably go with SQL (yes, I know a lot of people think it stands for "Scarcely Qualifies as a Language").
	www.advogato.org /article/779.html (2942 words)

	Programming Language Features (Site not responding. Last check: 2007-10-08)
		I also had originally scheduled a class for packaging state (encapsulation) and interface programming (inheritance), but figured that that's something most people will probably already have exposure to, although maybe not as orthogonal subjects to each other (they are usually tought as basically the same thing).
		Extensible syntax is a little language-specific, but I'm kind of covering it in the "macros" section.
		To say, "this is a great feature, but you have to totally change programming environments and rewrite your code in language X to use it" makes it completely pointless to most people.
	www.advogato.org /article/632.html (2802 words)

	The Zephyr Abstract Syntax Description Language
		Just as the lexical and syntactic structures of programming languages are described with regular expressions and context free grammars, ASDL provides a concise notation for describing the abstract syntax of programming languages.
		Programming languages that provide support for algebraic data types also have concise notation for defining tree-like data structures [BMS80].
		Languages like Java and C++ have a single abstract base class for each type and concrete subclasses of the base class for each variant of the type.
	www.cs.princeton.edu /~danwang/Papers/dsl97/dsl97.html (6337 words)

	Minnesota Extensible Language Tools - Home
		An extensible language can easily be extended with the unique combination of domain-specific language features that raises the level of abstraction to that of the task at hand.
		Because Silver is specified as an extensible language, adding general purpose features, such as pattern matching and parametric polymorphism, can be done in a highly modular manner.
		These are useful in language extensions such as regular expressions which have operators "" and "+" as in imperative host languages* but may want to associate different terminal names and different precedence and associativities with these operators.
	www.cs.umn.edu /melt (835 words)

	Mike Vanier: programming resume
		Guile, a dialect of Scheme designed to be a scripting language, but that project has had a number of problems, the most serious of which is a chronic lack of decent documentation.
		SQL isn't a true programming language (it isn't Turing-complete), and the syntax is pretty gross (pseudo-English, emphasis on the pseudo) but it's well suited for its purpose, which is accessing data from relational databases.
		I try to avoid languages with too close a connection to Microsoft, so I generally prefer Java to C# (although the Mono project appears to be a good free implementation of.NET and C#).
	www.cs.caltech.edu /~mvanier/hacking/programming.html (6420 words)

	Programming Languages
		Modula-3 (M3) is a systems programming language that supports interfaces, objects, generics, lightweight threads of control, the isolation of unsafe code, garbage collection, exceptions and subtyping.
		Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language.
		Forth is a stack oriented programming language which is typically implemented by a threaded interpreter.
	www.verber.com /mark/cs/programming.html (1462 words)

	Basic ML Programming (Site not responding. Last check: 2007-10-08)
		ML programming emphasizes the consideration of types, as we shall see.
		ML compilers, at least the ones we will be using, have several ways in which they can be used.
		Since ML is an expression-based language, the distinction between expressions and programs is blurred.
	www.cs.utah.edu /classes/cs6110/basic.html (2473 words)

	What is a Good First Programming Language?
		The designers of these languages are domain experts in the field of programming, and thus, are not able to fully appreciate the problems faced by a novice programmer.
		As an example, at the Indian Institute of Technology, Kanpur (the author's undergraduate school), the introductory programming language used to be Pascal until the mid-1990s.
		The C programming language has had an interesting history, and has come to be known as the language of "hackers." The use of C in an introductory course has attracted a lot of controversy and there are compelling arguments both for and against it [7].
	www.acm.org /crossroads/xrds10-4/firstlang.html (3878 words)

	Zhong Shao: Faculty - Computer Science at Yale
		The key innovation of FLINT is the use of a common typed intermediate language to model the semantics and interaction of various features from different programming languages.
		The fact that almost all interesting language features can be compiled into the FLINT-like calculi is not surprising because typed lambda calculi are frequently used as meta-languages for reasoning about formal logic and semantics.
		Unlike the Java Virtual Machine Language (JVML) which is notoriously inefficient, complex, and hard to extend, FLINT eliminates all these weaknesses and provides support to multiple programming languages such as Java, ML, and C. Shao collaborates with researchers at Princeton and Bell Laboratories on the DARPA/PCC and SML/NJ projects.
	www.cs.yale.edu /people/shao.html (421 words)

	Functional Languages Programming Computers
		Mandarin Language Is Music To The BrainScience Daily (press release) - 18 hours agoFunctional neuroimaging -- Functional neuroimaging is the use of neuroimaging technology to measure an aspect of brain function, often with a view to...
		Defence Minister Announces New Official Languages PlanCCNMatthews (press release), Canada - Nov 29, 2006This new functional model takes into account, for example, that - unlike most of the public service - the CF manages personnel by unit and not by position.
		- Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of modules, functors and inheritance.
	www.iaswww.com /ODP/Computers/Programming/Languages/Functional (865 words)

	XML Programming Paradigms (part four) -- Functional Programming approached to XML processing --
		Some functional programming languages are also "lazy." What this means is that every data structure (including a function definition itself) is evaluated only when, and as much as needed.
		Moreover, this situation is extremely unlikely to change with time; functional programming languages have arisen, largely in academia, each to express a special collection of features and techniques.
		A library in one functional language will not make much sense in another FP language, even at a conceptual level (for example, if you assume laziness, a non-lazy/strict implementation might be extremely inefficient; or vice-versa).
	gnosis.cx /publish/programming/xml_models_fp.html (3182 words)

	XML Programming Paradigms (part three) -- Declarative Programming with XML Stylesheet Language Transformations --
		XSLT is also clearly and strongly in the declarative family of programming languages (it is a bit too limited, however, to be fully either "functional" or "logical").
		Declarative programming has much more in common with mathematics than does traditional imperative programming (which is closer to certain engineering or mechanical practices).
		Moreover, every programming language already has at least one perfectly good "program validator"--it is called a compiler or interpreter.
	gnosis.cx /publish/programming/xml_models_xslt.html (2974 words)

	Open Directory - Computers: Programming: Languages: Comparison and Review (Site not responding. Last check: 2007-10-08)
		The Computer Language Shootout Benchmarks - Performance measurements and source code for ~25 benchmark programs in ~25 languages; with side-by-side comparisons for any 2 programming languages, and an interactive weighted ranking for all the languages.
		Programming Languages Study - Includes: diagram, history of languages; history of language concepts; syntax across languages; Scriptometer measures scripting ease of languages; mutability and sharing of various values in various languages.
		Programming Languages Table - Table showing the approximate number of logical source statements (not physical lines of code) that roughly correlate with a single function point.
	dmoz.org /Computers/Programming/Languages/Comparison_and_Review (2735 words)

	Programming with Intersection Types and Bounded Polymorphism - Pierce (ResearchIndex) (Site not responding. Last check: 2007-10-08)
		Abstract: Intersection types and bounded quantification are complementary mechanisms for extending the expressive power of statically typed programming languages.
		They begin with a common framework: a simple, typed language with higher-order functions and a notion of subtyping.
		Intersection types extend this framework by giving every pair of types oe and ø a greatest lower bound, oeø, corresponding intuitively to the intersection of the sets of values described by oe and ø.
	citeseer.ist.psu.edu /pierce91programming.html (1759 words)

	Extensible Markup Language (XML) Activity Statement
		The Extensible Markup Language (XML) is a simple, flexible text format derived from SGML (ISO 8879).
		The XML Processing Model Working Group published the First Public Working Draft of XProc: An XML Pipeline Language, a language for describing operations to be performed on XML documents.
		A new programming language, XQueryP, developed by some participants of the XML Query Working Group as a set of procedural extensions to XML Query, may become a future work item for the XML Query Working Group.
	www.w3.org /XML/Activity.html (675 words)

	Needle, An Object-Oriented Functional Language
		It is basically the language that I wish I could program in.
		In a conventional OO language, methods can do dynamic dispatch on the first argument -- the receiver or self argument.
		I gave a presentation for the LL2 language design workshop explaining why Needle is necessary.
	www.nongnu.org /needle (454 words)

	Noweb home page
		Literate programming is the art of preparing programs for human readers.
		Most of my programs are edited at least as often as they are read, and it is distracting to have to switch between plain ASCII for editing and fancy fonts and symbols for reading.
		I do see a place for prettyprinting—prettyprinting can be helpful for archival programs that are read much more often than they are edited, e.g., if they appear in published books or journals.
	www.eecs.harvard.edu /~nr/noweb (1114 words)

	Cover Pages: Extensible Markup Language (XML)
		Several introductory and tutorial articles on the Extensible Markup Language (XML) are referenced in the shorter XML Introduction document.
		The Wireless Application Protocol (WAP) Wireless Markup Language (WML) is a markup language based on XML, and is intended for use in specifying content and user interface for narrowband devices, including cellular phones and pagers.
		The Chemical Markup Language was documented (July 1998) as "an application of XML" and was demonstrated at WWW6 with the Jumbo Java-based browser for XML documents.
	www.oasis-open.org /cover/xml.html (7148 words)

	alphaWorks : Bean Markup Language : Overview
		He joined the IBM Madrid Scientific Center in 1989 and IBM Research in 1993, where he is now part of the Extended Transaction Systems group.
		Curbera has worked on developing tag programming languages and software tools for the design of user interfaces and interactive end-user applications.
		Rania Khalaf (implementor of thermo demo) was an MIT undergraduate student enrolled in the 6A program (joint B.S./M.S. program).
	www.alphaworks.ibm.com /tech/bml (601 words)

	Sample: eXtensible Markup Language
		Unlike all other languages the first definition of a markup overrides the later ones.
		markup_language::language="a language that describes how to mark up text to give it added meaning, richness, or layout and style".
		XHTML::= See http://www.w3.org/TR/xhtml1, Extensible HTML -- a version of HTML that follows the rules of XML.
	www.csci.csusb.edu /dick/samples/xml.html (1302 words)

	MAGE
		MAGE-OM has been modelled using the Unified Modelling Language (UML) and MAGE-ML has been implemented using XML (eXtensible Markup Language).
		MAGEstk (or MAGE Software Toolkit) is a collection of packages that act as converters between MAGE-OM and MAGE-ML under various programming platforms.
		MAGE-STK programming jamboree II Note: MAML (Microarray Markup Language) is no longer supported by MGED and has been replaced by MAGE-ML.
	www.mged.org /Workgroups/MAGE/mage.html (185 words)

	OS Hybrids Language Languages Programming Computers
		- Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations.
		Blurs distinction between kernels and applications, which traditionally live in user-
		- Fast, no-kernel, single address space, data-centric, preemptive multithreaded, persistent, secure, multi-user operating system, with Crush function-based programming safe-language.
	www.iaswww.com /ODP/Computers/Programming/Languages/Language-OS_Hybrids (136 words)

Try your search on: Qwika (all wikis)