Knowledge (XXG)

Pure (programming language)

Source 📝

2876: 66: 3325: 384: 3297: 242: 128: 25: 375: 723:
graphical multimedia software, which make it possible to extend these programs with functions written in the Pure language. Interfaces are also provided as library modules to
3349: 3029: 704:
currently, but its interactive interpreter environment, the C interface and the growing set of addon modules make it suitable for a variety of other uses, such as
3364: 3359: 38: 3313: 3369: 564: 3318: 665:
language designed from scratch; its interpreter is not large, and the library modules are written in Pure. The syntax of Pure resembles that of
152:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
3379: 3308: 650: 2922: 2881: 87: 3049: 3022: 306: 204: 2993: 278: 176: 688:
The Pure language is a successor of the equational programming language Q, previously created by the same author, Albert Gräf at the
3054: 1286: 630: 534: 343: 325: 223: 109: 52: 263: 256: 3384: 3059: 285: 183: 44: 2956:
Turner, David A. SASL language manual. Tech. rept. CS/75/1. Department of Computational Science, University of St. Andrews 1975.
149: 607: 3328: 3260: 3133: 3015: 666: 618: 610: 2803: 292: 190: 3354: 3303: 3281: 3235: 3208: 3183: 3143: 2894: 626: 145: 3275: 3178: 3148: 2899: 740: 576: 161: 3250: 3245: 3188: 3168: 572: 459: 274: 172: 80: 74: 3193: 3089: 3072: 252: 3203: 3158: 91: 3240: 3123: 2799: 697: 658: 614: 696:, efficient vector and matrix support, and the built-in C interface) and programs run much faster as they are 2981: 705: 642: 506: 406: 138: 3374: 3109: 2889: 736: 596: 490: 402: 2936: 299: 197: 157: 3038: 2496: 2492: 1423: 701: 674: 599: 397: 153: 3114: 1028: 712: 689: 654: 2919: 1032: 748: 427: 3094: 760: 692:, Germany. Relative to Q, it offers some important new features (such as local functions with 522: 357: 661:(e.g., for numerics, low-level protocols, and other such tasks). At the same time, Pure is a 2990: 1427: 1282: 1274: 529: 501: 2997: 2985: 2926: 1278: 693: 417: 361: 2488: 1294: 864: 603: 410: 3343: 3213: 2500: 1290: 744: 682: 3265: 3104: 1386: 3002: 2495:
with expressions. Here is an example showing the use of local rewriting rules to
700:
to native code on the fly. Pure is mostly aimed at mathematical applications and
1382: 868: 653:, has powerful functional and symbolic programming abilities, and interfaces to 494: 485: 383: 241: 3173: 2871: 1419: 724: 3270: 2811: 1024: 720: 678: 374: 716: 646: 3007: 1414:
Pure has efficient support for vectors and matrices (similar to that of
3163: 3153: 1389:
evaluation) when the corresponding part of the list is accessed, e.g.:
670: 621:(multiple-precision numbers), and compiling to native code through the 568: 510: 389: 3230: 3198: 3082: 1415: 1381:
to delay its computation. The thunk is evaluated implicitly and then
732: 728: 580: 2971: 545: 3128: 2911:
Albert Gräf. "Signal Processing in the Pure Programming Language".
3138: 3099: 3077: 2978: 1378: 518: 514: 356:"Pure (language)" redirects here. For the linguistic notions, see 144:
Please help to demonstrate the notability of the topic by citing
3220: 622: 3011: 3255: 3225: 235: 121: 59: 18: 708:, symbolic computation, and real-time multimedia processing. 1422:), including vector and matrix comprehensions. E.g., a 558: 540: 528: 500: 484: 458: 436: 426: 416: 396: 1810:// subtract suitable multiples of the pivot row: 1732:// the pivot row, divided by the pivot element: 2802:functions from Pure is very easy. E.g., for a 3023: 2293:/* Apply a transposition to a permutation. */ 8: 1377:operator turns the tail of the sieve into a 367: 53:Learn how and when to remove these messages 3296: 3030: 3016: 3008: 2920:"Pure – eine einfache funktionale Sprache" 366: 1289:'s algorithm for computing the stream of 344:Learn how and when to remove this message 326:Learn how and when to remove this message 224:Learn how and when to remove this message 110:Learn how and when to remove this message 2188:/* Swap rows i and j of the matrix x. */ 1001:Compute the first 20 Fibonacci numbers: 73:This article includes a list of general 3350:Dynamically typed programming languages 2979:Pure language and library documentation 2949: 591:, successor to the equational language 1281:data structures such as streams (lazy 685:indents) to denote program structure. 262:Please improve this article by adding 3365:Programming languages created in 2008 1624:// updated row permutation and index: 1035:to organize the backtracking search: 606:. It has facilities for user-defined 7: 3360:Term-rewriting programming languages 2882:Free and open-source software portal 719:spreadsheet and Miller Puckette's 79:it lacks sufficient corresponding 14: 1430:can be implemented in Pure thus: 631:GNU Lesser General Public License 535:GNU Lesser General Public License 34:This article has multiple issues. 3370:High-level programming languages 3324: 3323: 3295: 2874: 2814:and uses it to print the string 382: 373: 275:"Pure" programming language 240: 173:"Pure" programming language 126: 64: 23: 2503:simple arithmetic expressions: 629:distributed (mostly) under the 137:may not meet Knowledge (XXG)'s 42:or discuss these issues on the 16:Functional programming language 1409:// yields the first 100 primes 619:arbitrary-precision arithmetic 1: 1277:by default, it also supports 627:free and open-source software 264:secondary or tertiary sources 3380:Cross-platform free software 2937:"Interview With Albert Gräf" 2900:Clean (programming language) 2806:, the following imports the 465:0.68 / 11 April 2018 139:general notability guideline 2913:Linux Audio Conference 2009 651:automatic memory management 442:; 16 years ago 3401: 1297:can be expressed in Pure: 595:, is a dynamically typed, 355: 146:reliable secondary sources 135:The topic of this article 3291: 3068: 3045: 2853:"Hello, world!" 563: 480: 454: 381: 372: 2820: 2505: 1432: 1391: 1299: 1037: 1003: 873: 765: 3385:Cross-platform software 2804:"Hello, World!" program 2487:As a language based on 706:artificial intelligence 677:and thus uses explicit 94:more precise citations. 2890:Functional programming 2491:, Pure fully supports 737:GNU Scientific Library 715:are available for the 251:relies excessively on 3039:Programming languages 698:compiled just-in-time 467:; 6 years ago 3355:Functional languages 2991:Pure quick reference 2895:Functional languages 2493:symbolic computation 1424:Gaussian elimination 702:scientific computing 675:free-format language 633:version 3 or later. 600:programming language 690:University of Mainz 641:Pure comes with an 437:First appeared 369: 2996:2013-08-05 at the 2984:2014-07-05 at the 2925:2011-03-19 at the 2810:function from the 1033:list comprehension 749:Open Sound Control 141: 3337: 3336: 3319:Non-English-based 2818:on the terminal: 2793:// yields (a+b)*2 2760:// yields a*2+b*2 2476:gauss_elimination 1435:gauss_elimination 1285:). For instance, 763:(naive version): 761:Fibonacci numbers 747:, and liblo (for 586: 585: 486:Typing discipline 358:Linguistic purism 354: 353: 346: 336: 335: 328: 310: 234: 233: 226: 208: 136: 120: 119: 112: 57: 3392: 3327: 3326: 3299: 3298: 3032: 3025: 3018: 3009: 2975: 2974: 2972:Official website 2957: 2954: 2884: 2879: 2878: 2877: 2863: 2860: 2857: 2854: 2851: 2848: 2845: 2842: 2839: 2836: 2833: 2830: 2827: 2824: 2817: 2809: 2794: 2791: 2788: 2785: 2782: 2779: 2776: 2773: 2770: 2767: 2764: 2761: 2758: 2755: 2752: 2749: 2746: 2743: 2740: 2737: 2734: 2731: 2728: 2725: 2722: 2719: 2716: 2713: 2710: 2707: 2704: 2701: 2698: 2695: 2692: 2689: 2686: 2683: 2680: 2677: 2674: 2671: 2668: 2665: 2662: 2659: 2656: 2653: 2650: 2647: 2644: 2641: 2638: 2635: 2632: 2629: 2626: 2623: 2620: 2617: 2614: 2611: 2608: 2605: 2602: 2599: 2596: 2593: 2590: 2587: 2584: 2581: 2578: 2575: 2572: 2569: 2566: 2563: 2560: 2557: 2554: 2551: 2548: 2545: 2542: 2539: 2536: 2533: 2530: 2527: 2524: 2521: 2518: 2515: 2512: 2509: 2483: 2480: 2477: 2474: 2471: 2468: 2465: 2462: 2459: 2456: 2453: 2450: 2447: 2444: 2441: 2438: 2435: 2432: 2429: 2426: 2423: 2420: 2417: 2414: 2411: 2408: 2405: 2402: 2399: 2396: 2393: 2390: 2387: 2384: 2381: 2378: 2375: 2372: 2369: 2366: 2363: 2360: 2357: 2354: 2351: 2348: 2345: 2342: 2339: 2336: 2333: 2330: 2327: 2324: 2321: 2318: 2315: 2312: 2309: 2306: 2303: 2300: 2297: 2294: 2291: 2288: 2285: 2282: 2279: 2276: 2273: 2270: 2267: 2264: 2261: 2258: 2255: 2252: 2249: 2246: 2243: 2240: 2237: 2234: 2231: 2228: 2225: 2222: 2219: 2216: 2213: 2210: 2207: 2204: 2201: 2198: 2195: 2192: 2189: 2186: 2183: 2180: 2177: 2174: 2171: 2168: 2165: 2162: 2159: 2156: 2153: 2150: 2147: 2144: 2141: 2138: 2135: 2132: 2129: 2126: 2123: 2120: 2117: 2114: 2111: 2108: 2105: 2102: 2099: 2096: 2093: 2090: 2087: 2084: 2081: 2078: 2075: 2072: 2069: 2066: 2063: 2060: 2057: 2054: 2051: 2048: 2045: 2042: 2039: 2036: 2033: 2030: 2027: 2024: 2021: 2018: 2015: 2012: 2009: 2006: 2003: 2000: 1997: 1994: 1991: 1988: 1985: 1982: 1979: 1976: 1973: 1970: 1967: 1964: 1961: 1958: 1955: 1952: 1949: 1946: 1943: 1940: 1937: 1934: 1931: 1928: 1925: 1922: 1919: 1916: 1913: 1910: 1907: 1904: 1901: 1898: 1895: 1892: 1889: 1886: 1883: 1880: 1877: 1874: 1871: 1868: 1865: 1862: 1859: 1856: 1853: 1850: 1847: 1844: 1841: 1838: 1835: 1832: 1829: 1826: 1823: 1820: 1817: 1814: 1811: 1808: 1805: 1802: 1799: 1796: 1793: 1790: 1787: 1784: 1781: 1778: 1775: 1772: 1769: 1766: 1763: 1760: 1757: 1754: 1751: 1748: 1745: 1742: 1739: 1736: 1733: 1730: 1727: 1724: 1721: 1718: 1715: 1712: 1709: 1706: 1703: 1700: 1697: 1694: 1691: 1688: 1685: 1682: 1679: 1676: 1673: 1670: 1667: 1664: 1661: 1658: 1655: 1652: 1649: 1646: 1643: 1640: 1637: 1634: 1631: 1628: 1625: 1622: 1619: 1616: 1613: 1610: 1607: 1604: 1601: 1598: 1595: 1592: 1589: 1586: 1583: 1580: 1577: 1574: 1571: 1568: 1565: 1562: 1559: 1556: 1553: 1550: 1547: 1544: 1541: 1538: 1535: 1532: 1529: 1526: 1523: 1520: 1517: 1514: 1511: 1508: 1505: 1502: 1499: 1496: 1493: 1490: 1487: 1484: 1481: 1478: 1475: 1472: 1469: 1466: 1463: 1460: 1457: 1454: 1451: 1448: 1445: 1442: 1439: 1436: 1428:partial pivoting 1410: 1407: 1404: 1401: 1398: 1395: 1376: 1369: 1366: 1363: 1360: 1357: 1354: 1351: 1348: 1345: 1342: 1339: 1336: 1333: 1330: 1327: 1324: 1321: 1318: 1315: 1312: 1309: 1306: 1303: 1275:eager evaluation 1273:While Pure uses 1269: 1266: 1263: 1260: 1257: 1254: 1251: 1248: 1245: 1242: 1239: 1236: 1233: 1230: 1227: 1224: 1221: 1218: 1215: 1212: 1209: 1206: 1203: 1200: 1197: 1194: 1191: 1188: 1185: 1182: 1179: 1176: 1173: 1170: 1167: 1164: 1161: 1158: 1155: 1152: 1149: 1146: 1143: 1140: 1137: 1134: 1131: 1128: 1125: 1122: 1119: 1116: 1113: 1110: 1107: 1104: 1101: 1098: 1095: 1092: 1089: 1086: 1083: 1080: 1077: 1074: 1071: 1068: 1065: 1062: 1059: 1056: 1053: 1050: 1047: 1044: 1041: 1031:which employs a 1029:n queens problem 1019: 1016: 1013: 1010: 1007: 997: 994: 991: 988: 985: 982: 979: 976: 973: 970: 967: 964: 961: 958: 955: 952: 949: 946: 943: 940: 937: 934: 931: 928: 925: 922: 919: 916: 913: 910: 907: 904: 901: 898: 895: 892: 889: 886: 883: 880: 877: 859: 856: 853: 850: 847: 844: 841: 838: 835: 832: 829: 826: 823: 820: 817: 814: 811: 808: 805: 802: 799: 796: 793: 790: 787: 784: 781: 778: 775: 772: 769: 554: 551: 549: 547: 475: 473: 468: 450: 448: 443: 418:Designed by 388:Using Pure with 386: 377: 370: 349: 342: 331: 324: 320: 317: 311: 309: 268: 244: 236: 229: 222: 218: 215: 209: 207: 166: 130: 129: 122: 115: 108: 104: 101: 95: 90:this article by 81:inline citations 68: 67: 60: 49: 27: 26: 19: 3400: 3399: 3395: 3394: 3393: 3391: 3390: 3389: 3340: 3339: 3338: 3333: 3287: 3064: 3041: 3036: 2998:Wayback Machine 2986:Wayback Machine 2970: 2969: 2966: 2961: 2960: 2955: 2951: 2946: 2927:Wayback Machine 2918:Michael Riepe. 2908: 2880: 2875: 2873: 2870: 2865: 2864: 2861: 2858: 2855: 2852: 2849: 2846: 2843: 2840: 2837: 2834: 2831: 2828: 2825: 2822: 2816:"Hello, world!" 2815: 2807: 2796: 2795: 2792: 2789: 2786: 2783: 2780: 2777: 2774: 2771: 2768: 2765: 2762: 2759: 2756: 2753: 2750: 2747: 2744: 2741: 2738: 2735: 2732: 2729: 2726: 2723: 2720: 2717: 2714: 2711: 2708: 2705: 2702: 2699: 2696: 2693: 2690: 2687: 2684: 2681: 2678: 2675: 2672: 2669: 2666: 2663: 2660: 2657: 2654: 2651: 2648: 2645: 2642: 2639: 2636: 2633: 2630: 2627: 2624: 2621: 2618: 2615: 2612: 2609: 2606: 2603: 2600: 2597: 2594: 2591: 2588: 2585: 2582: 2579: 2576: 2573: 2570: 2567: 2564: 2561: 2558: 2555: 2552: 2549: 2546: 2543: 2540: 2537: 2534: 2531: 2528: 2525: 2522: 2519: 2516: 2513: 2510: 2507: 2485: 2484: 2481: 2478: 2475: 2472: 2469: 2466: 2463: 2460: 2457: 2454: 2451: 2448: 2445: 2442: 2439: 2436: 2433: 2430: 2427: 2424: 2421: 2418: 2415: 2412: 2409: 2406: 2403: 2400: 2397: 2394: 2391: 2388: 2385: 2382: 2379: 2376: 2373: 2370: 2367: 2364: 2361: 2358: 2355: 2352: 2349: 2346: 2343: 2340: 2337: 2334: 2331: 2328: 2325: 2322: 2319: 2316: 2313: 2310: 2307: 2304: 2301: 2298: 2295: 2292: 2289: 2286: 2283: 2280: 2277: 2274: 2271: 2268: 2265: 2262: 2259: 2256: 2253: 2250: 2247: 2244: 2241: 2238: 2235: 2232: 2229: 2226: 2223: 2220: 2217: 2214: 2211: 2208: 2205: 2202: 2199: 2196: 2193: 2190: 2187: 2184: 2181: 2178: 2175: 2172: 2169: 2166: 2163: 2160: 2157: 2154: 2151: 2148: 2145: 2142: 2139: 2136: 2133: 2130: 2127: 2124: 2121: 2118: 2115: 2112: 2109: 2106: 2103: 2100: 2097: 2094: 2091: 2088: 2085: 2082: 2079: 2076: 2073: 2070: 2067: 2064: 2061: 2058: 2055: 2052: 2049: 2046: 2043: 2040: 2037: 2034: 2031: 2028: 2025: 2022: 2019: 2016: 2013: 2010: 2007: 2004: 2001: 1998: 1995: 1992: 1989: 1986: 1983: 1980: 1977: 1974: 1971: 1968: 1965: 1962: 1959: 1956: 1953: 1950: 1947: 1944: 1941: 1938: 1935: 1932: 1929: 1926: 1923: 1920: 1917: 1914: 1911: 1908: 1905: 1902: 1899: 1896: 1893: 1890: 1887: 1884: 1881: 1878: 1875: 1872: 1869: 1866: 1863: 1860: 1857: 1854: 1851: 1848: 1845: 1842: 1839: 1836: 1833: 1830: 1827: 1824: 1821: 1818: 1815: 1812: 1809: 1806: 1803: 1800: 1797: 1794: 1791: 1788: 1785: 1782: 1779: 1776: 1773: 1770: 1767: 1764: 1761: 1758: 1755: 1752: 1749: 1746: 1743: 1740: 1737: 1734: 1731: 1728: 1725: 1722: 1719: 1716: 1713: 1710: 1707: 1704: 1701: 1698: 1695: 1692: 1689: 1686: 1683: 1680: 1677: 1674: 1671: 1668: 1665: 1662: 1659: 1656: 1653: 1650: 1647: 1644: 1641: 1638: 1635: 1632: 1629: 1626: 1623: 1620: 1617: 1614: 1611: 1608: 1605: 1602: 1599: 1596: 1593: 1590: 1587: 1584: 1581: 1578: 1575: 1572: 1569: 1566: 1563: 1560: 1557: 1554: 1551: 1548: 1545: 1542: 1539: 1536: 1533: 1530: 1527: 1524: 1521: 1518: 1515: 1512: 1509: 1506: 1503: 1500: 1497: 1494: 1491: 1488: 1485: 1482: 1479: 1476: 1473: 1470: 1467: 1464: 1461: 1458: 1455: 1452: 1449: 1446: 1443: 1440: 1437: 1434: 1426:algorithm with 1412: 1411: 1408: 1405: 1402: 1399: 1396: 1393: 1374: 1371: 1370: 1367: 1364: 1361: 1358: 1355: 1352: 1349: 1346: 1343: 1340: 1337: 1334: 1331: 1328: 1325: 1322: 1319: 1316: 1313: 1310: 1307: 1304: 1301: 1271: 1270: 1267: 1264: 1261: 1258: 1255: 1252: 1249: 1246: 1243: 1240: 1237: 1234: 1231: 1228: 1225: 1222: 1219: 1216: 1213: 1210: 1207: 1204: 1201: 1198: 1195: 1192: 1189: 1186: 1183: 1180: 1177: 1174: 1171: 1168: 1165: 1162: 1159: 1156: 1153: 1150: 1147: 1144: 1141: 1138: 1135: 1132: 1129: 1126: 1123: 1120: 1117: 1114: 1111: 1108: 1105: 1102: 1099: 1096: 1093: 1090: 1087: 1084: 1081: 1078: 1075: 1072: 1069: 1066: 1063: 1060: 1057: 1054: 1051: 1048: 1045: 1042: 1039: 1021: 1020: 1017: 1014: 1011: 1008: 1005: 999: 998: 995: 992: 989: 986: 983: 980: 977: 974: 971: 968: 965: 962: 959: 956: 953: 950: 947: 944: 941: 938: 935: 932: 929: 926: 923: 920: 917: 914: 911: 908: 905: 902: 899: 896: 893: 890: 887: 884: 881: 878: 875: 861: 860: 857: 854: 851: 848: 845: 842: 839: 836: 833: 830: 827: 824: 821: 818: 815: 812: 809: 806: 803: 800: 797: 794: 791: 788: 785: 782: 779: 776: 773: 770: 767: 757: 694:lexical scoping 639: 544: 476: 471: 469: 466: 446: 444: 441: 392: 365: 362:Adamic language 350: 339: 338: 337: 332: 321: 315: 312: 269: 267: 261: 257:primary sources 245: 230: 219: 213: 210: 167: 165: 143: 131: 127: 116: 105: 99: 96: 86:Please help to 85: 69: 65: 28: 24: 17: 12: 11: 5: 3398: 3396: 3388: 3387: 3382: 3377: 3372: 3367: 3362: 3357: 3352: 3342: 3341: 3335: 3334: 3332: 3331: 3321: 3316: 3311: 3306: 3292: 3289: 3288: 3286: 3285: 3278: 3273: 3268: 3263: 3258: 3253: 3248: 3243: 3238: 3233: 3228: 3223: 3218: 3217: 3216: 3206: 3201: 3196: 3191: 3186: 3181: 3176: 3171: 3166: 3161: 3156: 3151: 3146: 3141: 3136: 3131: 3126: 3121: 3120: 3119: 3118: 3117: 3112: 3097: 3092: 3087: 3086: 3085: 3075: 3069: 3066: 3065: 3063: 3062: 3057: 3052: 3046: 3043: 3042: 3037: 3035: 3034: 3027: 3020: 3012: 3006: 3005: 3000: 2988: 2976: 2965: 2964:External links 2962: 2959: 2958: 2948: 2947: 2945: 2942: 2941: 2940: 2934: 2916: 2907: 2904: 2903: 2902: 2897: 2892: 2886: 2885: 2869: 2866: 2821: 2506: 2489:term rewriting 2374:/* Example: */ 1433: 1392: 1300: 1295:trial division 1038: 1004: 874: 865:tail-recursive 766: 756: 753: 673:, but it is a 638: 635: 604:term rewriting 584: 583: 561: 560: 556: 555: 542: 538: 537: 532: 526: 525: 507:Cross-platform 504: 498: 497: 488: 482: 481: 478: 477: 464: 462: 460:Stable release 456: 455: 452: 451: 438: 434: 433: 430: 424: 423: 420: 414: 413: 411:term rewriting 400: 394: 393: 387: 379: 378: 352: 351: 334: 333: 316:September 2016 248: 246: 239: 232: 231: 214:September 2016 134: 132: 125: 118: 117: 100:September 2016 72: 70: 63: 58: 32: 31: 29: 22: 15: 13: 10: 9: 6: 4: 3: 2: 3397: 3386: 3383: 3381: 3378: 3376: 3375:2008 software 3373: 3371: 3368: 3366: 3363: 3361: 3358: 3356: 3353: 3351: 3348: 3347: 3345: 3330: 3322: 3320: 3317: 3315: 3312: 3310: 3307: 3305: 3302: 3294: 3293: 3290: 3284: 3283: 3279: 3277: 3274: 3272: 3269: 3267: 3264: 3262: 3259: 3257: 3254: 3252: 3249: 3247: 3244: 3242: 3239: 3237: 3234: 3232: 3229: 3227: 3224: 3222: 3219: 3215: 3214:Object Pascal 3212: 3211: 3210: 3207: 3205: 3202: 3200: 3197: 3195: 3192: 3190: 3187: 3185: 3182: 3180: 3177: 3175: 3172: 3170: 3167: 3165: 3162: 3160: 3157: 3155: 3152: 3150: 3147: 3145: 3142: 3140: 3137: 3135: 3132: 3130: 3127: 3125: 3122: 3116: 3113: 3111: 3108: 3107: 3106: 3103: 3102: 3101: 3098: 3096: 3093: 3091: 3088: 3084: 3081: 3080: 3079: 3076: 3074: 3071: 3070: 3067: 3061: 3058: 3056: 3053: 3051: 3048: 3047: 3044: 3040: 3033: 3028: 3026: 3021: 3019: 3014: 3013: 3010: 3004: 3001: 2999: 2995: 2992: 2989: 2987: 2983: 2980: 2977: 2973: 2968: 2967: 2963: 2953: 2950: 2943: 2938: 2935: 2932: 2928: 2924: 2921: 2917: 2914: 2910: 2909: 2905: 2901: 2898: 2896: 2893: 2891: 2888: 2887: 2883: 2872: 2867: 2819: 2813: 2805: 2801: 2504: 2502: 2498: 2494: 2490: 1431: 1429: 1425: 1421: 1417: 1390: 1388: 1384: 1380: 1298: 1296: 1292: 1291:prime numbers 1288: 1284: 1280: 1276: 1036: 1034: 1030: 1026: 1002: 872: 870: 866: 764: 762: 754: 752: 750: 746: 745:SuperCollider 742: 738: 734: 730: 726: 722: 718: 714: 709: 707: 703: 699: 695: 691: 686: 684: 683:off-side rule 681:(rather than 680: 676: 672: 668: 664: 660: 656: 652: 648: 644: 636: 634: 632: 628: 624: 620: 616: 612: 609: 605: 601: 598: 594: 590: 582: 578: 574: 570: 566: 562: 559:Influenced by 557: 553: 543: 539: 536: 533: 531: 527: 524: 520: 516: 512: 508: 505: 503: 499: 496: 492: 489: 487: 483: 479: 463: 461: 457: 453: 439: 435: 431: 429: 425: 421: 419: 415: 412: 408: 404: 401: 399: 395: 391: 385: 380: 376: 371: 363: 359: 348: 345: 330: 327: 319: 308: 305: 301: 298: 294: 291: 287: 284: 280: 277: –  276: 272: 271:Find sources: 265: 259: 258: 254: 249:This article 247: 243: 238: 237: 228: 225: 217: 206: 203: 199: 196: 192: 189: 185: 182: 178: 175: –  174: 170: 169:Find sources: 163: 159: 155: 151: 147: 140: 133: 124: 123: 114: 111: 103: 93: 89: 83: 82: 76: 71: 62: 61: 56: 54: 47: 46: 41: 40: 35: 30: 21: 20: 3314:Generational 3304:Alphabetical 3300: 3280: 3105:Visual Basic 2952: 2939:. blueparen. 2930: 2912: 2797: 2486: 1413: 1387:call by need 1372: 1287:David Turner 1272: 1022: 1000: 862: 758: 710: 687: 662: 640: 592: 588: 587: 340: 322: 313: 303: 296: 289: 282: 270: 250: 220: 211: 201: 194: 187: 180: 168: 106: 97: 78: 50: 43: 37: 36:Please help 33: 3309:Categorical 3003:Pure Primer 1373:Use of the 871:) version: 869:linear-time 649:, provides 643:interpreter 432:Albert Gräf 422:Albert Gräf 407:declarative 150:independent 92:introducing 3344:Categories 3174:JavaScript 3050:Comparison 2906:References 1420:GNU Octave 725:GNU Octave 679:delimiters 625:. Pure is 597:functional 552:/pure-lang 472:2018-04-11 403:Functional 286:newspapers 253:references 184:newspapers 158:redirected 75:references 39:improve it 3271:Smalltalk 2812:C library 1681:unchanged 1025:algorithm 721:Pure Data 655:libraries 602:based on 428:Developer 148:that are 45:talk page 3329:Category 3095:Assembly 3055:Timeline 2994:Archived 2982:Archived 2923:Archived 2868:See also 2798:Calling 1383:memoized 1027:for the 863:Better ( 755:Examples 751:(OSC)). 717:Gnumeric 713:plug-ins 647:debugger 637:Overview 608:operator 398:Paradigm 3282:more... 3261:Scratch 3164:Haskell 3154:Fortran 3110:classic 3060:History 2386:dmatrix 1385:(using 671:Haskell 667:Miranda 569:Haskell 548:.github 541:Website 530:License 523:Windows 511:FreeBSD 495:dynamic 470: ( 445: ( 390:TeXmacs 300:scholar 198:scholar 162:deleted 88:improve 3301:Lists: 3236:Python 3231:Prolog 3209:Pascal 3199:MATLAB 3184:Kotlin 3144:Erlang 3083:Simula 2823:extern 2763:factor 2733:expand 2628:reduce 2622:factor 2514:reduce 2508:expand 2501:factor 2497:expand 2296:transp 2215:transp 1678:remain 1675:matrix 1627:transp 1444:matrix 1416:MATLAB 1394:primes 1302:primes 1061:search 1049:search 1040:queens 735:, the 733:OpenGL 729:OpenCV 615:macros 611:syntax 581:MATLAB 546:agraef 491:strong 302:  295:  288:  281:  273:  200:  193:  186:  179:  171:  154:merged 77:, but 3276:Swift 3266:Shell 3179:Julia 3149:Forth 3139:COBOL 3100:BASIC 3078:ALGOL 2944:Notes 2931:Heise 2859:hello 2844:hello 2083:foldl 2071:pivot 2053:max_i 2032:max_x 2002:pivot 1996:max_x 1990:max_i 1633:max_i 1594:max_x 1495:foldl 1403:0..99 1379:thunk 1375:& 1359:& 1356:sieve 1329:sieve 1308:sieve 1283:lists 1157:check 1133:check 1015:1..20 939:<= 741:FAUST 711:Pure 663:small 577:Alice 519:macOS 515:Linux 307:JSTOR 293:books 205:JSTOR 191:books 160:, or 3251:Rust 3246:Ruby 3221:Perl 3189:Lisp 3169:Java 3115:.NET 2850:puts 2835:char 2829:puts 2808:puts 2631:with 2517:with 2499:and 2362:else 2356:then 2341:else 2335:then 2311:with 2266:when 2191:swap 2167:else 2155:then 2149:< 2068:with 2056:else 2044:swap 2041:then 2035:> 1966:when 1666:rows 1621:else 1603:then 1561:step 1498:step 1459:when 1418:and 1326:with 1279:lazy 1100:safe 1082:> 1058:with 954:fibs 951:else 945:then 909:fibs 906:with 885:fibs 867:and 852:> 759:The 669:and 645:and 623:LLVM 589:Pure 573:Lisp 447:2008 440:2008 368:Pure 360:and 279:news 177:news 3256:SQL 3226:PHP 3194:Lua 3129:C++ 3090:APL 3073:Ada 2826:int 2727:end 2616:end 2377:let 2368:end 2287:end 2281:dim 2182:end 2107:max 2086:max 2065:end 2011:col 1981:dim 1672:the 1663:top 1660:the 1555:end 1486:,_, 1474:dim 1365:end 1320:inf 1293:by 1265:end 1127:any 1094:cat 1023:An 1009:fib 1006:map 993:end 876:fib 828:fib 807:fib 798:fib 783:fib 768:fib 657:in 550:.io 255:to 3346:: 3204:ML 3159:Go 3134:C# 2929:. 2841:); 2790:); 2757:); 2736:(( 2724:); 2467:}; 2461:,- 2437:11 2434:,- 2422:,- 2401:,- 2350:== 2344:if 2329:== 2323:if 2314:tr 2248:0. 2227:0. 2209:!! 2143:if 2029:if 2020:); 1963:}} 1948:0. 1924:1. 1813:{{ 1807:}; 1792:0. 1729:); 1714:0. 1696:0. 1690:!! 1669:of 1657:// 1597:== 1591:if 1537:0. 1504:0. 1441::: 1406:); 1397:!! 1341:qs 1314:2. 1259:j2 1253:i2 1250:== 1247:j1 1241:i1 1238:|| 1235:j2 1229:i2 1226:== 1223:j1 1217:i1 1214:|| 1211:j2 1208:== 1205:j1 1202:|| 1199:i2 1196:== 1193:i1 1184:j2 1178:i2 1169:j1 1163:i1 1148:)) 1076:if 1018:); 990:); 933:if 846:if 743:, 739:, 731:, 727:, 617:, 613:, 579:, 575:, 571:, 567:, 521:, 517:, 513:, 509:: 502:OS 493:, 409:, 405:, 266:. 156:, 48:. 3241:R 3124:C 3031:e 3024:t 3017:v 2933:. 2915:. 2862:; 2856:; 2847:= 2838:* 2832:( 2800:C 2787:2 2784:* 2781:b 2778:+ 2775:2 2772:* 2769:a 2766:( 2754:2 2751:* 2748:) 2745:b 2742:+ 2739:a 2730:; 2721:c 2718:+ 2715:b 2712:( 2709:* 2706:a 2703:= 2700:c 2697:* 2694:a 2691:+ 2688:b 2685:* 2682:a 2679:; 2676:c 2673:* 2670:) 2667:b 2664:+ 2661:a 2658:( 2655:= 2652:c 2649:* 2646:b 2643:+ 2640:c 2637:* 2634:a 2625:= 2619:; 2613:; 2610:c 2607:* 2604:a 2601:+ 2598:b 2595:* 2592:a 2589:= 2586:) 2583:c 2580:+ 2577:b 2574:( 2571:* 2568:a 2565:; 2562:c 2559:* 2556:b 2553:+ 2550:c 2547:* 2544:a 2541:= 2538:c 2535:* 2532:) 2529:b 2526:+ 2523:a 2520:( 2511:= 2482:; 2479:x 2473:; 2470:x 2464:3 2458:2 2455:, 2452:1 2449:, 2446:2 2443:- 2440:; 2431:2 2428:, 2425:1 2419:3 2416:- 2413:; 2410:8 2407:, 2404:1 2398:1 2395:, 2392:2 2389:{ 2383:= 2380:x 2371:; 2365:k 2359:i 2353:j 2347:k 2338:j 2332:i 2326:k 2320:= 2317:k 2308:= 2305:p 2302:j 2299:i 2290:; 2284:x 2278:= 2275:m 2272:, 2269:n 2263:) 2260:1 2257:- 2254:m 2251:. 2245:, 2242:) 2239:1 2236:- 2233:n 2230:. 2224:( 2221:j 2218:i 2212:( 2206:x 2203:= 2200:j 2197:i 2194:x 2185:; 2179:; 2176:x 2173:, 2170:i 2164:y 2161:, 2158:j 2152:y 2146:x 2140:= 2137:) 2134:y 2131:, 2128:j 2125:( 2122:) 2119:x 2116:, 2113:i 2110:( 2104:; 2101:) 2098:0 2095:, 2092:0 2089:( 2080:= 2077:x 2074:i 2062:; 2059:x 2050:i 2047:x 2038:0 2026:= 2023:x 2017:j 2014:x 2008:( 2005:i 1999:= 1993:, 1987:; 1984:x 1978:= 1975:m 1972:, 1969:n 1960:1 1957:- 1954:m 1951:. 1945:= 1942:l 1939:; 1936:1 1933:- 1930:n 1927:. 1921:+ 1918:i 1915:= 1912:k 1909:| 1906:) 1903:j 1900:, 1897:i 1894:( 1891:! 1888:x 1885:/ 1882:) 1879:l 1876:, 1873:i 1870:( 1867:! 1864:x 1861:* 1858:) 1855:j 1852:, 1849:k 1846:( 1843:! 1840:x 1837:- 1834:) 1831:l 1828:, 1825:k 1822:( 1819:! 1816:x 1804:1 1801:- 1798:m 1795:. 1789:= 1786:l 1783:| 1780:) 1777:j 1774:, 1771:i 1768:( 1765:! 1762:x 1759:/ 1756:) 1753:l 1750:, 1747:i 1744:( 1741:! 1738:x 1735:{ 1726:1 1723:- 1720:m 1717:. 1711:, 1708:1 1705:- 1702:i 1699:. 1693:( 1687:x 1684:: 1654:{ 1651:, 1648:1 1645:+ 1642:i 1639:, 1636:p 1630:i 1618:x 1615:, 1612:i 1609:, 1606:p 1600:0 1588:= 1585:j 1582:) 1579:x 1576:, 1573:i 1570:, 1567:p 1564:( 1558:; 1552:) 1549:1 1546:- 1543:m 1540:. 1534:( 1531:) 1528:x 1525:, 1522:0 1519:, 1516:1 1513:- 1510:n 1507:. 1501:( 1492:= 1489:x 1483:p 1480:; 1477:x 1471:= 1468:m 1465:, 1462:n 1456:x 1453:, 1450:p 1447:= 1438:x 1400:( 1368:; 1362:; 1353:: 1350:p 1347:= 1344:) 1338:: 1335:p 1332:( 1323:) 1317:. 1311:( 1305:= 1268:; 1262:; 1256:- 1244:- 1232:+ 1220:+ 1190:= 1187:) 1181:, 1175:( 1172:) 1166:, 1160:( 1154:; 1151:p 1145:j 1142:, 1139:i 1136:( 1130:( 1124:~ 1121:= 1118:p 1115:) 1112:j 1109:, 1106:i 1103:( 1097:; 1091:= 1088:; 1085:n 1079:i 1073:= 1070:p 1067:i 1064:n 1055:1 1052:n 1046:= 1043:n 1012:( 996:; 987:1 984:- 981:n 978:( 975:) 972:b 969:+ 966:a 963:, 960:b 957:( 948:a 942:0 936:n 930:= 927:n 924:) 921:b 918:, 915:a 912:( 903:n 900:) 897:1 894:, 891:0 888:( 882:= 879:n 858:; 855:1 849:n 843:) 840:1 837:- 834:n 831:( 825:+ 822:) 819:2 816:- 813:n 810:( 804:= 801:n 795:; 792:1 789:= 786:1 780:; 777:0 774:= 771:0 659:C 593:Q 565:Q 474:) 449:) 364:. 347:) 341:( 329:) 323:( 318:) 314:( 304:· 297:· 290:· 283:· 260:. 227:) 221:( 216:) 212:( 202:· 195:· 188:· 181:· 164:. 142:. 113:) 107:( 102:) 98:( 84:. 55:) 51:(

Index

improve it
talk page
Learn how and when to remove these messages
references
inline citations
improve
introducing
Learn how and when to remove this message
general notability guideline
reliable secondary sources
independent
merged
redirected
deleted
"Pure" programming language
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message

references
primary sources
secondary or tertiary sources
"Pure" programming language
news
newspapers
books
scholar

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.