|
| |
| | ML programming language - Wikipedia, the free encyclopedia |
 | | ML is often referred to as an impure functional language, because it permits side-effects, and therefore imperative programming, unlike purely functional programming languages such as Haskell. | | | ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. | | | Features of ML include a call-by-value evaluation strategy, first class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling. |
|
http://en.wikipedia.org/wiki/ML_programming_language
(556 words)
|
|
| |
| | Programming language |
| | A programming language or computer language is a standardized communication technique for expressing instructions to a computer. | | | The development of programming languages, unsurprisingly, follows closely the development of the physical and electronic processes used in today's computers. | | | Examples of type-inferring languages are Haskell programming language, MUMPS and ML programming language. |
|
http://www.1stcustomsoftware.com/Programming_language-498.html
(1897 words)
|
|
| |
| | pro3 |
| | LISP is the oldest functional language and was first used for the developmentof Artificial Intelligence (AI) programming. | | | The structures and signatures in ML are analogous to theconcept of classes in C++, whereas the structure in Prolog is a mere collectionof components. | | | The first functional programming language was invented to provide languagefeatures of the first applications in the areas of Artificial Intelligence.LISP, an acronym for LISt Processing, is a high-level language developedin the early 1960's by John McCarthy at the Massachusetts Institute ofTechnology (MIT). |
|
http://cctr.umkc.edu/~hhnnguyen/cs441/proj5b.html
(858 words)
|
|
| |
| | PlanetPapers - History of C++: Origins and Examples |
| | C++ is an advanced, high-level programming language (“Computer languages”) that is used to develop powerful applications for Microsoft® Windows®, many Linux environments, and other well-known and widely used operating systems. | | | Languages like Simula67 were created to allow programmers easier ways to program the machines and to increase the number of programmers in the field by making the process easier. | | | C was chosen as the base language for C++ because it is “versatile, terse, and relatively low-level; is adequate for most systems programming tasks; runs everywhere on everything; and fits into the UNIX programming environment” (Stroustrup, 15). |
|
http://www.planetpapers.com/Assets/1847.php
(2465 words)
|
|
| |
| | Standard ML |
| | A consequence of having the language definition in a formal notation is that one can prove important properties of the language, such as deterministic evaluation or soundness of type-checking. | | | Such a language is called strict or call-by-value, in contrast to some functional programming languages that are lazy or call-by-need. | | | Programmers in compile-time type-checked languages get the benefit not only of faster execution but also less debugging: many of the programmer's mistakes can be caught early in the development process; and the types may lead to clearer thinking about the program's specification. |
|
http://www.smlnj.org/sml.html
(778 words)
|
|
| |
| | Brad Appleton's Programming Languages Links |
| | The work of the project includes theoretical studies of programming languages and their properties, development of new compiler and run-time technology, and empirical studies of the application of advanced language techniques to real-world programming problems, especially in the areas of high-performance networks and operating systems. | | | The YAFL Programming Language is a middle term research project which covers the design and the implementation of a new object-oriented language, as well as several attached programming tools. | | | Theta is a new object oriented programming language under development by the Programming Methodology group, to be used in Thor. |
|
http://www.cmcrossroads.com/bradapp/links/prog-langs.html
(2062 words)
|
|
| |
| | CSCI 430 Programming Paradigms |
| | Lectures will be designed to discuss a wide range of programming languages, augmenting the self-study of the student, who will proceed through the three books in a self-disciplined way using the computers in the computer lab (room 226) to run example code in the book and write original code as desired or required. | | | The tutorial will present the language to the class including an explanation of the syntax, a discussion of the strengths and weaknesses of the programming language and example programs that illustrate the syntax, the languages strengths, weaknesses, and behavior. | | | Student will learn about these three languages, Scheme a version of LISP, a functional list-based programming language, ML a functional programming language with strong typing, and Java an Object Oriented Language. |
|
http://www.bridgewater.edu/~rschneid/Archive/Courses/S03/CSCI430I03/CSCI430ProgrammingParadigmsPP.htm
(344 words)
|
|
| |
| | [No title] |
| | ML is also discussed widely in many books on Programming Languages such as Sethi's textbook. | | | ML actually stands for "meta-language," although it is unclear why the origin- ators thought this was an appropriate language. | | | Data manipulation tools like awk and sed often have their own programming language as a part of them, and naturally people want their programming languages to be able to do anything, certainly anything that a "real" language like C can do. |
|
http://www-cs.canisius.edu/OLDSITE1997/PL_TUTORIALS/OTHERLANGS/overviews
(1286 words)
|
|
| |
| | CMPSCI Courses for Credit |
| | While the predominant paradigm for contemporary programming languages-- the imperative, object-oriented paradigm-- is our primary focus, and the functional paradigm is our secondary focus, other paradigms such as the logic programming paradigm are also discussed. | | | Access to a Java programming environment, an ML programming environment and at least one other modern programming language (eg, C++, C#, Ada 95, CLOS or Modula-3) will be necessary for completing the programming exercises and projects. | | | Programming Languages: Principles and Paradigms, A.Tucker and R. Noonan. |
|
http://www.ecs.umass.edu/vip/fall01/CMPSCI530.html
(416 words)
|
|
| |
| | SML programming language - Unipedia |
| | The SML programming language is a modern descendant of the ML programming language used in the LCF theorem-proving project. | | | MLton is a whole-program optimizing compiler that produces extremely fast code compared to other ML implementations. | | | Introduction to Programming using SML (International Computer Science Series) |
|
http://www.unipedia.info/SML.html
(368 words)
|
|
| |
| | The Definition of Standard ML - The MIT Press |
| | ML is the most well-developed and prominent of a new group of functional programming languages. | | | On the cutting edge of theoretical computer science, ML embodies the ideas of static typing and polymorphism and has also contributed a number of novel ideas to the design of programming languages. | | | This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. |
|
http://mitpress.mit.edu/catalog/item?ttype=2&tid=7945
(126 words)
|
|
| |
| | [No title] |
| | Although functional languages have never had an impact in scientific computation, for a variety of reasons, some of the case studies will have a numerical flavour to demonstrate that ML, which is closer to Mathematics than FORTRAN, for example, might be a useful tool in an engineering context. | | | paraML is an extension of the programming language ML for distributed memory multicomputers, such as the Fujitsu AP1000, and a prototype system is under development. | | | A key difference between conventional and applicative languages is that the latter often involve data in the form of very large structures which are distributed irregularly around a garbage collected heap space. |
|
http://cap.anu.edu.au/cap/reports/report/paraML.html
(898 words)
|
|
| |
| | CSE 230 Notes, Internet Languages |
| | One interesting observation about these languages is that they differ greatly from the classical programming languages that are traditionally studied in courses like CSE 130 and 230, and of course this is because they serve different purposes. | | | Perl is a language that fills a small but important niche in the internet world; it has many features that make it unsuitable for general purpose programming, such as being untyped and having weak modularity. | | | A major part of the social context for these languages is the commercial use of the world wide web, and the competition between MicroSoft and nearly everyone else, to provide software to support this. |
|
http://www-cse.ucsd.edu/users/goguen/courses/130w02/i.html
(1023 words)
|
|
| |
| | Comp.Lang.ML FAQ [Monthly Posting] |
| | The Qwertz Toolbox The qwertz toolbox, a library of Standard ML modules with an emphasis on symbolic Artificial Intelligence programming, may now be obtained by anonymous ftp at: ftp.gmd.de:gmd/ai-research/Software/qwertz.tar.gz The qwertz.tar.gz file is a tar archive compressed using the the GNU gzip program. | | | In particular, it is possible to execute programs in an untyped manner, thus exploring the universe where even ML programs "can go wrong". | | | Available from: http://foxnet.cs.cmu.edu/sml.html Mads Tofte Four Lectures on Standard ML LFCS Report Series ECS-LFCS-89-73 Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh March 1989 Extended ML (EML) is a framework for specification and formal development of SML programs. |
|
http://www.faqs.org/faqs/meta-lang-faq
(4974 words)
|
|
| |
| | OCAML - TunesWiki |
| | Objective Caml programs can easily be interfaced with other languages, in particular with other C programs or libraries. | | | A sophisticated module system: program phrases can be grouped into structures, which can be named and nested. | | | The Objective Caml implementation comes with general purpose libraries (arbitrary precision arithmetics, multi-threading, a toolkit for graphical user interfaces, etc.) and a Unix-style programming environment including a replay debugger and a time profiler. |
|
http://tunes.org/wiki/OCAML
(482 words)
|
|
| |
| | UW, COSC 4780, Spring 2006 |
| | Abstract: This course studies programming languages attempting to answer the question "What does a program mean?" Of course the "meaning" of a program is determined by how and what it computes which in turn is determined by the mechanisms which implement the constructs of the programming language. | | | Prerequisites: (COSC 3015) Functional Programming, (COSC 3020) Algorithms and Data Structures, or consent of instructor. | | | Jason Hickey, Introduction to the Objective Caml Programming Language. |
|
http://www.cs.uwyo.edu/~jlc/courses/4780
(551 words)
|
|
| |
| | Linux Links - The Linux Portal: Software/Programming/Compilers/Functional |
| | Afnix is a multi-threaded functional programming language with dynamic symbol bindings that support the object oriented paradigm. | | | a strongly-typed functional programming language from the MLfamily. | | | It may be useful for learning the basis of the Lisp language. |
|
http://www.linuxlinks.com/Software/Programming/Compilers/Functional/index.shtml
(470 words)
|
|
| |
| | RPM shipped by Unknown |
| | An optimizing compiler for the Standard ML programming language. |
|
http://rpmfind.net/linux/RPM/sourceforge/m/ml/Unknown.html
(234 words)
|
|
| |
| | The Metalanguage ML |
| | ML is fully higher--order; functions are objects in the language. | | | ML is a functional programming language with three important characteristics which make it a good language for expressing tactics: | | | It is an easy matter, however, to write simple tactics and to combine existing tactics with a minimal subset of ML. |
|
http://www.cs.cornell.edu/info/Projects/Nuprl/book/node98.html
(318 words)
|
|
| |
| | Home Page for DML |
| | This allows many interesting program properties such as memory safety and termination to be captured in the type system of DML and therefore be verified at compiler-time. | | | Notice that the index m in the program is not monotonic. | | | This program implements a binary search function on vectors. |
|
http://www.cs.bu.edu/~hwxi/DML/DML.html
(692 words)
|
|
| |
| | Untitled |
| | For the last nine years we have been using a functional programming language (ML) as the first language to which our Computer Science undergraduates are exposed. | | | Chris ReadeUs main expertise is in programming language theory and he is the author of a widely used book on functional programming, *Elements of Functional Programming*. | | | This year we are moving to JAVA as the first programming language. |
|
http://www.cs.arizona.edu/people/mercer/design/09Zimmer&Reade.htm
(766 words)
|
|
| |
| | Omniseek: /Computing /Programming /Languages /ML / |
| | ML is a strongly-typed functional programming language with excellent free implementations available. | | | HotBot Directory/ Computers and Internet/ Programming/ Languages/ ML | | | During the Fall of 1998 I will be teaching CS 361 and CS 604, which deal with the principles of computer languages. |
|
http://www.omniseek.com/srch/{22528}
(499 words)
|
|
| |
| | The Caml language: Home |
| | Caml is a general-purpose programming language, designed with program safety and reliability in mind. | | | The Objective Caml system is the main implementation of the Caml language. | | | It has been developed and distributed by INRIA, France's national research institute for computer science, since 1985. |
|
http://caml.inria.fr
(190 words)
|
|
| |
| | WEB-GEEK.COM Computers > Programming > Languages > ML |
| | MLton A whole-program optimizing compiler for the Standard ML programming language. | | | This allows SML programmers to add graphical user interfaces to their programs. | | | Top > Computers > Programming > Languages > ML |
|
http://www.web-geek.com/Computers/Programming/Languages/ML
(358 words)
|
|
| |
| | Introduction to the ML programming language |
| | Is an "extended functional" language: has imperative features built on a functional core. | | | Note: when ML prints out a value of a datatype, it only prints a couple levels deep of the structure. | | | The general intuition to have about the type inference algorithm is everything starts out as having arbitrary type, but then the operations infer constraints that "this thing has the same type as that thing". |
|
http://www.cs.jhu.edu/~scott/cw/lectures/sml-intro.html
(3121 words)
|
|
| |
| | The ML Programming Language |
| | Here are some resources for learning functional programming in ML. |
|
http://www.cs.unc.edu/~stotts/144/ML
(10 words)
|
|
| |
| | :: Programming Tutorial :: |
| | Practical Programming in Tcl and Tk Programming Using Tcl/Tk Introduction to Programming with Tcl | | | Programming in C: UNIX System Calls and Subroutines Using C | | | Basic Aspects of Squeak and the Smalltalk-80 Programming Language |
|
http://www.cs.utk.edu/~shi/link_prog.htm
(260 words)
|
|
| |
| | :: Computers :: Programming :: Languages :: ML :: Operating Sy... |
| | Home :: Computers :: Programming :: Languages :: ML :: Operating_Sy... | | | Web Search for Computers Programming Languages ML Operating Sy... | | | - News search for Computers Programming Languages ML Operating Sy... |
|
http://www.localadsearch.com/Computers/Programming/Languages/ML/Operating_Sy...
(104 words)
|
|
| |
| | [SDL] Using the programming language "ML"? |
| | I graduated from Penn State, which has an excellent functional programming languages department (Dale Miller, Department Head, is one of the primary developers of Lambda Prolog). | | | I'll actually keep this on list since I'm a functional language bigot ;). | | | On Tue, Aug 24, 1999 at 10:53:35AM +0200, ANOQ of the Sun wrote: > I would like to know if anyone has serious > interest in developing games (commercially) using > the programming language "Standard ML"? |
|
http://www.libsdl.org/pipermail/sdl/1999-August/021673.html
(237 words)
|
|
| |
| | Standard ML of NJ User's Guide |
| | This structure contains runtime-system interface and operating-system interface functions that are not part of the international standard. | | | SML/NJ is available for free on the World-Wide Web; follow the installation instructions there. | | | The SML/NJ library includes modules for binary search trees, adjustable arrays, and other useful data structures. |
|
http://flint.cs.yale.edu/cs421/smlnj/doc
(354 words)
|
|
| |
| | CSCI430I05ProgrammngParadigms |
| | A survey of approaches to problem solving using non-imperative language features from the fucntional, logical, object-oriented, and concurrent paradigms. | | | However, since Unix is an important environment for learning many programming languages, students might be interested in the following links. | | | Declarative languages have a wide use in knowledge representation and document representation. |
|
http://www.bridgewater.edu/~rschneid/Archive/Courses/I05/CSCI430I05ProgrammngParadigms.html
(527 words)
|
|
| |
| | Programmin Concepts 2 |
| | Your second programming project will be to complete a tutorial in the functional programming language ML. | | | You will first select a machine which you plan to use for development, and install the ML programming language on that machine. | | | The input to the membership function will be n, set1[], and an integer k, which represents the element to be checked for membership. |
|
http://www.southwestern.edu/~denman/rick/courses/pl/proj2/PlSp03Proj2.htm
(304 words)
|
|
| |
| | Book review: Elements of ML Programming |
| | Hackers should read this book because it demonstrates an style of programming, which will benefit your programming in more conventional languages. | | | There are lots of examples and exercises, which you can try out by downloading the SML/NJ implementation. | | | ML is mostly a functional language, though it supports some degree of imperative programming, and is an elegant system worth attention. |
|
http://www.amk.ca/books/h/Elements_ML_Programming.html
(330 words)
|
|
| |
| | JCP Releases JavaServer Faces 1.0 |
| | Welcome to the most complex (xxx)ML programming language! |
|
http://www.theserverside.com/news/thread.jsp?thread_id=24318
(6536 words)
|
|
| |
| | Moscow ML Home Page |
| | Version 2.01 implements the full SML language, including SML Modules, and much of the SML Basis Library. | | | The CMU Foxnet project - more on-line information about Standard ML | | | Mads Tofte's Tips for Computer Scientists on Standard ML ( |
|
http://www.dina.dk/~sestoft/mosml.html
(315 words)
|
|
| |
| | Introduction to Standard ML |
| | It was first given in autumn 2001 in the School of Computing at the University of Utah. | | | ML for the Working Programmer, by Larry Paulson | | | Introduction to Programming using SML, by Michael Hansen and Hans Rischel |
|
http://www.cs.utah.edu/classes/cs6110/mlindex.html
(150 words)
|
|
| |
| | Compiler Writing |
| | Particular CS courses that are helpful to have (but not required) include Computational Models (regular expressions and finite automata), Computer System Fundamentals (Assembly language programming), and Programming Language Design (ML programming language). | | | Become a better programmer by writing a compiler, a large and conceptually complex piece of software. | | | Understand the internal issues arising from language implementation. |
|
http://www.cs.jhu.edu/~scott/cw
(291 words)
|
|
| |
| | Standard ML of New Jersey |
| | The programming resources links will soon move to a separate page of their own. | | | Pointers to programming resources (libraries, tools, example code), projects using SML/NJ, other SML implementations, related compiler research work, and miscellaneous SML links. | | | Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. |
|
http://www.smlnj.org
(570 words)
|
|
| |
| | Extensible ML - Wikipedia, the free encyclopedia |
| | EML extends ML-style datatypes and functions with a class construct designed to be extended into hierarchies, thus allowing the programmer to seamlessly integrate the object-oriented programming paradigm with the traditional functional style. | | | This article is about the programming language called Extensible ML. | | | Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting. |
|
http://en.wikipedia.org/wiki/Extensible_ML_programming_language
(150 words)
|
|
| |
| | freshmeat.net: Browse project tree - Programming Language :: ML |
| | Compiler, development environment, and libraries for Standard ML Author: Matthias Blume | | | freshmeat.net: Browse project tree - Programming Language :: ML | | | Microsoft :: Windows :: Windows NT/2000/XP [Programming Language] |
|
http://freshmeat.net/browse/172
(378 words)
|
|
| |
| | Nemerle - TheBestLinks.com - Common Lisp, Functional programming, Macro, ML programming language, ... |
| | Nemerle is a hybrid functional, object oriented and imperative programming language for Microsoft.NET developed at Wroclaw University. | | | Nemerle, Common Lisp, Functional programming, Macro, ML programming language... | | | Nemerle - TheBestLinks.com - Common Lisp, Functional programming, Macro, ML programming language,... |
|
http://www.thebestlinks.com/Nemerle.html
(106 words)
|
|
| |
| | [SDL] Using the programming language "ML"? |
| | It is a typesafe language - meaning that when a program compiles there can only be the following kinds of errors: 1) Infinite loops (which the compiler unfortunately cannot detect) 2) Logical programming errors (like unintended "features") 3) Out of memory problems, which usually results in a shutdown. | | | Next message: [SDL] Using the programming language "ML"? | | | Sorry about this off-topic mail, but you guys are the only bunch of game developers that I know of :) I would like to know if anyone has serious interest in developing games (commercially) using the programming language "Standard ML"? |
|
http://www.libsdl.org/pipermail/sdl/1999-August/021672.html
(293 words)
|
|
| |
| | Extended ML |
| | The Extended ML formal development methodology establishes a number of ways of proceeding from a given specification of a programming task towards a finished Standard ML program. | | | Extended ML Extended ML Extended ML is a framework for the formal development of software systems in the Standard ML programming language from high-level specifications of their required input/output behaviour. | | | The Extended ML specification language is a simple extension of Standard ML, in which more information may be supplied in module interfaces (axioms in ML signatures) and less information is required in module bodies (axioms in place of code in ML structure/functor bodies). |
|
http://www.cl.cam.ac.uk/Research/HVG/ARG_Talks/abstracts/abstract_930317.html
(186 words)
|
|
| |
| | Nuprl Basics - The ML programming language of Nuprl |
| | The term "ML" connotes the fact that it was a "meta-language" of computation for an earlier tactic prover at Edinburgh, namely LCF, as it is now for Nuprl. | | | Nuprl Basics - The ML programming language of Nuprl | | | (as well as a lot of editor code) is written in a dialect of ML described in the ML manual (postscript). |
|
http://www.cs.cornell.edu/home/sfa/Nuprl/NuprlPrimitives/Xwhatis_ml_doc.html
(84 words)
|
|
| |
| | Commentary on Standard ML - The MIT Press |
| | Together, the two volumes provide a complete understanding of the most prominent of a new group of functional programming languages that includes Haskell and Scheme. | | | The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. | | | The Commentary is also a working document that shows the way in which the specialized theory of ML can contribute to broader research on language design and semantics. |
|
http://mitpress.mit.edu/catalog/item?ttype=2&tid=8988
(177 words)
|
|
| |
| | Standard ML SourceForge Project |
| | With luck, it may return as free software in the future. | | | The Standard ML project supports coordination between different implementations of the Standard ML (SML) programming language by maintaining common tools and resources such as standard test suites. | | | Standard ML of New Jersey (SML/NJ) A free, open-source implementation of SML '97 that generates native code for a broad range of platforms. |
|
http://www.standardml.org
(272 words)
|
|
| |
| | sample program of ML programming language - Q&A |
| | Your answer will be published for anyone to see and rate. | | | sample program of ML programming language - Q&A | | | FAQS.ORG does not endorse any opinion or any product or service mentioned mentioned in these posts. |
|
http://www.faqs.org/qa/qa-13506.html
(163 words)
|
|
| |
| | Caml Special Light - caml ml sml programming language compiler |
| | Caml Special Light is an implementation of the Caml programming language, a strongly-typed, functional language from the ML family. | | | This package comprises two batch compilers (a fast bytecode compiler and an optimizing native-code compiler), an interactive toplevel system, Lex&Yacc tools, and a comprehensive library. | | | Caml Special Light - caml ml sml programming language compiler |
|
http://www.icewalkers.com/LSM/508a948c900913fa4c61edfe1c0f6235.html
(104 words)
|
|
|
