Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Functional programming languages


Related Topics

  
  Functional programming - Wikipedia, the free encyclopedia
Functional programming appears to be missing several constructs often (though incorrectly) considered essential to an imperative language such as C or Pascal.
Functional languages have remained largely the domain of academics and hobbyists, and what little inroads have been made are due to impure functional languages such as Erlang and Common Lisp.
Higher-order functions were studied in the lambda calculus theory well before the notion of functional programming existed and are present the design of a number of functional programming languages, such as Scheme and Haskell.
en.wikipedia.org /wiki/Functional_programming   (2134 words)

  
 Functional programming - Encyclopedia.WorldSearch   (Site not responding. Last check: 2007-11-07)
Currying is a technique for rewriting a function with multiple parameters as a function with one parameter that maps to another function of one parameter and so on until all parameters are exhausted.
Higher-order functions were studied in the lambda calculus theory long before the notion of functional programming existed, and have influenced the design of several functional programming languages, such as Haskell, and have even spawned the function-level programming paradigm, which includes languages such as Backus' FP.
As modern imperative languages and their implementations have started to include greater emphasis on correctness, rather than raw speed, and the implementations of functional languages have begun to emphasise speed as well as correctness, the performance of functional languages and imperative languages has begun to converge.
encyclopedia.worldsearch.com /functional_programming.htm   (1765 words)

  
 Functional Programming
Functional programming languages are the result of both abstracting and generalizing the data type of maps.
Functional programming dispenses with the assignment command freeing the programmer from the rigidly sequential mode of thought required with the assignment command.
Functional programming languages are called applicative since the functions are applied to their arguments, declarative and non-procedural since the definitions specify what is computed and not how it is computed.
www.cs.jhu.edu /~jason/465/lambdacalc.html   (4274 words)

  
 Directory - Computers: Programming: Languages: Functional
ICFP 2002  · cached · The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages.
The Abyss of Functional Language  · a collection of links relating to FP Alcool-90 (FTP)  · Alcool-90 is an experimental extension of ML with run-time overloading and a type-based notion of modules, functors and inheritance.
Afnix Programming Language  · cached · A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic protection engine for shared objects.
www.incywincy.com /default?p=6216   (772 words)

  
 Directory - Computers: Programming: Languages: Functional   (Site not responding. Last check: 2007-11-07)
Functional programming is a style of programming emphasizing evaluating expressions, rather than executing commands.
Functional languages are those supporting and encouraging programming in a functional style.
A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic protection engine for shared objects.
www.deerlakesearch.com /default?p=6216   (715 words)

  
 Dmoz links Programming Languages Functional   (Site not responding. Last check: 2007-11-07)
Afnix Programming Language - A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic protection engine for shared objects.
Functional Programming Languages in Education - A collection of information on the use of functional programming in teaching.
ICFP 2002 - The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages.
programming.intrebare.ro /ProgrammingLanguagesFunctional.html   (717 words)

  
 Functional Programming Languages and Data Types
Functional programming languages and executable algebraic specification languages do have a number of features in common.
Functions are not restricted to ``normal'' data types, they can take functions as inputs and return a function as a result.
In common with most modern programming languages, Miranda has facilities which support data types and one such feature is the so-called ``algebraic type''.
scom.hud.ac.uk /staff/scomtlm/book/node252.html   (562 words)

  
 Functional Logic Programming
A functional logic programming language is a programming language that joins in a single paradigm features of logic programming and functional programming.
The advantages of functional logic programming languages over pure functional or pure logic languages can be better understood by comparing the implementations of a textbook example of a well-known problem.
Curry is a general purpose programming language proposed as the lingua franca of the functional logic community.
www.cs.pdx.edu /~antoy/research/flp   (1080 words)

  
 Object-Oriented Software Design and Programming [encyclopedia]   (Site not responding. Last check: 2007-11-07)
Object-oriented programming is a method of software implementation in which programs are organized as cooperative collections of objects, each of which represents an instance of some class, and whose classes are all members of a hierarchy of classes united via inheritance relationship.
Functions and structures are not formally connected in C. A C function can operate on more than one type of structure, and more than one function can operate on the same structure.
C++ is a general-purpose programming language with a bias towards systems programming, that supports low-level programming in traditional styles, data abstraction, object-oriented programming, and generic programming.
kosmoi.com /Computer/Programming/OO   (1961 words)

  
 Functional programming languages
A functional or applicative language is one in which the computational model is that of expression evaluation.
If a procedural language like Modula-2 or Ada was stripped of all its statements, its variables, its arrays it would be close to a functional language, but a very weak one.
Actually functional programs often interact with files and other parts of their environment but how this is fitted into the simple functional model is quite problematic.
homepages.feis.herts.ac.uk /~msc_fl/fl-node52.html   (291 words)

  
 Functional Programming   (Site not responding. Last check: 2007-11-07)
Since functional programming languages are based on mathematical concepts, they are amenable to formal analysis and manipulation.
The goal is to build a large system for optimising functional programs, which consists of a variable number of arbitrarily combineable transformation modules.
We study as-yet unimplemented program transformations described in the literature, discuss their implementation and the design of the whole system, and messure the effect of transformations and the interplay of several transformations.
www-i2.informatik.rwth-aachen.de /Forschung/FP   (725 words)

  
 FAQ for comp.lang.functional
Comp.lang.functional is an unmoderated usenet newsgroup for the discussion of all aspects of functional programming languages, including their design, application, theoretical foundation, and implementation.
Mercury is a logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection facilities.
Sisal (Streams and Iteration in a Single Assignment Language) is a functional language designed with several goals in mind: to support clear, efficient expression of scientific programs; to free application programmers from details irrelevant to their endeavors; and, to allow automatic detection and exploitation of the parallelism expressed in source programs.
www.cs.nott.ac.uk /Department/Staff/gmh/faq.html   (5780 words)

  
 ICFP Functional Programming Contest   (Site not responding. Last check: 2007-11-07)
Programming languages that help programmers to rapidly construct complex systems may allow contestants to attempt particularly sophisticated implementations in the 72 hours allotted for programming.
This programming contest is being conducted by ICFP, which implies a context of functional programming.
However, rather than debate the definition of a "functional programming language," we will allow submitted programs to be written in any language whatsoever, as long as it has an implementation for Linux x86.
www.ai.mit.edu /extra/icfp-contest   (1397 words)

  
 The International Conference on Functional Programming (ICFP)
ICFP (International Conference on Functional Programming) is a new annual programming language conference combining two former biennial conferences: Functional Programming and Computer Architecture (FPCA) and Lisp and Functional Programming (LFP).
The ICFP conference combines the established LISP and Functional Programming (LFP) and Functional Programming and Computer Architecture (FPCA) conferences into a unified annual meeting devoted to the design, analysis, implementation, and application of functional programming languages.
Languages of interest include established languages such as LISP, Scheme, Sisal, ML, Haskell, and Id, as well as novel designs in the functional programming tradition.
www.cs.luc.edu /icfp   (473 words)

  
 A BRIEF SURVEY OF FUNCTIONAL PROGRAMMING LANGUAGES   (Site not responding. Last check: 2007-11-07)
It is still a widely used functional language, which is often used as language in basic courses on functional programming.
The functional language that is probably being most used in industry is Erlang, a functional language with concurrent processes.
The main reason to use functional languages for this class of application is the very straightforward parallelization of functional programs, which was hoped to outweigh the loss of efficiency that functional program often experience from their more costly evaluation mechanisms and memory requirements.
www.idt.mdh.se /kurser/cd5100/ht02/history.html   (658 words)

  
 FPLE: Functional Programming Languages in Education   (Site not responding. Last check: 2007-11-07)
Functional languages are gathering momentum in education because they facilitate the expression of concepts and structures at a high level of abstraction.
It is the aim of these web pages to collect information on the use of functional programming in teaching.
Functional languages are to be understood here in a broad sense, including lazy and strict functional languages, languages with a powerful functional subset and algebraic specification formalisms.
www.cs.ru.nl /fple   (143 words)

  
 Functional Programming Languages
The typical comparison is that "functional" languages are thought of as distinct from "imperative" languages.
ML (which stands for "meta language") is a family of programming languages characterized by functional control structures, strict semantics, a strict polymorphic type system, and parametrized modules.
This language is unique in the functional community in that it is in use in industry for large scale software projects.
cbbrowne.com /info/functional.html   (1481 words)

  
 Towards More Natural Functional Programming Languages   (Site not responding. Last check: 2007-11-07)
Programming languages are the way for a person to express a mental plan in a way that the computer can understand.
This talk will present a quick summary of new and old results in what is known about people and programming, from areas that are sometimes called "empirical studies of programmers" and "psychology of programming." Much is known about what people find difficult, and what syntax and language features are especially tricky and bug-prone.
A report on the usability of various programming languages, as evaluated using HCI principles.
www.cs.cmu.edu /~NatProg/ICFP02   (240 words)

  
 Claus Reinke 's Bookmarks: Functional Programming
This also means that if you have information on functional programming on the web, you should try to make sure that your pages are reachable via this collection, and that any information included here is correct and up-to-date.
Particular emphasis is laid on the application of algebraic and functional programming languages (Opal) and calculi for
Glasgow Parallel Haskell, or GPH for short, is a non-strict parallel functional programming language.
www.cs.kent.ac.uk /people/staff/cr3/FP   (2736 words)

  
 Data-Parallel Functional Programming Languages
The data-parallel languages in practical use today are, however, exponents of exactly the latter point of view: even though they incorporate some elements of abstraction, their semantics is in every case to some extent based on a SIMD
We have analyzed and evaluated existing data-parallel programming languages and parallel execution techniques [Hammarlund and Lisper, 1992].
Thus, from a programming perspective there is no difference between the function that generates a data-parallel entity and the data parallel entity as such.
www.pdc.kth.se /info/reports/1992/section2_9_1.html   (391 words)

  
 Directory : Computers : Programming : Languages : Functional   (Site not responding. Last check: 2007-11-07)
A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic prot
» Extended ML EML is a framework for specification and formal development of Standard ML programs.
The 2002 International Conference on Functional Programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the fun
celebritybox.com /Top/Computers/Programming/Languages/Functional   (603 words)

  
 Omniseek: /Computing /Programming Languages /Functional Languages
Crosslinks: Usenets, Newspapers, Magazines and Ezines: Computers and Computers Functional Language FAQ This is the frequently asked question and answer for functional language programming which...
Programs in a functional programming language can be used as clear operational specifications.
This introduction to Miranda was created by Farhanah Akilwala and Kimberly Blessing for their Programming Languages course at Bryn Mawr College.
www.omniseek.com /srch/{73365}   (365 words)

  
 Omniseek: /Computing /Programming /Languages /Functional Languages /
Functional languages are gathering momentum in education because they facilitate the expression of concepts and structures a
Compiler Archive [Prev][Next][Index][Thread] Re: Speed of FP languages, prospects (was Re: Benchmarking Lazy Functional Languages) Subject : Re: Speed...
The research on the use and implementation of functional programming languages has been going on within the Programming Methodology Group since before 1980.
www.omniseek.com /srch/{22454}   (351 words)

  
 Hugs 98
Hugs 98 is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages.
A wide range of built-in types, from characters to bignums, and lists to functions, with comprehensive facilities for defining new datatypes and type synonyms.
All of the features of the Haskell 98 expression and pattern syntax including lambda, case, conditional and let expressions, list comprehensions, do-notation, operator sections, and wildcard, irrefutable and `as' patterns.
www.haskell.org /hugs   (182 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.