|
| |
| | Functional programming - Wikipedia, the free encyclopedia |
 | | Functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions. | | | Efforts are underway to develop quantum functional programming languages, to express quantum algorithms, and further the development of this field. | | | A much-improved functional programming language was LISP, developed by John McCarthy while at MIT for the IBM 700/7000 series scientific computers in the late 1950s. |
|
http://en.wikipedia.org/wiki/Functional_programming_language
(1870 words)
|
|
| |
| | Functional Programming with Python LG #109 |
| | Functional programmers use recursive invocation of functions (iteration is considered to be a special case of recursion and specific iteration constructs like the `while' or `for' loop may be absent altogether) to program repetitive behaviour. | | | The functional programming paradigm encourages us to structure our programs as collections of `pure' functions which do not have any global state and which do not make use of the assignment operator (note that this is not possible in all situations; a banking system will surely have to `remember' lots of stuff). | | | Functions are considered `first class', ie, they can be passed to other functions and returned from other functions thereby facilitating the creation of what are called `higher order functions' - a powerful idea which can capture concisely many complex computational patterns when combined with the idea of `closures'. |
|
http://linuxgazette.net/109/pramode.html
(1813 words)
|
|
| |
| | Functional programming in the Java language |
| | Imperative programming is a methodology that describes computation in terms of program states. | | | From a functional programming standpoint, the expression is not yet a general piece of logic; that is, it cannot be passed around and asked to execute whenever you want, without regard to the current position of execution control. | | | Since this type of development is inherent to the functional programming paradigm, it seems natural to use functional programming techniques when developing modular code on the Java platform. |
|
http://www-128.ibm.com/developerworks/java/library/j-fp.html
(4841 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. |
|
http://www.cs.pdx.edu/~antoy/research/flp
(1080 words)
|
|
| |
| | functional programming - a Whatis.com definition |
| | Erlang programming language is described as a functional programming language. | | | ITU-TS, functional programming is "a method for structuring programs mainly as sequences of possibly nested function procedure calls." A function procedure is a relatively simple program that is called by other programs and derives and returns a value to the program that called it. | | | 1) Functional programming is a style of programming that emphasizes the evaluation of expressions rather than the execution of commands. |
|
http://whatis.techtarget.com/definition/0,,sid9_gci212168,00.html
(181 words)
|
|
| |
| | Open Directory - Computers: Programming: Languages: Functional |
| | Functional Programming Languages in Education - A collection of information on the use of functional programming in teaching. | | | Q Equational Programming Language - An extensible functional programming language based on the term rewriting calculus. | | | Eden - A functional language that aims at the programming of reactive systems and parallel algorithms on distributed memory systems. |
|
http://dmoz.org/Computers/Programming/Languages/Functional
(655 words)
|
|
| |
| | Charming Python: Functional programming in Python, Part 1 |
| | I've found it much easier to get a grasp of functional programming in the language Haskell than in Lisp/Scheme (even though the latter is probably more widely used, if only in Emacs). | | | FP worries about what is to be computed rather than how it is to be computed. | | | A very large percentage of program errors -- and the problem that drives programmers to debuggers -- occur because variables obtain unexpected values during the course of program execution. |
|
http://www-106.ibm.com/developerworks/linux/library/l-prog.html
(2366 words)
|
|
| |
| | ICFP Functional Programming Contest |
| | 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. | | | 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. | | | We've designed the programming contest for direct, head-to-head comparison of language technology and programming skill. |
|
http://www.ai.mit.edu/extra/icfp-contest
(1397 words)
|
|
| |
| | XML.com: Functional Programming and XML |
| | XML is generally declarative, as are functional programming languages. | | | As is all too common in the programming world, much of the XML community has identified itself and all its works with object oriented programming (OOP). | | | While there are many ways to classify functional languages according to technical features and formal properties, such divisions tend to be more useful to the FP experienced, degenerating into mere buzzwords for the novice. |
|
http://www.xml.com/lpt/a/2001/02/14/functional.html
(3030 words)
|
|
| |
| | Tutorial Papers in Functional Programming |
| | Foundations of Functional Programming, which focusses on the lambda-calculus. | | | Chalmers' course in Advanced Functional Programming using Haskell. | | | Introduction to Functional Programming using Gofer, by P.E.Wentworth (100 pages). |
|
http://www.cs.chalmers.se/~rjmh/tutorials.html
(235 words)
|
|
| |
| | Functional Programming Languages |
| | A functional language is a language that supports and encourages programming in a functional style. | | | This language is unique in the functional community in that it is in use in industry for large scale software projects. | | | Mercury has the clean semantics and clarity of modern functional programming languages, and the expressiveness of logic languages. |
|
http://linuxfinances.info/info/functional.html
(1481 words)
|
|
| |
| | Functional Programming |
| | Since functional programming languages are based on mathematical concepts, they are amenable to formal analysis and manipulation. | | | Hence the efficiency of program execution can be considerably improved by program transformations or modifications of the execution model using information gained by static analysis of programs. | | | This system shall itself be implemented in a functional programming language. |
|
http://www-i2.informatik.rwth-aachen.de/Forschung/FP
(725 words)
|
|
| |
| | Functional Programming |
| | Functional prototyping was used in the SERC/EPSRC funded projects GR/F01833 (1989/92), for the rapid prototyping and parallel implementation of algorithms for high level image interpretation, and GR J07884 (1993/96), for the development of a large, reconfigurable, multi-source, parallel vision system. | | | The functional language Navel has been developed to enable the implementation of programming languages as interpreters from their formal semantics. | | | Hume is a novel programming language based on concurrent finite state machines driven by pattern matching and polymorphic functions. |
|
http://www.cee.hw.ac.uk/Research/funct_prog.html
(2327 words)
|
|
| |
| | Journal of Functional Programming |
| | Linguistics includes the study of specific functional languages and language features such as non-determinism, side effects, and logical variables; methodologies that facilitate reasoning, proof and transformation of programs, including partial evaluation and program synthesis; and the relationship to other programming paradigms. | | | Finally, under Applications we consider the use of functional languages in solving real-world problems, either in isolation or as a basis for embedded systems, reports of practical experience, programming techniques, prototyping, and uses of functional languages in education. | | | Implementation of functional languages includes compilation strategies for both uniprocessors and parallel processors; design of novel architectures such as dataflow and graph reduction machines; systems issues such as garbage collection and I/O; and environment issues such as debugging, profiling, and configuration management. |
|
http://www.cambridge.org/uk/journals/JFP
(274 words)
|
|
| |
| | Functional Logic Programming |
| | Functional logic programming aims to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. | | | In comparison with pure logic languages, functional logic languages have a more efficient operational behavior since functions provide for more efficient evaluation strategies (lazy evaluation, deterministic reductions) than predicates. | | | In comparison with pure functional languages, functional logic languages have more expressive power due to the availability of features like function inversion, partial data structures, existential variables, and non-deterministic search. |
|
http://www.informatik.uni-kiel.de/~mh/FLP
(142 words)
|
|
| |
| | Claus Reinke 's Bookmarks: Functional Programming |
| | The main criterion for being real-world is that the program was | | | ICFP is devoted to the design, analysis, implementation, and application of functional programming languages. | | | Entre is an interpreter for a toy functional programming language. |
|
http://www.cs.kent.ac.uk/people/staff/cr3/FP
(2736 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. | | | Conference on Declarative Programming Languages in Education (DPLE'97). |
|
http://www.cs.luc.edu/icfp
(489 words)
|
|
| |
| | Functional Programming at St Andrews - Home |
| | Functional programming involves writing programs using pure functions. | | | See the introduction to functional programming and our publications page for more details about our work. | | | Unlike conventional programming (including much object-oriented programming), side-effects are completely eradicated. |
|
http://www-fp.dcs.st-and.ac.uk
(183 words)
|
|
| |
| | Why Functional Programming Matters |
| | As examples, we manipulate lists and trees, program several numerical algorithms, and implement the alpha-beta heuristic (an algorithm from Artificial Intelligence used in game-playing programs). | | | Since modularity is the key to successful programming, functional languages are vitally important to the real world. | | | Slightly revised versions appeared in 1989 and 1990 in the Computer Journal and the Year of Programming. |
|
http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html
(221 words)
|
|
| |
| | Functional Reactive Programming Research |
| | Functional Reactive Programming is a paradigm for reactive programming in a functional setting. | | | The following are the people currently working on Functional Reactive Programming: | | | A number of different systems have been proposed and and sometimes implemented: some with very specific application domains in mind, some aiming at hard performance guarantees, and some being general-purpose FRP implementations. |
|
http://www.haskell.org/frp
(84 words)
|
|
| |
| | Haskell - HaskellWiki |
| | Haskell is a general purpose, purely functional programming language. | | | An interview with Audrey Tang about her Pugs project (a Perl 6 implementation in Haskell). | | | The teams winning first and third place in the ICFP 2005 programming contest both used Haskell. |
|
http://www.haskell.org
(156 words)
|
|
| |
| | Functional Programming FP |
| | Search my bibliography for functional programming FP (lots). | | | Functional Programming FP Functional Programming FP LA home | | | This is not intended to be a production FP system; it is written in Pascal and is as small and simple as possible (and is lacking a type-checker and a garbage collector). |
|
http://www.csse.monash.edu.au/~lloyd/tildeFP
(56 words)
|
|
| |
| | Introduction to Functional Programming (1995/96) |
| | Lecture notes for Larry Paulson's course on Foundations of Functional Programming. | | | Introduction to ML: basic types, functions, polymorphism, recursion, equality types, structured types, pattern matching, exceptions. | | | Object-Oriented Programming and Standard ML by Lars Thorup and Mads Tofte (pages in reverse order). |
|
http://www.cl.cam.ac.uk/users/mjcg/Teaching/FuncProg/FuncProg.html
(157 words)
|
|
|
