Meta tags:
Headings (most frequently used words):
programming, functional, comparison, to, imperative, and, functions, strict, non, contents, history, concepts, logic, applications, see, also, notes, references, further, reading, external, links, first, class, higher, order, pure, recursion, versus, evaluation, type, systems, referential, transparency, data, structures, vs, simulating, state, efficiency, issues, in, languages, text, editors, spreadsheets, microservices, academia, industry, education, abstraction, cost,
Text of the page (most frequently used words):
the (317), #programming (201), and (197), functional (168), for (94), retrieved (79), languages (66), language (65), functions (60), with (58), from (57), are (56), that (53), can (50), function (39), such (38), data (36), imperative (34), this (32), order (32), edit (31), programs (30), 2009 (29), archived (29), original (29), higher (28), doi (28), which (28), use (27), logic (26), not (26), evaluation (26), have (26), recursion (25), used (25), pure (24), other (23), first (23), pdf (22), some (22), example (21), type (21), program (21), lambda (21), computer (21), java (20), haskell (19), isbn (19), 2024 (19), state (19), has (19), code (18), was (18), lisp (18), based (18), 2006 (18), also (18), its (18), mother (18), acm (17), using (16), types (16), object (16), lazy (16), 1145 (16), developed (16), all (15), org (15), oriented (15), style (15), class (15), 2011 (15), may (14), structures (14), john (14), calculus (14), scheme (14), clojure (14), s2cid (14), while (14), list (13), strict (13), 2013 (13), 2021 (13), science (13), most (13), arguments (13), they (13), been (13), side (13), effects (13), concurrent (12), immutable (12), part (12), python (12), implementation (12), 2008 (12), 2020 (12), like (12), scala (12), being (12), tail (12), history (12), their (12), purely (11), 978 (11), rust (11), compiler (11), but (11), articles (10), level (10), system (10), more (10), article (10), new (10), theory (10), 2007 (10), erlang (10), journal (10), systems (10), values (10), conference (10), one (10), including (10), however (10), into (10), even (10), result (10), main (10), non (9), computing (9), april (9), common (9), university (9), cufp (9), same (9), classes (9), expressions (9), since (9), when (9), many (9), any (9), them (9), called (9), features (8), design (8), simon (8), peter (8), press (8), structure (8), closures (8), charles (8), well (8), form (8), harry (8), loop (8), time (8), wikipedia (7), terms (7), paradigms (7), array (7), application (7), large (7), does (7), 2018 (7), perl (7), approach (7), book (7), why (7), communications (7), standard (7), 2012 (7), march (7), popular (7), notation (7), optimizations (7), applications (7), ocaml (7), between (7), turing (7), concepts (7), these (7), sometimes (7), several (7), research (7), means (7), map (7), implemented (7), number (7), memory (7), int (7), allow (7), page (6), july (6), javascript (6), august (6), php (6), third (6), second (6), machine (6), paradigm (6), comparison (6), space (6), algebraic (6), specific (6), value (6), anonymous (6), persistent (6), david (6), vol (6), 1998 (6), 2005 (6), sigplan (6), development (6), references (6), 2015 (6), analysis (6), church (6), industry (6), elizabeth (6), two (6), written (6), where (6), than (6), might (6), mutable (6), arrays (6), computations (6), way (6), toggle (5), about (5), text (5), statements (5), links (5), international (5), structured (5), concurrency (5), pattern (5), user (5), expression (5), dependent (5), recursive (5), nested (5), created (5), 1996 (5), limited (5), through (5), mit (5), how (5), curry (5), cambridge (5), 2017 (5), prevents (5), properties (5), returns (5), software (5), lang (5), computation (5), june (5), monads (5), hughes (5), uses (5), proceedings (5), information (5), proper (5), formal (5), concept (5), burstall (5), backus (5), landin (5), had (5), will (5), related (5), introduced (5), though (5), execution (5), strategy (5), diana (5), only (5), often (5), because (5), support (5), access (5), general (5), certain (5), express (5), return (5), variable (5), referential (5), transparency (5), transparent (5), typed (5), contents (4), search (4), developers (4), under (4), categories (4), cs1 (4), errors (4), description (4), control (4), very (4), high (4), multi (4), symbolic (4), parallel (4), actor (4), stack (4), english (4), declarative (4), syntax (4), introduction (4), external (4), paul (4), robert (4), combinatory (4), 1985 (4), interpretation (4), making (4), 2019 (4), department (4), com (4), richard (4), microservices (4), jones (4), issn (4), freeze (4), method (4), existing (4), doc (4), loops (4), runtime (4), hardware (4), optimization (4), february (4), programmer (4), without (4), complete (4), notes (4), guide (4), caml (4), inference (4), cite (4), 1993 (4), checking (4), equivalent (4), semantics (4), 1987 (4), 1994 (4), efficiency (4), make (4), association (4), machinery (4), algebra (4), abstract (4), who (4), kotlin (4), examples (4), commercial (4), finance (4), elixir (4), applied (4), see (4), teach (4), basis (4), implement (4), early (4), spreadsheets (4), generally (4), implementations (4), enable (4), emacs (4), parent (4), simply (4), generate (4), special (4), input (4), consider (4), fully (4), libraries (4), always (4), filter (4), reduce (4), each (4), allowing (4), constant (4), cost (4), argument (4), integer (4), issues (4), usually (4), thus (4), applying (4), different (4), numlist (4), update (4), referentially (4), changes (4), then (4), lets (4), mathematical (4), built (4), calls (4), hide (4), move (4), sidebar (4), add (3), table (3), view (3), statement (3), 2026 (3), states (3), low (3), assembly (3), lists (3), driven (3), separation (3), abstraction (3), inductive (3), automatic (3), models (3), constraint (3), production (3), transformation (3), simulation (3), natural (3), modeling (3), domain (3), streams (3), reactive (3), total (3), partial (3), call (3), procedural (3), mertz (3), help (3), file (3), addison (3), wesley (3), publishing (3), prentice (3), hall (3), practice (3), mark (3), north (3), holland (3), william (3), company (3), guy (3), sussman (3), gerald (3), jay (3), framework (3), allegro (3), need (3), 2016 (3), 2010 (3), building (3), implementing (3), december (3), defined (3), alan (3), peyton (3), 1017 (3), symposium (3), changed (3), added (3), addition (3), item (3), effective (3), operations (3), ibm (3), 135 (3), iterators (3), wiki (3), model (3), immutability (3), september (3), machines (3), lecture (3), springer (3), ways (3), category (3), san (3), diego (3), california (3), simple (3), unification (3), 185 (3), huet (3), gérard (3), later (3), launchbury (3), turner (3), fortran (3), 1977 (3), 1978 (3), liberated (3), von (3), neumann (3), correspondence (3), algol (3), writing (3), mccarthy (3), util (3), xml (3), range (3), web (3), wolfram (3), education (3), risk (3), similar (3), manner (3), given (3), considered (3), dialect (3), mid (3), 1990s (3), financial (3), active (3), there (3), academia (3), extensions (3), his (3), relational (3), father (3), relations (3), queried (3), case (3), represented (3), following (3), patterns (3), supported (3), aid (3), library (3), both (3), iteration (3), zero (3), abstractions (3), times (3), calling (3), 100 (3), version (3), efficiently (3), perform (3), modern (3), passing (3), seem (3), safe (3), fact (3), complex (3), create (3), purpose (3), counterparts (3), logarithmic (3), were (3), tasks (3), account (3), replaced (3), now (3), assignment (3), meaning (3), rocq (3), 1970s (3), accepts (3), makes (3), miranda (3), evaluate (3), requires (3), expressed (3), cannot (3), entities (3), treated (3), described (3), dialects (3), forms (3), iverson (3), tools (3), subsection (3), statistics (2), contact (2), privacy (2), policy (2), available (2), additional (2), apply (2), you (2), profit (2), organization (2), wikimedia (2), foundation (2), inc (2), commons (2), last (2), spoken (2), unsourced (2), template (2), wayback (2), deprecated (2), parameters (2), french (2), maint (2), location (2), missing (2), publisher (2), short (2), wikidata (2), comparisons (2), france (2), national (2), databases (2), generation (2), compiled (2), event (2), concerns (2), modifying (2), interactive (2), extensible (2), visual (2), graph (2), set (2), scripting (2), scientific (2), probabilistic (2), automata (2), query (2), applicative (2), point (2), free (2), gadts (2), prototype (2), small (2), modular (2), audio (2), subsequent (2), thompson (2), technical (2), englewood (2), cliffs (2), jersey (2), sullivan (2), reilly (2), world (2), 1990 (2), graham (2), dominus (2), jason (2), morgan (2), kaufmann (2), amsterdam (2), hindley (2), roger (2), brooks (2), feys (2), 1958 (2), 1985sicp (2), bibcode (2), abelson (2), hal (2), further (2), reading (2), imacs (2), better (2), life (2), what (2), students (2), introductory (2), engineering (2), berkeley (2), edition (2), wappalyzer (2), phoenix (2), commerce (2), stackshare (2), purescript (2), elm (2), companies (2), clojurescript (2), pascal (2), 1st (2), january (2), infoq (2), startup (2), 2003 (2), trading (2), derivative (2), whatsapp (2), 2014 (2), facebook (2), improving (2), 143 (2), 131 (2), spreadsheet (2), stallman (2), syntactic (2), combining (2), pages (2), 142 (2), daniel (2), freezing (2), removed (2), passed (2), mutability (2), michael (2), gosling (2), james (2), oracle (2), martin (2), project (2), functools (2), lua (2), developerworks (2), hartel (2), pieter (2), 2004 (2), 129 (2), experience (2), 2002 (2), cache (2), published (2), 2023 (2), scaleyourapp (2), understanding (2), collections (2), lifetimes (2), depth (2), benchmarks (2), game (2), vectors (2), 521 (2), berlin (2), heidelberg (2), 540 (2), 16761 (2), 1007 (2), 123 (2), change (2), identity (2), comprehensive (2), polymatheia (2), technology (2), matters (2), october (2), generalized (2), documentation (2), leroy (2), xavier (2), compcert (2), verified (2), citeseerx (2), undecidable (2), years (2), equations (2), 1973 (2), practical (2), harper (2), 751 (2), universal (2), cons (2), clinger (2), r6rs (2), revised (2), report (2), algorithmic (2), openscad (2), easier (2), 1093 (2), review (2), macqueen (2), sannella (2), hope (2), 1980 (2), 136 (2), darlington (2), paper (2), 641 (2), 359576 (2), 359579 (2), 613 (2), next (2), 700 (2), 101 (2), 308 (2), commonly (2), artificial (2), intelligence (2), field (2), proved (2), theorems (2), viewed (2), steele (2), evolution (2), link (2), formulation (2), 2266170 (2), jstor (2), 2307 (2), 1937 (2), 2268280 (2), known (2), dylan (2), tour (2), dlang (2), 1974 (2), processing (2), xslt (2), papers (2), lean (2), theorem (2), howard (2), 1238844 (2), hudak (2), commercially (2), aerospace (2), frequently (2), asked (2), training (2), mactech (2), editor (2), macscheme (2), 1984 (2), eager (2), portal (2), relatively (2), problem (2), classical (2), mechanics (2), methods (2), 137 (2), 138 (2), platforms (2), particularly (2), heavily (2), influenced (2), needed (2), seen (2), include (2), projects (2), wide (2), industrial (2), late (2), 1980s (2), become (2), computers (2), problems (2), areas (2), verification (2), static (2), initially (2), suitable (2), lack (2), academic (2), author (2), gnu (2), editors (2), ciao (2), resulting (2), prolog (2), phillip (2), grandparent (2), difference (2), here (2), maternal_grandmother (2), definition (2), relation (2), children (2), whereas (2), roughly (2), lambdas (2), simulate (2), basic (2), explicitly (2), feature (2), overhead (2), operation (2), elements (2), cpu (2), mean (2), direct (2), underlying (2), attributed (2), exception (2), involved (2), implements (2), various (2), slower (2), equals (2), must (2), true (2), running (2), optimize (2), speed (2), theoretical (2), leaks (2), analyzing (2), caches (2), schemes (2), suited (2), eliminating (2), allows (2), variants (2), instead (2), shared (2), mechanisms (2), message (2), cases (2), lead (2), itself (2), formally (2), less (2), efficient (2), easy (2), designed (2), clean (2), presence (2), effect (2), impure (2), current (2), still (2), around (2), difficult (2), understand (2), maintaining (2), simulating (2), avoids (2), amount (2), sum (2), traditional (2), numbers (2), older (2), would (2), returning (2), provides (2), random (2), trees (2), another (2), either (2), gives (2), never (2), gadt (2), avoiding (2), proposed (2), subset (2), proofs (2), intuitionistic (2), invalid (2), compilation (2), valid (2), reject (2), strong (2), test (2), false (2), milner (2), describes (2), proposes (2), fails (2), print (2), containing (2), failing (2), term (2), versus (2), unrestricted (2), cause (2), founded (2), unbounded (2), users (2), just (2), claim (2), among (2), approaches (2), compilers (2), operator (2), results (2), restriction (2), displaystyle (2), found (2), led (2), influence (2), associated (2), constructive (2), edinburgh (2), npl (2), incorporated (2), rather (2), 1960s (2), apl (2), ipl (2), extended (2), paradigmatic (2), numerous (2), 1930s (2), composing (2), appearance (2), upload (2), read (2), bahasa (2), log (2), donate (2), menu (2), topic, mobile, cookie, conduct, legal, safety, contacts, disclaimers, site, agree, registered, trademark, creative, attribution, sharealike, license, rendered, parsoid, edited, utc, hidden, haudio, microformats, 2022, webarchive, sources, matches, https, index, title, functional_programming, oldid, 1366590619, yale, lux, israel, spain, czech, republic, bnf, united, fast, gnd, authority, fifth, fourth, esoteric, interpreted, subjects, roles, literate, components, aspects, self, reflective, vibe, coding, demonstration, bayesian, synthesis, stage, metalinguistic, hygienic, macro, homoiconicity, generic, dynamic, attribute, metaprogramming, service, relativistic, process, partitioned, global, address, organic, multitier, macroprogramming, choreographic, mutual, exclusion, rewriting, templating, tactile, theoretic, quantum, filters, pipes, comprehension, interface, grammar, end, differentiable, spacecraft, command, action, dsl, ontology, nondeterministic, answer, abductive, synchronous, signals, flow, dataflow, monad, concatenative, uniform, agent, invariant, contract, block, jackson, akhmechet, slava, defmacro, rest, ford, neal, thinking, revision, dated, reflect, edits, minutes, listen, harlow, england, longman, craft, salus, handbook, indianapolis, indiana, macmillan, pratt, terrence, 3rd, marvin, victor, zelkowitz, brian, stewart, don, goerzen, real, michaelson, greg, courier, corporation, 486, 28029, maclennan, bruce, ansi, felleisen, matthias, findler, flatt, matthew, krishnamurthi, shriram, 1972, 7204, 2208, seldin, jonathan, craig, volume, cousineau, michel, mauny, 262, 51036, staff, thinkers, beneficial, home, adelphi, edu, network, twit, triangulation, interviewed, show, emmanuel, schanzer, bootstrap, denero, fall, electrical, sciences, 61a, preface, bsc, modules, imperial, college, london, oxford, www, websites, team, editorial, germany, news, know, best, polish, online, marketplace, herrick, justin, jah2488, bugnion, 9781785281372, packt, lorimer, live, announced, laurikari, ville, security, sims, steve, beating, averages, momtahan, lee, edf, pricing, blog, important, piece, our, infrastracture, million, november, sim, diasca, scale, discrete, engine, piro, christopher, rodger, manning, 9781638351733, tao, excel, blackwell, burnett, margaret, wakeling, 29429059, 0956, 7968, s0956796806006186, casas, cabeza, hermenegildo, 8th, flops, 162, friedman, byrd, oleg, kiselyov, hemann, reasoned, schemer, freezes, frozen, longer, changing, enumerability, configurability, writability, developer, mozilla, mdn, bloch, joshua, minimize, 0321356680, williams, quick, start, road, skarsaune, sics, port, translation, smalltalk, callable, objects, origins, van, rossum, guido, eich, brendan, popularity, golang, unofficial, faq, ufaq, digital, mars, henk, muller, hugh, glaser, 32346900, s0956796803004817, comparing, performance, dev, berthe, samuel, samber, nethercote, nicholas, mycroft, supplement, 0362, 1340, 773039, 773044, notices, behaviour, stock, realworldhaskell, chapter, profiling, cesarini, francesco, media, 596, 55585, build, blocking, throughput, distributed, docs, tutorials, essential, validating, borrowing, look, igor, pechtchanski, vivek, sarkar, specification, 662, 34527406, 1002, cpe, 853, 639, benchmarksgame, alioth, debian, fastest, spiewak, commit, 56543, working, paulson, larry, hartmanis, juris, hemachandra, lane, 1986, complexity, 226, 7_62, fun, thirteen, looking, turtle, newbern, monadic, barr, orange, jean, niklas, vector, 66350, chris, okasaki, chalmers, kennedy, andrew, russo, claudio, oopsla, 9781595930316, 1094811, 1094814, inria, manual, vytiniotis, dimitrios, geoffrey, washburn, icfp, weirich, stephanie, parameter, wells, typability, 3590, 176, tech, rep, 011, carreño, muñoz, tahar, eds, lncs, 2410, 15th, tphol, sep, 1976, universite, paris, vii, resolution, dans, des, langages, ordre, undecidability, 267, 1016, s0019, 9958, 90301, 257, foundations, principles, charleston, south, carolina, 154, 158511, 158618, 144, 768, 3217, jucs, 010, 0751, baker, henry, should, cheney, 16812984, 0897919874, 277650, 277719, 174, pldi, rationale, standardization, 338, 336, iso, iec, jtc, wg5, n2137, committee, draft, 007r2, pountain, dick, byte, comes, age, sean, tull, monoidal, leo, cheung, infoworld, your, leonard, stealthy, rise, bright, ars, technica, love, trendy, earn, discovering, assign, zhenjiang, meng, wang, mattered, 370, nsr, nwv042, 349, experimental, stanford, developing, considerations, invited, proc, infotech, art, conf, revolution, copenhagen, 0001, 0782, commun, 1966b, 166, 13409665, 365230, 365257, 157, 1965b, 165, 15781851, 363791, 363804, 158, 1965a, 6505810, 363744, 363749, diehl, stephan, sestoft, 2000, 739, future, 1964, 320, comjnl, british, society, mechanical, memoir, 1991, 189, 190, claims, newell, cliff, shaw, adjudged, parents, automatically, accomplish, invent, retrospectively, embeds, principia, mathematica, theorist, 465, 04640, herbert, gabriel, 330, 47047140, 201, 89502, 234286, 1057818, 233, 1960, 195, 1489409, 367177, 367199, 184, los, angeles, 800025, 808387, 173, hopl, 1940, 15889861, computability, definability, 163, 2317046, 153, package, vanderbauwhede, wim, cleaner, youtube, gophercon, meeus, cain, gang, ltd, metaclasses, holywell, architect, 9781940111056, 55860, 701, painter, ndc, oslo, sequel, 264, 249, sigfidet, boyce, raymond, chamberlin, donald, four, approached, novatchev, dimitre, proof, verlag, 387, 98503, chambers, schedule, includes, banz, matt, opensource, moura, leonardo, ullrich, sebastian, prover, automated, deduction, 12699, 635, 1611, 3349, 030, 79876, 5_37, 625, peake, alex, substantial, line, business, mansell, quantitative, wadler, 1238856, diverse, defense, startups, firms, lawnmower, manufacturers, minsky, yaron, weeks, stephen, 564, 30955392, s095679680800676x, 553, experiences, wall, street, larson, jim, 524392, 1467247, 1467263, armstrong, joe, 9781595937667, 1238850, questions, product, uncharted, colorado, math, cleis, kidd, eric, terrorism, response, hartheimer, anne, toolsmith, multitasking, 1989, 411, 207637854, 72551, 72554, 359, surveys, conception, topics, particular, choice, teaching, 141, outside, solving, geometric, 140, treat, others, 139, universities, analytics, investment, banks, factors, coded, interdependent, graphs, measure, correlations, market, shifts, regulatory, frameworks, variations, citation, categorical, capital, gröbner, widely, frontend, biggest, poland, classified, ads, platform, 134, lokalnie, 133, font, awesome, 132, 130, 128, 127, 126, 125, 124, employed, originally, intended, embedded, robot, driver, telescope, apple, macintosh, 122, 121, électricité, nortel, telecommunications, fault, tolerant, ericsson, swedish, area, publication, venues, focusing, trends, peer, reviewed, due, architectures, 120, composability, reuse, reusable, far, remain, primarily, nature, 119, 118, zeroth, highly, family, own, plugins, considers, favorite, 117, transforms, executes, representations, 116, needs, unnested, compared, compact, maternal, grandmother, instances, backwards, mothers, generalisation, every, output, inputs, outputs, 115, similarly, idea, included, tuple, 114, 113, expressible, dictates, corresponds, fold, catamorphism, visitor, necessary, replacements, capabilities, supports, replacement, 112, 111, 110, released, provide, expansive, inception, relegated, module, mainstream, 109, 108, 107, 106, 105, possible, traditionally, 104, 103, distinguishing, imposes, achieved, thanks, converted, standalone, instruction, controlling, iterative, writes, 102, stored, registers, unrolling, invocation, 1700, faster, handling, instance, benchmark, provided, profile, inlining, allocation, generics, str, illegalargumentexception, throw, uncheckedlongcast, bit, throws, defn, tool, linux, repl, leiningen, ryzen, 7900x, criterium, benchmarked, mod, check, asymptotically, slow, down, factor, introduce, improperly, discusses, give, advice, fixing, extensive, dereferenced, poorly, processors, deep, pipelines, miss, hundreds, cycles, potentially, virtue, reducing, hazards, locks, corresponding, synchronization, leverages, container, behavior, child, actors, queue, akka, atomic, nothing, assumptions, unsafe, increasing, opportunities, copying, implicit, dealing, computationally, costly, solve, issue, sharing, distinguishes, involves, inline, expansion, typically, straightforward, present, flat, accessed, deeply, pipelined, cpus, prefetched, handled, simd, instructions, equally, worst, slowdown, cells, balanced, tree, slowdowns, intensive, numerical, slightly, according, handle, multidimensional, matrices, pointer, chasing, alternative, track, explicit, uniqueness, hoare, managing, managed, updated, kind, enables, promoting, preferred, done, accept, together, leaving
Text of the page (random words):
acm sigplan 1998 conference on programming language design and implementation pldi 98 pp 174 185 doi 10 1145 277650 277719 isbn 0897919874 s2cid 16812984 baker henry 1994 cons should not cons its arguments part ii cheney on the m t a archived from the original on 2006 03 03 retrieved 2020 04 29 turner d a 2004 07 28 total functional programming journal of universal computer science 10 7 751 768 doi 10 3217 jucs 010 07 0751 the implementation of functional programming languages simon peyton jones published by prentice hall 1987 1 2 launchbury john march 1993 a natural semantics for lazy evaluation symposium on principles of programming languages charleston south carolina acm pp 144 154 doi 10 1145 158511 158618 robert w harper 2009 practical foundations for programming languages pdf archived from the original pdf on 2016 04 07 huet gérard p 1973 the undecidability of unification in third order logic information and control 22 3 257 267 doi 10 1016 s0019 9958 73 90301 x huet gérard sep 1976 resolution d equations dans des langages d ordre 1 2 ω ph d in french universite de paris vii huet gérard 2002 higher order unification 30 years later pdf in carreño v muñoz c tahar s eds proceedings 15th international conference tphol lncs vol 2410 springer pp 3 12 wells j b 1993 typability and type checking in the second order lambda calculus are equivalent and undecidable tech rep 93 011 176 185 citeseerx 10 1 1 31 3590 cite journal cite uses deprecated parameter citeseerx help leroy xavier 17 september 2018 the compcert verified compiler peyton jones simon vytiniotis dimitrios weirich stephanie geoffrey washburn april 2006 simple unification based type inference for gadts icfp 2006 50 61 ocaml manual caml inria fr retrieved 2021 03 08 algebraic data types scala documentation retrieved 2021 03 08 kennedy andrew russo claudio v october 2005 generalized algebraic data types and object oriented programming pdf oopsla san diego california acm doi 10 1145 1094811 1094814 isbn 9781595930316 archived from the original on 2006 12 29 hughes john why functional programming matters pdf chalmers university of technology purely functional data structures by chris okasaki cambridge university press 1998 isbn 0 521 66350 4 l orange jean niklas polymatheia understanding clojure s persistent vector pt 1 polymatheia retrieved 2018 11 13 michael barr charles well category theory for computer science newbern j all about monads a comprehensive guide to the theory and practice of monadic programming in haskell retrieved 2008 02 14 thirteen ways of looking at a turtle ff for fun and profit retrieved 2018 11 13 values and change clojure s approach to identity and state clojure org retrieved 2026 06 22 hartmanis juris hemachandra lane 1986 complexity classes without machines on complete languages for up automata languages and programming lecture notes in computer science vol 226 berlin heidelberg springer berlin heidelberg pp 123 135 doi 10 1007 3 540 16761 7_62 isbn 978 3 540 16761 7 retrieved 2024 12 12 paulson larry c 28 june 1996 ml for the working programmer cambridge university press isbn 978 0 521 56543 1 retrieved 10 february 2013 spiewak daniel 26 august 2008 implementing persistent vectors in scala code commit archived from the original on 23 september 2015 retrieved 17 april 2012 which programs are fastest computer language benchmarks game benchmarksgame alioth debian org archived from the original on 2013 05 20 retrieved 2011 06 20 igor pechtchanski vivek sarkar 2005 immutability specification and its applications concurrency and computation practice and experience 17 5 6 639 662 doi 10 1002 cpe 853 s2cid 34527406 an in depth look at clojure collections infoq retrieved 2024 04 29 references and borrowing the rust programming language doc rust lang org retrieved 2024 04 29 validating references with lifetimes the rust programming language doc rust lang org retrieved 2024 04 29 concurrent collections the java tutorials essential java classes concurrency docs oracle com retrieved 2024 04 29 understanding the actor model to build non blocking high throughput distributed systems scaleyourapp scaleyourapp com 2023 01 28 retrieved 2024 04 29 cesarini francesco thompson simon 2009 erlang programming a concurrent approach to software development 1st ed o reilly media inc published 2009 06 11 p 6 isbn 978 0 596 55585 6 chapter 25 profiling and optimization book realworldhaskell org retrieved 2011 06 20 nethercote nicholas mycroft alan 2002 06 16 the cache behaviour of large lazy functional programs on stock hardware acm sigplan notices 38 2 supplement 44 55 doi 10 1145 773039 773044 issn 0362 1340 berthe samuel 2024 04 29 samber lo retrieved 2024 04 29 go wiki compiler and runtime optimizations the go programming language go dev retrieved 2024 04 29 comparing performance loops vs iterators the rust programming language doc rust lang org retrieved 2024 04 29 hartel pieter henk muller hugh glaser march 2004 the functional c experience pdf journal of functional programming 14 2 129 135 doi 10 1017 s0956796803004817 s2cid 32346900 archived from the original pdf on 2011 07 19 retrieved 2006 05 28 david mertz functional programming in python part 3 ibm developerworks archived from the original on 2007 10 16 retrieved 2006 09 17 part 1 part 2 functions d programming language 2 0 digital mars 30 december 2012 lua unofficial faq ufaq first class functions in go the go programming language golang org retrieved 2021 01 04 eich brendan 3 april 2008 popularity van rossum guido 2009 04 21 origins of python s functional features retrieved 2012 09 27 functools higher order functions and operations on callable objects python software foundation 2011 07 31 retrieved 2011 07 31 skarsaune martin 2008 the sics java port project automatic translation of a large object oriented system from smalltalk to java gosling james closures james gosling on the java road oracle archived from the original on 2013 04 14 retrieved 11 may 2013 williams michael 8 april 2013 java se 8 lambda quick start bloch joshua 2008 item 15 minimize mutability effective java second ed addison wesley isbn 978 0321356680 object freeze javascript mdn developer mozilla org retrieved 2021 01 04 the object freeze method freezes an object a frozen object can no longer be changed freezing an object prevents new properties from being added to it existing properties from being removed prevents changing the enumerability configurability or writability of existing properties and prevents the values of existing properties from being changed in addition freezing an object also prevents its prototype from being changed freeze returns the same object that was passed in daniel friedman william byrd oleg kiselyov jason hemann 2018 the reasoned schemer second edition the mit press a casas d cabeza m v hermenegildo a syntactic approach to combining functional notation lazy evaluation and higher order in lp systems the 8th international symposium on functional and logic programming flops 06 pages 142 162 april 2006 how i do my computing stallman org retrieved 2024 04 29 wakeling david 2007 spreadsheet functional programming pdf journal of functional programming 17 1 131 143 doi 10 1017 s0956796806006186 issn 0956 7968 s2cid 29429059 peyton jones simon burnett margaret blackwell alan march 2003 improving the world s most popular functional language user defined functions in excel archived from the original on 2005 10 16 rodger richard 11 december 2017 the tao of microservices manning isbn 9781638351733 piro christopher 2009 functional programming at facebook cufp 2009 archived from the original on 2009 10 17 retrieved 2009 08 29 sim diasca a large scale discrete event concurrent simulation engine in erlang november 2011 archived from the original on 2013 09 17 retrieved 2011 11 08 1 million is so 2011 archived 2014 02 19 at the wayback machine whatsapp blog 2012 01 06 the last important piece of our infrastracture is erlang momtahan lee 2009 scala at edf trading implementing a domain specific language for derivative pricing with scala cufp 2009 archived from the original on 2009 10 17 retrieved 2009 08 29 graham paul 2003 beating the averages retrieved 2009 08 29 sims steve 2006 building a startup with standard ml pdf cufp 2006 retrieved 2009 08 29 laurikari ville 2007 functional programming in communications security cufp 2007 archived from the original on 2010 12 21 retrieved 2009 08 29 lorimer r j 19 january 2009 live production clojure application announced infoq bugnion pascal 2016 scala for data science 1st ed packt isbn 9781785281372 why developers like clojurescript stackshare retrieved 2024 04 29 herrick justin 2024 04 29 jah2488 elm companies retrieved 2024 04 29 why developers like purescript stackshare retrieved 2024 04 29 team editorial 2019 01 08 allegro all you need to know about the best polish online marketplace e commerce germany news retrieved 2024 04 29 websites using phoenix framework wappalyzer www wappalyzer com retrieved 2024 04 29 functional programming 2019 2020 university of oxford department of computer science retrieved 28 april 2020 programming i haskell imperial college london department of computing retrieved 28 april 2020 1 2 computer science bsc modules retrieved 28 april 2020 1 2 abelson hal sussman gerald jay 1985 preface to the second edition structure and interpretation of computer programs 2 ed mit press bibcode 1985sicp book a john denero fall 2019 computer science 61a berkeley department of electrical engineering and computer sciences berkeley retrieved 2020 08 14 emmanuel schanzer of bootstrap interviewed on the tv show triangulation on the twit tv network why scheme for introductory programming home adelphi edu retrieved 2024 04 29 staff imacs 2011 06 03 what is scheme why is it beneficial for students imacs making better thinkers for life retrieved 2024 04 29 further reading edit abelson hal sussman gerald jay 1985 structure and interpretation of computer programs mit press bibcode 1985sicp book a isbn 978 0 262 51036 3 cousineau guy and michel mauny the functional approach to programming cambridge uk cambridge university press 1998 curry haskell brooks and feys robert and craig william combinatory logic volume i north holland publishing company amsterdam 1958 curry haskell b hindley j roger seldin jonathan p 1972 combinatory logic vol ii amsterdam north holland isbn 978 0 7204 2208 5 dominus mark jason higher order perl morgan kaufmann 2005 felleisen matthias findler robert flatt matthew krishnamurthi shriram 2018 how to design programs mit press graham paul ansi common lisp englewood cliffs new jersey prentice hall 1996 maclennan bruce j functional programming practice and theory addison wesley 1990 michaelson greg 10 april 2013 an introduction to functional programming through lambda calculus courier corporation isbn 978 0 486 28029 5 o sullivan brian stewart don goerzen john 2008 real world haskell o reilly pratt terrence w and marvin victor zelkowitz programming languages design and implementation 3rd ed englewood cliffs new jersey prentice hall 1996 salus peter h functional and logic programming languages vol 4 of handbook of programming languages indianapolis indiana macmillan technical publishing 1998 thompson simon haskell the craft of functional programming harlow england addison wesley longman limited 1996 external links edit listen to this article 28 minutes this audio file was created from a revision of this article dated 25 august 2011 2011 08 25 and does not reflect subsequent edits audio help more spoken articles ford neal functional thinking retrieved 2021 11 10 akhmechet slava 2006 06 19 defmacro functional programming for the rest of us retrieved 2013 02 24 an introduction functional programming in python by david mertz part 1 part 2 part 3 v t e programming paradigms imperative structured jackson structures block structured modular non structured procedural programming in the large and in the small design by contract invariant based nested function object oriented class based prototype based object based agent immutable object persistent uniform function call syntax declarative functional recursive anonymous function partial application higher order higher order function purely functional total strict gadts dependent types functional logic point free style expression oriented applicative concatenative function level value level monad dataflow flow based reactive functional reactive signals streams synchronous logic abductive logic answer set constraint constraint logic inductive logic nondeterministic ontology probabilistic logic query domain specific language dsl algebraic modeling array automata based action command spacecraft differentiable end user grammar oriented interface description language oriented list comprehension low code modeling natural language non english based page description pipes and filters probabilistic quantum scientific scripting set theoretic simulation stack based system tactile templating transformation graph rewriting production pattern visual concurrent parallel actor based automatic mutual exclusion choreographic programming concurrent logic concurrent constraint logic concurrent oo macroprogramming multitier programming organic computing parallel programming models partitioned global address space process oriented relativistic programming service oriented structured concurrency metaprogramming attribute oriented automatic inductive dynamic extensible generic homoiconicity interactive macro hygienic metalinguistic abstraction multi stage program synthesis bayesian by demonstration by example vibe coding reflective self modifying code symbolic template separation of concerns aspects components data driven data oriented event driven features literate roles subjects comparisons lists comparison multi paradigm object oriented functional list oo by type v t e types of programming languages level machine assembly compiled interpreted low level high level very high level esoteric generation first second third fourth fifth authority control databases international gnd fast national united states france bnf data czech republic spain israel other yale lux retrieved from https en wikipedia org w index php title functional_programming oldid 1366590619 categories functional programming programming paradigms programming language comparisons hidden categories articles with short description short description matches wikidata cs1 maint location missing publisher cs1 french language sources fr cs1 errors deprecated parameters webarchive template wayback links all articles with unsourced statements articles with unsourced statements from august 2022 articles with haudio microformats spoken articles articles with example c code articles with example javascript code articles with example lisp programming language code this page was last edited on 28 july 2026 at 23 09 utc page was rendered with parsoid text is available under the creative commo...
|
