functional programming
(FP) A program in a functional language consists of a set of (possibly ef="module.php?name=Lexikon&file=search&eid=1&query=recursive">recursive) ef="module.php?name=Lexikon&file=search&eid=1&query=function">function definitions and an expression whose value is output as the program' s result. Functional languages are one kind of ef="module.php?name=Lexikon&file=search&eid=1&query=declarative language">declarative language. They are mostly based on the ef="module.php?name=Lexikon&file=search&eid=1&query=typed lambda-calculus">typed lambda-calculus with constants. There are no ef="module.php?name=Lexikon&file=search&eid=1&query=side-effects">side-effects to expression evaluation so an expression, e.g. a function applied to certain arguments, will always evaluate to the same value (if its evaluation terminates). Furthermore, an expression can always be replaced by its value without changing the overall result (ef="module.php?name=Lexikon&file=search&eid=1&query=referential transparency">referential transparency). The order of evaluation of subexpressions is determined by the language' s ef="module.php?name=Lexikon&file=search&eid=1&query=evaluation strategy">evaluation strategy. In a ef="module.php?name=Lexikon&file=search&eid=1&query=strict">strict (ef="module.php?name=Lexikon&file=search&eid=1&query=call-by-value">call-by-value) language this will specify that arguments are evaluated before applying a function whereas in a non-strict (ef="module.php?name=Lexikon&file=search&eid=1&query=call-by-name">call-by-name) language arguments are passed unevaluated. Programs written in a functional language are generally compact and elegant, but have tended, until recently, to run slowly and require a lot of memory. examples of purely functional languages are ef="module.php?name=Lexikon&file=search&eid=1&query=Clean">Clean, ef="module.php?name=Lexikon&file=search&eid=1&query=FP">FP, ef="module.php?name=Lexikon&file=search&eid=1&query=Haskell">Haskell, ef="module.php?name=Lexikon&file=search&eid=1&query=Hope">Hope, ef="module.php?name=Lexikon&file=search&eid=1&query=Joy">Joy, ef="module.php?name=Lexikon&file=search&eid=1&query=LML">LML, ef="module.php?name=Lexikon&file=search&eid=1&query=Miranda">Miranda, and ef="module.php?name=Lexikon&file=search&eid=1&query=SML">SML. Many other languages such as ef="module.php?name=Lexikon&file=search&eid=1&query=Lisp">Lisp have a subset which is purely functional but also contain non-functional constructs. See also ef="module.php?name=Lexikon&file=search&eid=1&query=lazy evaluation">lazy evaluation, ef="module.php?name=Lexikon&file=search&eid=1&query=reduction">reduction. {Lecture notes (ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1995-01.ps)}. or the same {in dvi-format (ftp://ftp.cs.olemiss.edu/pub/tech-reports/umcis-1995-01.dvi)}. {FAQ (http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html)}. {SeL-HPC Article Archive (http://www.lpac.ac.uk/SeL-HPC/Articles/)}. (2003-03-25) e="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">In addition suitable contents:
[ ef="module.php?name=Lexikon&op=content&tid=31">2 ] [ ef="module.php?name=Lexikon&op=content&tid=134">= ] [ ef="module.php?name=Lexikon&op=content&tid=383">af ] [ ef="module.php?name=Lexikon&op=content&tid=396">ag ] [ ef="module.php?name=Lexikon&op=content&tid=411">ai ] [ ef="module.php?name=Lexikon&op=content&tid=433">al ] [ ef="module.php?name=Lexikon&op=content&tid=544">am ] [ ef="module.php?name=Lexikon&op=content&tid=592">an ] [ ef="module.php?name=Lexikon&op=content&tid=683">app ] [ ef="module.php?name=Lexikon&op=content&tid=738">aq ] [ ef="module.php?name=Lexikon&op=content&tid=740">ar ] [ ef="module.php?name=Lexikon&op=content&tid=743">arc ] [ ef="module.php?name=Lexikon&op=content&tid=759">arg ] [ ef="module.php?name=Lexikon&op=content&tid=760">argument ] [ ef="module.php?name=Lexikon&op=content&tid=800">as ] [ ef="module.php?name=Lexikon&op=content&tid=894">at ] [ ef="module.php?name=Lexikon&op=content&tid=996">av ] [ ef="module.php?name=Lexikon&op=content&tid=1023">az ] [ ef="module.php?name=Lexikon&op=content&tid=1026">b ] [ ef="module.php?name=Lexikon&op=content&tid=1034">ba ] [ ef="module.php?name=Lexikon&op=content&tid=1120">base ] [ ef="module.php?name=Lexikon&op=content&tid=1177">bd ] [ ef="module.php?name=Lexikon&op=content&tid=1181">be ] [ ef="module.php?name=Lexikon&op=content&tid=1606">bs ] [ ef="module.php?name=Lexikon&op=content&tid=1695">by ] [ ef="module.php?name=Lexikon&op=content&tid=1708">C ] [ ef="module.php?name=Lexikon&op=content&tid=1724">ca ] [ ef="module.php?name=Lexikon&op=content&tid=1765">call-by-name ] [ ef="module.php?name=Lexikon&op=content&tid=1768">call-by-value ] [ ef="module.php?name=Lexikon&op=content&tid=2001">ch ] [ ef="module.php?name=Lexikon&op=content&tid=2099">ci ] [ ef="module.php?name=Lexikon&op=content&tid=2138">cl ] [ ef="module.php?name=Lexikon&op=content&tid=2158">Clean ] [ ef="module.php?name=Lexikon&op=content&tid=2247">co ] [ ef="module.php?name=Lexikon&op=content&tid=2330">com ] [ ef="module.php?name=Lexikon&op=content&tid=2410">compact ] [ ef="module.php?name=Lexikon&op=content&tid=2545">con ] [ ef="module.php?name=Lexikon&op=content&tid=2606">cons ] [ ef="module.php?name=Lexikon&op=content&tid=2900">cu ] [ ef="module.php?name=Lexikon&op=content&tid=2941">cy ] [ ef="module.php?name=Lexikon&op=content&tid=2976">D ] [ ef="module.php?name=Lexikon&op=content&tid=3151">de ] [ ef="module.php?name=Lexikon&op=content&tid=3177">dec ] [ ef="module.php?name=Lexikon&op=content&tid=3193">declarative language ] [ ef="module.php?name=Lexikon&op=content&tid=3752">du ] [ ef="module.php?name=Lexikon&op=content&tid=3834">e ] [ ef="module.php?name=Lexikon&op=content&tid=3865">ec ] [ ef="module.php?name=Lexikon&op=content&tid=3896">ed ] [ ef="module.php?name=Lexikon&op=content&tid=3923">edu ] [ ef="module.php?name=Lexikon&op=content&tid=3929">ee ] [ ef="module.php?name=Lexikon&op=content&tid=3946">eg ] [ ef="module.php?name=Lexikon&op=content&tid=4007">elegant ] [ ef="module.php?name=Lexikon&op=content&tid=4148">er ] [ ef="module.php?name=Lexikon&op=content&tid=4150">era ] [ ef="module.php?name=Lexikon&op=content&tid=4171">es ] [ ef="module.php?name=Lexikon&op=content&tid=4199">et ] [ ef="module.php?name=Lexikon&op=content&tid=4246">evaluation ] [ ef="module.php?name=Lexikon&op=content&tid=4247">evaluation strategy ] [ ef="module.php?name=Lexikon&op=content&tid=4317">expression ] [ ef="module.php?name=Lexikon&op=content&tid=4396">FAQ ] [ ef="module.php?name=Lexikon&op=content&tid=4497">fi ] [ ef="module.php?name=Lexikon&op=content&tid=4520">file ] [ ef="module.php?name=Lexikon&op=content&tid=4700">fo ] [ ef="module.php?name=Lexikon&op=content&tid=4727">for ] [ ef="module.php?name=Lexikon&op=content&tid=4814">FP ] [ ef="module.php?name=Lexikon&op=content&tid=4939">Fun ] [ ef="module.php?name=Lexikon&op=content&tid=4940">function ] [ ef="module.php?name=Lexikon&op=content&tid=4941">functional ] [ ef="module.php?name=Lexikon&op=content&tid=4945">functional language ] [ ef="module.php?name=Lexikon&op=content&tid=4989">ga ] [ ef="module.php?name=Lexikon&op=content&tid=5057">ge ] [ ef="module.php?name=Lexikon&op=content&tid=5070">gen ] [ ef="module.php?name=Lexikon&op=content&tid=5141">gi ] [ ef="module.php?name=Lexikon&op=content&tid=5200">gm ] [ ef="module.php?name=Lexikon&op=content&tid=5291">gr ] [ ef="module.php?name=Lexikon&op=content&tid=5403">gu ] [ ef="module.php?name=Lexikon&op=content&tid=5430">gy ] [ ef="module.php?name=Lexikon&op=content&tid=5434">h ] [ ef="module.php?name=Lexikon&op=content&tid=5493">hang ] [ ef="module.php?name=Lexikon&op=content&tid=5540">hat ] [ ef="module.php?name=Lexikon&op=content&tid=5710">Hope ] [ ef="module.php?name=Lexikon&op=content&tid=5722">hose ] [ ef="module.php?name=Lexikon&op=content&tid=5747">HP ] [ ef="module.php?name=Lexikon&op=content&tid=5768">hr ] [ ef="module.php?name=Lexikon&op=content&tid=5779">ht ] [ ef="module.php?name=Lexikon&op=content&tid=5931">id ] [ ef="module.php?name=Lexikon&op=content&tid=5956">ie ] [ ef="module.php?name=Lexikon&op=content&tid=6013">il ] [ ef="module.php?name=Lexikon&op=content&tid=6064">in ] [ ef="module.php?name=Lexikon&op=content&tid=6413">io ] [ ef="module.php?name=Lexikon&op=content&tid=6449">ir ] [ ef="module.php?name=Lexikon&op=content&tid=6482">is ] [ ef="module.php?name=Lexikon&op=content&tid=6558">it ] [ ef="module.php?name=Lexikon&op=content&tid=6589">J ] [ ef="module.php?name=Lexikon&op=content&tid=6717">Joy ] [ ef="module.php?name=Lexikon&op=content&tid=6789">ke ] [ ef="module.php?name=Lexikon&op=content&tid=6822">ki ] [ ef="module.php?name=Lexikon&op=content&tid=6918">la ] [ ef="module.php?name=Lexikon&op=content&tid=6939">lambda-calculus ] [ ef="module.php?name=Lexikon&op=content&tid=6950">language ] [ ef="module.php?name=Lexikon&op=content&tid=7004">lazy evaluation ] [ ef="module.php?name=Lexikon&op=content&tid=7014">lc ] [ ef="module.php?name=Lexikon&op=content&tid=7091">Lex ] [ ef="module.php?name=Lexikon&op=content&tid=7107">li ] [ ef="module.php?name=Lexikon&op=content&tid=7203">Lisp ] [ ef="module.php?name=Lexikon&op=content&tid=7254">LML ] [ ef="module.php?name=Lexikon&op=content&tid=7399">ls ] [ ef="module.php?name=Lexikon&op=content&tid=7410">lt ] [ ef="module.php?name=Lexikon&op=content&tid=7415">lu ] [ ef="module.php?name=Lexikon&op=content&tid=7441">ly ] [ ef="module.php?name=Lexikon&op=content&tid=7457">M ] [ ef="module.php?name=Lexikon&op=content&tid=7463">ma ] [ ef="module.php?name=Lexikon&op=content&tid=7678">mc ] [ ef="module.php?name=Lexikon&op=content&tid=7749">memory ] [ ef="module.php?name=Lexikon&op=content&tid=7833">mh ] [ ef="module.php?name=Lexikon&op=content&tid=7979">Miranda ] [ ef="module.php?name=Lexikon&op=content&tid=8007">ML ] [ ef="module.php?name=Lexikon&op=content&tid=8008">ml ] [ ef="module.php?name=Lexikon&op=content&tid=8019">mm ] [ ef="module.php?name=Lexikon&op=content&tid=8032">mo ] [ ef="module.php?name=Lexikon&op=content&tid=8040">mod ] [ ef="module.php?name=Lexikon&op=content&tid=8079">module ] [ ef="module.php?name=Lexikon&op=content&tid=8167">mp ] [ ef="module.php?name=Lexikon&op=content&tid=8228">ms ] [ ef="module.php?name=Lexikon&op=content&tid=8386">na ] [ ef="module.php?name=Lexikon&op=content&tid=8460">nc ] [ ef="module.php?name=Lexikon&op=content&tid=8472">ne ] [ ef="module.php?name=Lexikon&op=content&tid=8627">ng ] [ ef="module.php?name=Lexikon&op=content&tid=8630">ni ] [ ef="module.php?name=Lexikon&op=content&tid=8675">no ] [ ef="module.php?name=Lexikon&op=content&tid=8760">ns ] [ ef="module.php?name=Lexikon&op=content&tid=8964">om ] [ ef="module.php?name=Lexikon&op=content&tid=9014">op ] [ ef="module.php?name=Lexikon&op=content&tid=9176">output ] [ ef="module.php?name=Lexikon&op=content&tid=9204">pa ] [ ef="module.php?name=Lexikon&op=content&tid=9390">PC ] [ ef="module.php?name=Lexikon&op=content&tid=9457">pe ] [ ef="module.php?name=Lexikon&op=content&tid=9550">ph ] [ ef="module.php?name=Lexikon&op=content&tid=9651">pl ] [ ef="module.php?name=Lexikon&op=content&tid=9738">ply ] [ ef="module.php?name=Lexikon&op=content&tid=9821">port ] [ ef="module.php?name=Lexikon&op=content&tid=9908">pr ] [ ef="module.php?name=Lexikon&op=content&tid=10023">program ] [ ef="module.php?name=Lexikon&op=content&tid=10042">programming ] [ ef="module.php?name=Lexikon&op=content&tid=10181">purely functional language ] [ ef="module.php?name=Lexikon&op=content&tid=10198">Q ] [ ef="module.php?name=Lexikon&op=content&tid=10253">query ] [ ef="module.php?name=Lexikon&op=content&tid=10364">rc ] [ ef="module.php?name=Lexikon&op=content&tid=10385">re ] [ ef="module.php?name=Lexikon&op=content&tid=10433">recursive ] [ ef="module.php?name=Lexikon&op=content&tid=10453">reduction ] [ ef="module.php?name=Lexikon&op=content&tid=10470">referential transparency ] [ ef="module.php?name=Lexikon&op=content&tid=10767">ro ] [ ef="module.php?name=Lexikon&op=content&tid=10887">ru ] [ ef="module.php?name=Lexikon&op=content&tid=10892">run ] [ ef="module.php?name=Lexikon&op=content&tid=10918">S ] [ ef="module.php?name=Lexikon&op=content&tid=10922">sa ] [ ef="module.php?name=Lexikon&op=content&tid=10959">sam ] [ ef="module.php?name=Lexikon&op=content&tid=11149">Se ] [ ef="module.php?name=Lexikon&op=content&tid=11150">se ] [ ef="module.php?name=Lexikon&op=content&tid=11204">SeL ] [ ef="module.php?name=Lexikon&op=content&tid=11281">set ] [ ef="module.php?name=Lexikon&op=content&tid=11376">si ] [ ef="module.php?name=Lexikon&op=content&tid=11382">side-effect ] [ ef="module.php?name=Lexikon&op=content&tid=11510">sk ] [ ef="module.php?name=Lexikon&op=content&tid=11525">sl ] [ ef="module.php?name=Lexikon&op=content&tid=11594">SML ] [ ef="module.php?name=Lexikon&op=content&tid=11651">so ] [ ef="module.php?name=Lexikon&op=content&tid=11790">spec ] [ ef="module.php?name=Lexikon&op=content&tid=11934">st ] [ ef="module.php?name=Lexikon&op=content&tid=12090">strict ] [ ef="module.php?name=Lexikon&op=content&tid=12109">struct ] [ ef="module.php?name=Lexikon&op=content&tid=12133">su ] [ ef="module.php?name=Lexikon&op=content&tid=12359">T ] [ ef="module.php?name=Lexikon&op=content&tid=12588">th ] [ ef="module.php?name=Lexikon&op=content&tid=12708">tm ] [ ef="module.php?name=Lexikon&op=content&tid=12721">to ] [ ef="module.php?name=Lexikon&op=content&tid=12777">tp ] [ ef="module.php?name=Lexikon&op=content&tid=12787">tr ] [ ef="module.php?name=Lexikon&op=content&tid=12896">tt ] [ ef="module.php?name=Lexikon&op=content&tid=12970">type ] [ ef="module.php?name=Lexikon&op=content&tid=12975">typed lambda-calculus ] [ ef="module.php?name=Lexikon&op=content&tid=12986">ua ] [ ef="module.php?name=Lexikon&op=content&tid=13018">uk ] [ ef="module.php?name=Lexikon&op=content&tid=13030">um ] [ ef="module.php?name=Lexikon&op=content&tid=13175">us ] [ ef="module.php?name=Lexikon&op=content&tid=13252">va ] [ ef="module.php?name=Lexikon&op=content&tid=13260">value ] [ ef="module.php?name=Lexikon&op=content&tid=13310">ve ] [ ef="module.php?name=Lexikon&op=content&tid=13366">vi ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (11598 Reads) |
