Knowledge

F Sharp (programming language)

Source đź“ť

5727: 357: 10502: 9869: 8545: 8069: 8059: 8049: 8039: 8555: 53: 8565: 7919: 3365:
F# 3.0 introduced a form of compile-time meta-programming through statically extensible type generation called F# type providers. F# type providers allow the F# compiler and tools to be extended with components that provide type information to the compiler on-demand at compile time. F# type providers
2815:
indicates that the expression on the right (getting the response) should be done asynchronously but the flow should only continue when the result is available. In other words, from the point of view of the code block, it's as if getting the response is a blocking call, whereas from the point of view
3105:
In F#, you can assign units of measure, such as meters or kilograms, to floating point, unsigned integer and signed integer values. This allows the compiler to check that arithmetic involving these values is dimensionally consistent, helping to prevent common programming mistakes by ensuring that,
1084:. The Visual F# Tools for Visual Studio are developed by Microsoft. The F# Software Foundation developed the F# open-source compiler and tools, incorporating the open-source compiler implementation provided by the Microsoft Visual F# Tools team. 1659:
languages, while supporting object-oriented features available in C#. Together, these features allow F# programs to be written in a completely functional style and also allow functional and object-oriented styles to be mixed.
3345:
F# includes a feature for run-time meta-programming called quotations. A quotation expression evaluates to an abstract syntax tree representation of the F# expressions. Similarly, definitions labelled with the
2222:
to bind values to names. Pattern matching is also used when accessing discriminated unions – the union is value matched against pattern rules and a rule is selected when a match succeeds. F# also supports
7254: 7013: 39: 4272:
F# features a legacy "ML compatibility mode" that can directly compile programs written in a large subset of OCaml roughly, with no functors, objects, polymorphic variants, or other additions.
3326:
The F# static type checker provides this functionality at compile time, but units are erased from the compiled code. Consequently, it is not possible to determine a value's unit at runtime.
1867:, where A, B, and C are values of possibly different types. A tuple can be used to store values only when the number of values is known at design-time and stays constant during execution. 7569: 6527: 6583: 3086:
task programming model, the direct use of .NET thread pool and .NET threads and through dynamic translation of F# code to alternative parallel execution engines such as
6842: 10579: 4181:
Among others, F# is used for quantitative finance programming, energy trading and portfolio optimization, machine learning, business intelligence and social gaming on
2238:. Sequence expressions, asynchronous computations and queries are particular kinds of computation expressions. Computation expressions are an implementation of the 8601: 3499:
programming model through the in-memory implementation of lightweight asynchronous agents. For example, the following code defines an agent and posts 2 messages:
6819: 2042:
Values of the union type can correspond to either union case. The types of the values carried by each union case is included in the definition of each case.
3357:
code. Quotations represent their F# code expressions as data for use by other parts of the program while requiring it to be syntactically correct F# code.
3968: 6625: 6185: 6119: 8922: 1769:
expressions and loops, is a composable expression with a static type. Functions and expressions that do not return any value have a return type of
10594: 10569: 6953: 10574: 7207: 2563:
F# object type definitions can be class, struct, interface, enum, or delegate type definitions, corresponding to the definition forms found in
2351:(CLI) languages, F# can use CLI types through object-oriented programming. F# support for object-oriented programming in expressions includes: 2110:. Being first-class values, functions can be passed as arguments to other functions. Like other functional programming languages, F# allows 9903: 8594: 2816:
of the system, the thread won't be blocked and may be used to process other flows until the result needed for this one becomes available.
8912: 10584: 10564: 8063: 7536: 3349:
attribute can also be accessed in their quotation form. F# quotations are used for various purposes including to compile F# code into
2835:
is an async object) and creates another async object to run the tasks in the lists in parallel. The resultant object is invoked using
10534: 8917: 6560: 6096: 6715: 10549: 8959: 8106: 7576: 2207:
forms a sequence of squares of numbers from 0 to 14 by filtering out numbers from the range of numbers from 0 to 25. Sequences are
6933: 6141: 10589: 10559: 8587: 8053: 6537: 2111: 8297: 7523: 1073:
and C# (albeit as an option), and remains in all later editions, thus making the language widely available and well-supported.
1054:(BDFL) for the language design, together with the F# Software Foundation. Earlier versions of the F# language were designed by 6846: 10529: 8131: 4192:. F#'s scripting ability and inter-language compatibility with all Microsoft products have made it popular among developers. 7074: 6163: 3928:(REPL) interactive console that can execute F# code as it is written. Visual Studio for Mac also fully supports F# projects. 9841: 9550: 6872: 5732: 4119: 379: 7304: 10524: 7603: 6605: 1567:
Parallel type-checking and project-checking support (experimental, can be enabled via VS setting, or by tooling authors)
9575: 8469: 3980: 6892: 10007: 9290: 7443: 7274: 7227: 7181: 346: 10544: 10090: 9896: 9872: 9760: 9595: 9375: 9370: 8329: 2227:
as a form of extensible pattern matching. It is used, for example, when multiple ways of matching on a type exist.
2208: 443:, cross-platform compiler for F# is available from the F# Software Foundation. F# is a fully supported language in 3366:
have been used to give strongly typed access to connected information sources in a scalable way, including to the
1080:, according to whom in the fsharp team, they say the F is for "Fun". Andrew Kennedy contributed to the design of 9851: 9622: 9365: 8487: 8354: 8309: 7014:"New Tech Report from Microsoft Research: Strongly-Typed Language Support for Internet-Scale Information Sources" 3109:
The units of measure feature integrates with F# type inference to require minimal type annotations in user code.
383: 3924:
installed, can be used to create, run and debug F# projects. The Visual F# tools include a Visual Studio-hosted
10272: 10213: 10064: 9505: 9465: 9112: 8907: 8871: 8785: 8610: 8558: 8158: 7881: 7734: 5745: 4189: 2564: 2348: 2239: 1737: 1674: 1564:
ARM64 platform-specific compiler and ARM64 target support in F# compiler. Dependency manager #r caching support
483: 413: 334: 298: 1076:
F# originates from Microsoft Research, Cambridge, UK. The language was originally designed and implemented by
10539: 10198: 9940: 9689: 9335: 9265: 9107: 8971: 8282: 7654: 499: 487: 318: 302: 7518: 6754: 5866:
is rooted in the Core ML design, and in particular has a core language largely compatible with that of OCaml
5834: 10412: 10017: 9792: 9605: 9485: 9470: 9395: 8952: 8886: 8831: 8651: 8634: 8099: 7676: 4201: 3925: 1051: 495: 322: 391: 65: 10554: 10505: 10246: 10140: 10095: 9889: 9836: 9570: 9445: 9380: 8816: 8360: 8348: 7345: 6032: 432: 406: 173: 143: 77: 7774: 5957: 10417: 10256: 9610: 9295: 8826: 8010: 7869: 7720: 7631: 7503: 7435: 6205: 4166: 2567:. For example, here is a class with a constructor taking a name and age, and declaring two properties. 1689: 338: 81: 360: 10475: 10432: 10384: 10208: 9950: 9720: 9600: 9510: 9127: 8985: 8303: 7836: 7750: 7699: 7636: 7585: 6418: 471: 342: 310: 103: 24: 7494: 7259:
Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming - CUFP '07
6673: 5790: 4296:
A record type definition. Records are immutable by default and are compared by structural equality.
10218: 9960: 9846: 9787: 9694: 9627: 9325: 9152: 8990: 8697: 8656: 8639: 8292: 8000: 3354: 3339: 3087: 2655: 1999: 1727: 1042:
F# uses an open development and engineering process. The language evolution process is managed by
1022: 983: 944: 905: 862: 819: 776: 730: 669: 625: 425: 20: 10480: 10322: 10292: 10105: 9385: 9089: 9063: 8945: 8937: 8477: 8214: 8203: 8126: 8092: 8073: 7740: 7562: 5861: 4012: 3917: 3483:
The combination of type providers, queries and strongly typed functional programming is known as
3382:// Use the OData type provider to create types that can be used to access the Northwind database. 444: 410: 224: 7033: 1345:
The 'inref<'T>' and 'outref<'T>' types to represent readonly and write-only 'byref's
10115: 9955: 9147: 9033: 8730: 8449: 8444: 8408: 8165: 7875: 6793: 6073: 1656: 1652: 402: 398: 387: 208: 93: 89: 73: 69: 7513: 1655:
functional-first language with a large number of capabilities that are normally found only in
10236: 10054: 9990: 9856: 9525: 9490: 9410: 9177: 8891: 8770: 8682: 8568: 8314: 8195: 7927: 7855: 7457: 6701: 6687: 6490: 6454: 4509:
A simple example that is often used to demonstrate the syntax of functional languages is the
1704: 8038: 7533: 1612:
Static let in discriminated unions, records, structs, and types without primary constructors
10297: 10277: 9345: 9225: 8876: 8735: 8629: 8265: 8170: 8032: 7423: 5770: 4089: 4049: 4017: 3099: 2842: 2270: 1722: 1680: 440: 394: 60: 6645: 6321: 6263: 8: 10446: 10369: 10332: 10241: 10175: 9779: 9320: 9068: 9043: 8324: 7608: 6504: 6468: 4590:/// For a single-argument functions there is syntactic sugar (pattern matching function): 3373:
In F# 3.0 the F# quotation and computation expression features are combined to implement
3367: 2103: 2092: 1070: 452: 6993: 6973: 6913: 6729: 6659: 6382: 705: 688: 644: 600: 565: 10389: 10307: 10170: 9975: 9912: 9632: 9545: 9515: 9157: 9053: 9018: 8646: 8624: 8225: 7941: 7280: 6730:"F Sharp Programming/Computation Expressions - Wikibooks, open books for an open world" 4510: 4044: 4005: 3931: 2848:
Since version 6.0, F# supports creating, consuming and returning .NET tasks directly.
1732: 1685: 1059: 1047: 529: 456: 251: 134: 127: 4397:
A Person class with a constructor taking a name and age and two immutable properties.
1874:
is a type where the data members are named. Here is an example of record definition:
10282: 10180: 9970: 9935: 9735: 9667: 9520: 9475: 9390: 9260: 9187: 8790: 8335: 8250: 7995: 7411: 7270: 4213: 3990: 3941:
F# can be developed with any text editor. Specific support exists in editors such as
2279: 1013: 974: 935: 896: 853: 810: 767: 721: 660: 616: 581: 549: 460: 7284: 6052: 10485: 10190: 10031: 9802: 9340: 9048: 9038: 8376: 8238: 7761: 7463: 7449: 7262: 6432: 6396: 6357: 6343: 6299: 6285: 6241: 6227: 4084: 3985: 2335:
Also, F# supports access to all CLI types and objects such as those defined in the
2219: 1754: 1717: 1354:
Extension method support for 'byref<'T>'/'inref<'T>'/'outref<'T>'
1081: 239: 219: 1066: 275: 10044: 9831: 9652: 9590: 9500: 9425: 9350: 9330: 9058: 8751: 8579: 8520: 8482: 8180: 7990: 7841: 7540: 7498: 3335: 2265: 2257: 2212: 2106:. All functions in F# are first class values and are immutable. Functions can be 2099: 1758: 1698: 744: 678: 634: 590: 232: 118: 85: 1396:
Indentation relaxations for parameters passed to constructors and static methods
10422: 10160: 10100: 9994: 9965: 9657: 9400: 9215: 9210: 9167: 9013: 8861: 8821: 8725: 8692: 8687: 8677: 8672: 8504: 8393: 8153: 8005: 7947: 7849: 7182:"Microsoft Case Studies:Microsoft Visual Studio 2012 - Financial Services Firm" 7053: 5750: 3951:
Rider is optimized for the development of F# Code starting with release 2019.1.
3082:
functional programming operators in the F# standard library, direct use of the
2107: 1670: 868: 825: 782: 736: 674: 630: 586: 554: 534: 475: 212: 7953: 4216:
community includes the F# Software Foundation and the F# Open Source Group at
4158: 10518: 10459: 10049: 9617: 9585: 9555: 9255: 9023: 8548: 8366: 8342: 8319: 8275: 8185: 7683: 7545: 6532: 356: 204: 7266: 7112: 4250: 2230:
F# supports a general syntax for defining compositional computations called
10165: 9881: 9480: 9300: 9245: 9240: 8856: 8499: 8434: 8260: 8255: 7971: 7965: 7959: 7827: 7711: 4254: 4135: 1991: 8043: 2662:. An asynchronous workflow is defined as a sequence of commands inside an 448: 10130: 10059: 9699: 9430: 9285: 9250: 9073: 9028: 8494: 8416: 8270: 8209: 7688: 7667: 7528: 4170: 4062: 4058: 4053: 3496: 2050: 244: 199: 35: 10427: 10317: 10301: 10135: 10110: 10074: 9765: 9740: 9715: 9270: 9182: 9162: 9137: 8846: 8841: 8800: 8385: 5408:
Asynchronous parallel programming sample (parallel CPU and I/O tasks):
4146: 3350: 1561:
Better codegen for compiler-generated side-effect-free property getters
1018: 979: 940: 901: 858: 815: 772: 726: 665: 621: 421: 4234: 3342:
within the F# language, particularly through computation expressions.
2823:
function. Multiple async blocks can be executed in parallel using the
1537:
Making working with SRTPs (statically resolved type parameters) easier
10394: 10327: 10312: 10120: 10012: 9745: 9662: 9540: 9355: 9310: 9275: 9220: 8968: 8836: 8525: 8398: 8287: 7861: 7803: 7232: 7186: 5839: 4103: 4077: 4037: 3948: 3921: 1995: 1747: 1055: 436: 139: 4970:/// Another approach - a lazy infinite sequence of Fibonacci numbers 4188:
In the 2010s, F# has been positioned as an optimized alternative to
3961: 10454: 10251: 10155: 10125: 10039: 10027: 10002: 9810: 9725: 9535: 9495: 9420: 9405: 9360: 9142: 9132: 8851: 7977: 7768: 7594: 7370: 7324: 5857: 4182: 4022: 1712: 1441:
Improved stack traces in F# async and other computation expressions
1077: 1043: 123: 8967: 7550:
of reaching a functional design; includes test and parallel coding
7088: 6626:"Announcing F# 4.1 and the Visual F# Tools for Visual Studio 2017" 6186:"Announcing F# 4.1 and the Visual F# Tools for Visual Studio 2017" 5911: 10150: 9642: 9560: 9530: 9460: 9435: 9315: 9235: 9172: 8881: 8866: 8530: 8455: 8421: 8245: 8233: 7907: 7821: 7791: 7745: 7554: 3954: 1983:
field (assuming the record created in the last example was named
1843: 491: 306: 4131: 1594:
Use and compose string literals for printf and related functions
10342: 10203: 10145: 10069: 9980: 9815: 9683: 9440: 9415: 9280: 9230: 8756: 8175: 7887: 7815: 7779: 7648: 7399: 7378: 6938: 6120:"Visual Studio 2012 and .NET Framework 4.5 released to the web" 5795: 5775: 4217: 4134:
is an end-to-end F# stack to develop web applications. It uses
3075:
and other operations that run asynchronous blocks in parallel.
1558:
Fixes in resumable state machines codegen for the tasks builds.
52: 7054:"F# 3.0 – LINQ + Type Providers= Information Rich Programming" 9755: 9730: 9637: 9565: 9455: 9117: 8439: 7918: 7893: 7809: 7693: 7625: 5961: 5740: 4771:/// Iteration using a recursive function and pattern matching 4238: 4237:, an alternative package manager for .NET that can still use 4000: 3995: 3942: 3406:"http://services.odata.org/Northwind/Northwind.svc" 2538:
Support for object-oriented programming in patterns includes
1860: 1009: 1005: 970: 966: 931: 927: 892: 888: 849: 845: 806: 802: 763: 759: 717: 713: 656: 652: 612: 608: 577: 573: 479: 464: 314: 111: 9945: 7420:
Real World Functional Programming With Examples in F# and C#
6716:"Simplifying F# computations with the new 'while!' keyword'" 6652: 6638: 6377: 6375: 1360:
Relaxed upcast with 'yield' in F# seq/list/array expressions
1315:
Byref returns, supporting consuming C# ref-returning methods
1312:
Implicit "Module" syntax on modules with shared name as type
10337: 9750: 9580: 9305: 9205: 8720: 8147: 8115: 7797: 7785: 7617: 7486: 6012: 4200:
F# can be used as a scripting language, mainly for desktop
3374: 2070: 1309:
Mutually referential types and modules within the same file
1028: 989: 950: 911: 872: 829: 786: 740: 455:
supporting F# exist for many widely used editors including
417: 228: 107: 4402:/// This is a documentation comment for a type definition. 4173:
library provides a more comfortable functional interface.
10228: 9647: 9450: 6372: 4162: 1522:
Informational warnings for rarely used symbolic operators
7161: 5575:/// Return primes between m and n using multiple threads 3106:
for instance, lengths aren't mistakenly added to times.
8084: 6934:"Extend Units of Measure to Include More Numeric Types" 4263:, a lightweight web-server and web-development library. 2559:
Active patterns, which can be defined over object types
1492:
First-class support for .NET-style implicit conversions
1474:
Overloaded custom operations in computation expressions
1297:
Struct annotations for Single-case Discriminated Unions
7491: 7478: 6843:"Pattern Matching in F# Part 2 : Active Patterns" 6010: 5986: 5955: 5909: 4285:// This is a comment for a sample hello world program. 4244: 3969:
Comparison of integrated development environments § F#
265: 7369: 6954:"Units of Measure in F#: Part One, Introducing Units" 5862:"Leveraging .NET Meta-programming Components from F#" 5812: 4241:
repositories, but has centralised version-management.
4228: 3067:
Parallel programming is supported partly through the
1333:
Versioning alignment of binary, package, and language
478:
implementation of a core of the programming language
7508: 6358:"Download .NET Core 3.0 (Linux, macOS, and Windows)" 6300:"Download .NET Core 2.2 (Linux, macOS, and Windows)" 6242:"Download .NET Core 2.1 (Linux, macOS, and Windows)" 5988: 5722: 4513:
for non-negative 32-bit integers, here shown in F#:
4260: 4224: 3935: 2303:// Define 'x' with initial value '1' 1954:
keyword is used to create a copy of a record, as in
1615:
try-with within seq{}, , and collection expressions
7136: 4139: 3078:Parallel programming is also supported through the 1777:keyword for binding values to a name. For example: 1618:
Recursive calls and yield! within exception handler
1363:
Relaxed indentation with list and array expressions
8609: 7208:"F# for Energy Trading and Portfolio Optimization" 7075:"Rider 2019.1 Kicks off its Early Access Program!" 5808: 5806: 3552:// Provides concurrent access to a list of strings 2215:) – while lists and arrays are evaluated eagerly. 1420:Support for Jupyter, nteract, and VSCode Notebooks 10580:Programming languages supporting units of measure 7072: 6837: 6835: 4152: 3962:Comparison of integrated development environments 2321:// Change the value of 'x' to '3' 2294:Values and record fields can also be labelled as 2143:through code that generates values. For example, 1817:keyword. For functional programming, F# provides 1582:_.Property shorthand for (fun x -> x.Property) 10516: 7524:The F# Survival Guide, Dec 2009 (Web-based book) 2288:System.Collections.Generic.Dictionary<_,_> 2083:type is a discriminated union type with choices 1863:of the tuple. A 3-tuple would be represented as 1291:Struct tuples which inter-operate with C# tuples 6505:"Download .NET 8.0 (Linux, macOS, and Windows)" 6469:"Download .NET 7.0 (Linux, macOS, and Windows)" 6433:"Download .NET 6.0 (Linux, macOS, and Windows)" 6397:"Download .NET 5.0 (Linux, macOS, and Windows)" 6097:"F# 2.0 released as part of Visual Studio 2010" 5803: 5292:// Create a label to show some text in the form 3360: 3334:F# allows some forms of syntax customizing via 2339:namespace defining imperative data structures. 2250:F# support for imperative programming includes 1447:Improved Map and Set performance in FSharp.Core 7519:The original Microsoft Research website for F# 6926: 6832: 5852: 5850: 2342: 1549:F# self-contained deployments & Native AOT 1453:Improved compiler analysis for library authors 1065:F# was first included in Visual Studio in the 9897: 8953: 8595: 8100: 7570: 7429: 7373:; Granicz, Adam; Cisternino, Antonio (2007), 6986: 1534:Static abstract members support in interfaces 1336:Support for 'Span<T>' and related types 9911: 6820:"Some Details on F# Computation Expressions" 6013:"F# Compiler (open source edition) @ github" 6006: 6004: 5829: 5827: 5825: 5823: 5821: 2211:– values are generated on-demand (i.e., are 6788: 6786: 6784: 6782: 6780: 6778: 6776: 6774: 5982: 5980: 5978: 5847: 5235:// Create a window and set a few properties 4732:/// Iteration using a higher-order function 4220:. Popular open-source F# projects include: 4145:An alternative end-to-end F# option is the 2649: 1555:Result module functions parity with Option. 1552:Added support for N-d arrays up to rank 32. 1414:FSharp.Core now targets netstandard2.0 only 1357:'match!' keyword in computation expressions 1306:Result type and some basic Result functions 9904: 9890: 8960: 8946: 8602: 8588: 8554: 8107: 8093: 7577: 7563: 7159: 7153: 6966: 6906: 4227:, an F# to Javascript transpiler based on 1495:Optional warnings for implicit conversions 7393: 6033:"Develop with Visual F# in Visual Studio" 6001: 5818: 4253:, a functionally oriented middleware for 4176: 2819:The async block may be invoked using the 2245: 1975:}, which creates a new record by copying 1753:F# is an expression-based language using 1646: 7935: 7504:Try F#, for learning F# in a web browser 7417: 7252: 7228:"Microsoft Case Study: Grange Insurance" 7137:"Fable: JavaScript you can be proud of!" 6771: 5975: 5951: 5949: 5947: 4693:/// Iteration using a 'for' loop 4207: 1570:Miscellaneous bugfixes and improvements. 1519:More numeric types with unit annotations 7441: 7430:Hansen, Michael; Rischel, Hans (2013), 7026: 6873:"Introducing F# Asynchronous Workflows" 6752: 6525: 5945: 5943: 5941: 5939: 5937: 5935: 5933: 5931: 5929: 5927: 3062: 10595:Statically typed programming languages 10570:Pattern matching programming languages 10517: 8298:Extensible Application Markup Language 7455: 7387:Visual F# 2010 for Technical Computing 7384: 6814: 6812: 6528:"The A-Z of programming languages: F#" 5141:// Same thing, using a list expression 1261:Static parameters for provided methods 10575:Programming languages created in 2005 9885: 8941: 8583: 8088: 7558: 7405: 6946: 6867: 6865: 6863: 6606:"Announcing the RTM of Visual F# 4.0" 6561:"More About F# 3.0 Language Features" 6526:Edwards, Kathryn (23 December 2008). 6164:"Announcing the RTM of Visual F# 4.0" 5905: 5903: 4518:/// Using pattern matching expression 4343:// Creating an instance of the record 3934:contains full support for F# via the 2095:, implemented as generic .NET types. 1663:Examples of functional features are: 1633:Switches for compiler parallelization 1037: 30:The correct title of this article is 9842:Microsoft Open Specification Promise 9551:Text Template Transformation Toolkit 8972:free and open-source software (FOSS) 8564: 6584:"Announcing a pre-release of F# 3.1" 6581: 6558: 6142:"Visual Studio 2013 released to web" 5924: 5901: 5899: 5897: 5895: 5893: 5891: 5889: 5887: 5885: 5883: 5856: 5813:Syme, Granicz & Cisternino (2007 5733:Free and open-source software portal 4120:general-purpose programming language 4113: 3911: 3774:// Start the loop with an empty list 3490: 1761:. Every statement in F#, including 1641: 1591:Extended string interpolation syntax 1062:using a closed development process. 474:language family and originated as a 409:methods. It is most often used as a 7073:Alexander Kurakin (15 March 2019). 7046: 6809: 3957:has supported F# since version 2.x. 3388:Microsoft.FSharp.Data.TypeProviders 3093: 2572:/// A simple object type definition 1600:Type constraint intersection syntax 1585:Nested record field copy and update 1543:Init scope and init-only properties 1438:Applicative Computation Expressions 1366:Enumeration cases emitted as public 13: 8923:Visual Basic and Visual Basic .NET 7584: 7487:The F# Open Source Group at GitHub 7305:"F# Job in Facebook Social Gaming" 6860: 6117: 5771:"F# Software Foundation's License" 5413:/// A simple prime number detector 4125: 3837:// Dequeue and process the strings 3329: 2883:// string -> Task<string> 1504:InlineIfLambda optimizer directive 1393:No more required double underscore 1339:Ability to produce 'byref' returns 14: 10606: 10585:Software using the Apache license 10565:OCaml programming language family 10008:Confidential Consortium Framework 7534:An introduction to F# programming 7470: 5880: 5226:// Open the Windows Forms library 4653:/// Using fold and range operator 4157:F# can be used together with the 1681:Functions as first-class citizens 1630:New diagnostics from the compiler 1624:unions can now have > 49 cases 1273:Multiple interface instantiations 1258:Primary constructors as functions 482:. It has also been influenced by 10535:High-level programming languages 10501: 10500: 9868: 9867: 9761:TPM 2.0 Reference Implementation 9596:Windows Communication Foundation 9371:Microsoft Automatic Graph Layout 8563: 8553: 8544: 8543: 8330:Windows Communication Foundation 8068: 8067: 8058: 8057: 8048: 8047: 8037: 7917: 6094: 6071: 5835:"F# Historical Acknowledgements" 5725: 5221:A sample Windows Forms program: 4267: 3967:This section is an excerpt from 3920:, with the Visual F# tools from 1813:New types are defined using the 1688:with capturing semantics (i.e., 1597:Arithmetic operators in literals 1486:More implicit upcast conversions 1417:Package references in F# scripts 355: 179:8.0.0 / 14 November 2023 51: 10550:Microsoft programming languages 9852:Open Source Security Foundation 9623:Windows Presentation Foundation 9366:Managed Extensibility Framework 8355:Windows Presentation Foundation 8310:Managed Extensibility Framework 7432:Functional Programming Using F# 7338: 7317: 7297: 7246: 7220: 7200: 7174: 7129: 7105: 7081: 7066: 7006: 6885: 6746: 6722: 6708: 6694: 6680: 6674:"What's new in F# 6 - F# Guide" 6666: 6618: 6598: 6575: 6552: 6519: 6497: 6483: 6461: 6447: 6425: 6411: 6389: 6350: 6336: 6314: 6292: 6278: 6256: 6234: 6220: 6198: 6178: 6156: 6134: 6111: 6088: 6065: 6045: 6025: 5912:"Using F# for Web Applications" 5530:// We are using async workflows 4159:Visual Studio Tools for Xamarin 3495:F# supports a variation of the 3033:"https://example.com" 2543: 2509: 2483: 2454: 2440: 2426: 2412: 2370: 2356: 2074: 2054: 1955: 1915: 1695:Immutable variables and objects 1303:Caller info argument attributes 1300:Underscores in numeric literals 1252:Extension property initializers 10590:Software using the MIT license 10560:ML programming language family 9506:Python Tools for Visual Studio 9466:Open Management Infrastructure 9376:Microsoft C++ Standard Library 8611:Common Language Infrastructure 7882:Logic for Computable Functions 7492:The Visual F# Developer Center 6324:. Microsoft. 23 September 2019 5958:"Using F# for GPU Programming" 5871: 5783: 5763: 4247:, an F# friendly build-system. 4153:Cross-platform app development 2827:function that takes a list of 2349:Common Language Infrastructure 1979:and changing the value of the 1294:Struct annotations for Records 414:Common Language Infrastructure 16:Microsoft programming language 1: 7529:The F# Language Specification 7363: 1675:Hindley–Milner type inference 1516:More intrinsics for NativePtr 1498:Formatting for binary numbers 1471:Augments to "active patterns" 1450:Improved compiler performance 10530:Cross-platform free software 9793:Microsoft Reciprocal License 9471:Open Neural Network Exchange 9396:Microsoft Enterprise Library 8652:Platform Invocation Services 8635:Common Intermediate Language 6011:The F# Software Foundation. 5989:"The F# Software Foundation" 5987:The F# Software Foundation. 5956:The F# Software Foundation. 5910:The F# Software Foundation. 5358:// Add the label to the form 4844:/// Fibonacci Number formula 4280:A few small samples follow: 4195: 3485:information rich programming 3361:Information-rich programming 3338:to support embedding custom 3098:The F# type system supports 2845:in F# follows this pattern. 2073:operator) or a shorthand as 1609:Static members in interfaces 1588:while! (while bang) feature 1546:Reference assemblies support 1540:Required properties checking 1489:Implicit integer conversions 1480:Indentation syntax revisions 1052:benevolent dictator for life 7: 10141:Neural Network Intelligence 9571:Virtual File System for Git 9446:Neural Network Intelligence 9381:Microsoft Cognitive Toolkit 8361:Windows Workflow Foundation 8349:Windows Identity Foundation 7445:F# for Quantitative Finance 7325:"F# Developer Testimonials" 6208:. Microsoft. 14 August 2018 5718: 4275: 2411:Object construction, e.g., 2343:Object-oriented programming 2076:. An empty list is written 2053:represented either using a 1757:and also in some instances 1667:Everything is an expression 1237:Type inference enhancements 1234:Extensions to array slicing 1126:Object-oriented programming 510: 407:object-oriented programming 155:; 19 years ago 10: 10611: 10525:.NET programming languages 7483:The F# Software Foundation 7436:Cambridge University Press 7394:Pickering, Robert (2007), 6419:"F# 6 is officially here!" 6266:. Microsoft. 29 March 2019 3966: 2508:Optional arguments, e.g., 2369:Object expressions, e.g., 2337:System.Collections.Generic 1914:Records can be created as 1435:F# quotations improvements 1318:Error message improvements 1105: 505: 439:and open contributors. An 256:.fs, .fsi, .fsx, .fsscript 144:The F# Software Foundation 34:. The substitution of the 29: 18: 10498: 10468: 10445: 10405: 10377: 10368: 10357: 10265: 10227: 10189: 10083: 10026: 9989: 9928: 9919: 9865: 9824: 9801: 9778: 9721:Extensible Storage Engine 9708: 9676: 9601:Windows Driver Frameworks 9511:R Tools for Visual Studio 9386:Microsoft Design Language 9196: 9098: 9082: 9006: 8999: 8986:Microsoft and open source 8978: 8900: 8809: 8778: 8769: 8744: 8713: 8706: 8665: 8617: 8539: 8513: 8468: 8430: 8407: 8384: 8375: 8304:Language Integrated Query 8224: 8194: 8140: 8122: 8019: 7926: 7915: 7835: 7760: 7709: 7700:Standard ML of New Jersey 7666: 7616: 7602: 7593: 7389:, Flying Frog Consultancy 5286:"Welcome to F#" 3340:domain-specific languages 2831:objects (in the example, 1606:Easier method definition 1510:More collection functions 1483:More implicit conversions 1249:Printf on unitized values 1219:Provided units-of-measure 352: 333: 328: 297: 292: 260: 250: 238: 218: 198: 194: 172: 168: 149: 133: 117: 99: 59: 50: 25:F* (programming language) 9913:Microsoft Research (MSR) 9847:Open Letter to Hobbyists 9788:Microsoft Public License 9686:(v1.25, v2.0 & v4.0) 9628:Windows Template Library 9326:Dynamic Language Runtime 8991:Shared Source Initiative 8913:C# and Visual Basic .NET 8657:Virtual Execution System 8293:Dynamic Language Runtime 8132:Libraries and frameworks 8114: 8001:Christine Paulin-Mohring 7418:Petricek, Tomas (2009), 7034:"Query Expressions (F#)" 5791:"Microsoft's F# License" 5756: 5410: 5385:// Finally, run the form 5223: 4841: 4690: 4515: 4399: 4298: 4291:"Hello World!" 4282: 3888:"Dequeued: %s" 3501: 3379: 3114: 2850: 2668: 2656:asynchronous programming 2650:Asynchronous programming 2569: 2300: 2145: 2004: 1876: 1779: 1740:pattern support (called 1627:Strict indentation rules 1501:Discards on use bindings 1168:Asynchronous programming 426:graphics processing unit 420:, but can also generate 21:F (programming language) 19:Not to be confused with 10545:Microsoft free software 9064:Windows Package Manager 8918:Java and .NET platforms 8215:Framework Class Library 8204:Common Language Runtime 8074:Category:Software:OCaml 7546:A tutorial showing the 7514:The Visual F# team blog 7456:Lundin, Mikael (2015), 7442:Astborg, Johan (2013), 7267:10.1145/1362702.1362709 7253:Trelford, Phil (2007). 6914:"Units of Measure (F#)" 6753:kexugit (8 July 2011). 4477:/// class instantiation 4138:on the server side and 4013:Microsoft Visual Studio 3792:// Enqueue some strings 3102:checking for numbers. 2453:Named arguments, e.g., 2234:computation expressions 2133:that define a sequence 1742:computation expressions 1513:Map has Keys and Values 1255:Non-null provided types 1231:Named union type fields 1192:Computation expressions 1189:Native interoperability 1069:, at the same level as 523:Language specification 431:F# is developed by the 181:; 10 months ago 10116:Image Composite Editor 10091:Automatic Graph Layout 9837:F# Software Foundation 8731:.NET Compact Framework 8450:Native Image Generator 8445:.NET Compiler Platform 8166:.NET Compact Framework 7093:F# Software Foundation 6974:"Code Quotations (F#)" 6794:"F# Language Overview" 4177:Analytical programming 3433:// A query expression. 3377:queries. For example: 3084:System.Threading.Tasks 2837:Async.RunSynchronously 2821:Async.RunSynchronously 2660:asynchronous workflows 2439:Type coercions, e.g., 2246:Imperative programming 1748:Tail call optimisation 1705:Higher-order functions 1657:functional programming 1647:Functional programming 1603:Extended fixed binding 1429:Open Type declarations 1378:Anonymous record types 1207:LINQ query expressions 1138:Imperative programming 1108:Functional programming 470:F# is a member of the 433:F# Software Foundation 40:technical restrictions 9857:Outercurve Foundation 9411:Mixed Reality Toolkit 8683:Global Assembly Cache 8315:Microsoft Silverlight 8064:Category:Family:OCaml 7406:Smith, Chris (2009), 6536:. IDG. Archived from 4208:Open-source community 2482:Named setters, e.g., 2049:type is an immutable 1444:Improved .NET interop 1348:'IsByRefLike' structs 1213:Triple-quoted strings 1147:.NET interoperability 1141:Modules (no functors) 10540:Functional languages 10266:Launched as products 9929:Languages, compilers 9346:Fluent Design System 9226:.NET Micro Framework 8736:.NET Micro Framework 8630:Code Access Security 8171:.NET Micro Framework 8033:Open-source software 7424:Manning Publications 7385:Harrop, Jon (2010), 6718:. 20 September 2023. 6648:. 23 September 2019. 6493:. November 14, 2023. 6385:. November 10, 2020. 5232:System.Windows.Forms 4839:Fibonacci examples: 4688:Iteration examples: 4202:read–eval–print loop 4161:to develop apps for 4142:on the client side. 4025:(community edition) 3926:read–eval–print loop 3063:Parallel programming 2843:Inversion of control 2355:Dot-notation, e.g., 2129:sequence expressions 2112:function composition 1847:represents a set of 1723:Algebraic data types 1423:String Interpolation 1351:'IsReadOnly' structs 1267:Extended #if grammar 1264:Printf interpolation 1210:CLIMutable attribute 1165:Sequence expressions 1111:Discriminated unions 1088:Summary of versions 395:programming language 10176:WorldWide Telescope 9069:WorldWide Telescope 9044:Microsoft PowerToys 8325:Parallel Extensions 7348:. 12 September 2008 7089:"Use F# on Windows" 6704:. 14 November 2023. 6662:. 10 November 2020. 6646:"Announcing F# 4.7" 6540:on 13 November 2018 6457:. November 8, 2022. 6421:. November 9, 2021. 6344:"FSharp.Core 4.7.0" 6322:"Announcing F# 4.7" 6286:"FSharp.Core 4.6.0" 6264:"Announcing F# 4.6" 6228:"FSharp.Core 4.5.0" 6206:"Announcing F# 4.5" 6074:"F# 1.0.8 released" 3976: 3321:// uint<days> 3213:// float<m/s> 2282:, created with the 2273:, created with the 1992:discriminated union 1827:discriminated union 1686:Anonymous functions 1621:Tail call attribute 1402:Open static classes 1321:Support for 'fixed' 1279:Params dictionaries 1089: 1071:Visual Basic (.NET) 361:F Sharp Programming 252:Filename extensions 150:First appeared 47: 10555:Microsoft Research 10171:T2 Temporal Prover 9633:Windows UI Library 9546:T2 Temporal Prover 9516:RecursiveExtractor 9178:Small Basic Online 9054:Windows Calculator 8698:Standard Libraries 8647:Common Type System 8625:Application domain 8054:Category:Family:ML 7942:Lennart Augustsson 7539:2011-07-13 at the 7497:2008-11-19 at the 7255:"Learning with F#" 7113:"Features – Rider" 6893:"Task Expressions" 6759:docs.microsoft.com 6755:"Tail calls in F#" 6690:. 8 November 2022. 5799:. 16 October 2021. 5779:. 14 October 2021. 5069:// Print even fibs 4511:factorial function 4204:(REPL) scripting. 4045:Visual Studio Code 3975: 3932:Visual Studio Code 3042:"{data}" 2542:Type tests, e.g., 2425:Type tests, e.g., 2091:. F# types may be 1733:List comprehension 1426:Support for nameof 1342:The 'voidptr' type 1276:Optional type args 1270:Tailcall attribute 1180:Optional arguments 1123:Type abbreviations 1087: 1060:Microsoft Research 1048:Microsoft Research 1038:Language evolution 457:Visual Studio Code 416:(CLI) language on 128:Microsoft Research 45: 10512: 10511: 10494: 10493: 10441: 10440: 10353: 10352: 10191:Operating systems 10181:Z3 Theorem Prover 10096:Cognitive Toolkit 9879: 9878: 9774: 9773: 9677:Operating systems 9668:Z3 Theorem Prover 9476:Open Service Mesh 9391:Microsoft Detours 9261:ASP.NET Web Forms 9199:development tools 8935: 8934: 8931: 8930: 8765: 8764: 8577: 8576: 8464: 8463: 8336:WCF Data Services 8082: 8081: 7996:Steven G. Johnson 7986: 7985: 7903: 7902: 7762:Programming tools 7730: 7729: 7396:Foundations of F# 7346:"Scripting in F#" 7162:"WebSharper home" 6702:"Announcing F# 8" 6688:"Announcing F# 7" 6660:"Announcing F# 5" 6582:McNamara, Brian. 6559:McNamara, Brian. 6491:"Announcing F# 8" 6455:"Announcing F# 7" 6383:"Announcing F# 5" 4495:"Smith" 4114:Application areas 4109: 4108: 3912:Development tools 3855:PostAndAsyncReply 3831:"World" 3810:"Hello" 3534:AsyncReplyChannel 3491:Agent programming 3370:knowledge graph. 3192:// float<s> 3162:// float<m> 2958:ReadAsStringAsync 2749:GetResponseStream 2500:"Hello" 2405:"hello" 1642:Language overview 1639: 1638: 1399:'nameof' function 1174:Extension members 1171:Agent programming 1035: 1034: 875:Core SDK 3.0.100 832:Core SDK 2.2.300 789:Core SDK 2.1.400 397:that encompasses 369: 368: 200:Typing discipline 10602: 10504: 10503: 10375: 10374: 10366: 10365: 9926: 9925: 9906: 9899: 9892: 9883: 9882: 9871: 9870: 9341:Entity Framework 9039:Open Live Writer 9004: 9003: 8962: 8955: 8948: 8939: 8938: 8776: 8775: 8711: 8710: 8604: 8597: 8590: 8581: 8580: 8567: 8566: 8557: 8556: 8547: 8546: 8382: 8381: 8239:Entity Framework 8109: 8102: 8095: 8086: 8085: 8071: 8070: 8061: 8060: 8051: 8050: 8041: 7933: 7932: 7921: 7842:proof assistants 7614: 7613: 7600: 7599: 7579: 7572: 7565: 7556: 7555: 7509:F# Snippets Site 7482: 7481: 7479:Official website 7466: 7464:Packt Publishing 7452: 7450:Packt Publishing 7438: 7426: 7414: 7402: 7390: 7381: 7357: 7356: 7354: 7353: 7342: 7336: 7335: 7333: 7331: 7321: 7315: 7314: 7312: 7311: 7301: 7295: 7294: 7292: 7291: 7261:. pp. 1–2. 7250: 7244: 7243: 7241: 7240: 7224: 7218: 7217: 7215: 7214: 7204: 7198: 7197: 7195: 7194: 7178: 7172: 7171: 7169: 7168: 7160:Intellifactory. 7157: 7151: 7150: 7148: 7147: 7133: 7127: 7126: 7124: 7123: 7109: 7103: 7102: 7100: 7099: 7085: 7079: 7078: 7070: 7064: 7063: 7061: 7060: 7050: 7044: 7043: 7041: 7040: 7030: 7024: 7023: 7021: 7020: 7010: 7004: 7003: 7001: 7000: 6994:"Type Providers" 6990: 6984: 6983: 6981: 6980: 6970: 6964: 6963: 6961: 6960: 6950: 6944: 6943: 6930: 6924: 6923: 6921: 6920: 6910: 6904: 6903: 6901: 6900: 6889: 6883: 6882: 6880: 6879: 6869: 6858: 6857: 6855: 6854: 6845:. Archived from 6839: 6830: 6829: 6827: 6826: 6816: 6807: 6806: 6804: 6803: 6798: 6790: 6769: 6768: 6766: 6765: 6750: 6744: 6743: 6741: 6740: 6734:en.wikibooks.org 6726: 6720: 6719: 6712: 6706: 6705: 6698: 6692: 6691: 6684: 6678: 6677: 6676:. 10 March 2023. 6670: 6664: 6663: 6656: 6650: 6649: 6642: 6636: 6635: 6633: 6632: 6622: 6616: 6615: 6613: 6612: 6602: 6596: 6595: 6593: 6591: 6579: 6573: 6572: 6570: 6568: 6556: 6550: 6549: 6547: 6545: 6523: 6517: 6516: 6514: 6512: 6501: 6495: 6494: 6487: 6481: 6480: 6478: 6476: 6465: 6459: 6458: 6451: 6445: 6444: 6442: 6440: 6429: 6423: 6422: 6415: 6409: 6408: 6406: 6404: 6393: 6387: 6386: 6379: 6370: 6369: 6367: 6365: 6354: 6348: 6347: 6340: 6334: 6333: 6331: 6329: 6318: 6312: 6311: 6309: 6307: 6296: 6290: 6289: 6282: 6276: 6275: 6273: 6271: 6260: 6254: 6253: 6251: 6249: 6238: 6232: 6231: 6224: 6218: 6217: 6215: 6213: 6202: 6196: 6195: 6193: 6192: 6182: 6176: 6175: 6173: 6171: 6160: 6154: 6153: 6151: 6149: 6138: 6132: 6131: 6129: 6127: 6115: 6109: 6108: 6106: 6104: 6092: 6086: 6085: 6083: 6081: 6069: 6063: 6062: 6060: 6059: 6049: 6043: 6042: 6040: 6039: 6029: 6023: 6022: 6020: 6019: 6008: 5999: 5998: 5996: 5995: 5984: 5973: 5972: 5970: 5969: 5960:. Archived from 5953: 5922: 5921: 5919: 5918: 5907: 5878: 5875: 5869: 5868: 5854: 5845: 5844: 5831: 5816: 5810: 5801: 5800: 5787: 5781: 5780: 5767: 5735: 5730: 5729: 5728: 5714: 5711: 5708: 5705: 5702: 5699: 5696: 5693: 5690: 5687: 5684: 5681: 5678: 5675: 5672: 5669: 5666: 5663: 5660: 5657: 5654: 5651: 5648: 5647:RunSynchronously 5645: 5642: 5639: 5636: 5633: 5630: 5627: 5624: 5621: 5618: 5615: 5612: 5609: 5606: 5603: 5600: 5597: 5594: 5591: 5588: 5585: 5582: 5579: 5576: 5573: 5570: 5567: 5564: 5561: 5558: 5555: 5552: 5549: 5546: 5543: 5540: 5537: 5534: 5531: 5528: 5525: 5522: 5519: 5516: 5513: 5510: 5507: 5504: 5501: 5498: 5495: 5492: 5489: 5486: 5483: 5480: 5477: 5474: 5471: 5468: 5465: 5462: 5459: 5456: 5453: 5450: 5447: 5444: 5441: 5438: 5435: 5432: 5429: 5426: 5423: 5420: 5417: 5414: 5404: 5401: 5398: 5395: 5392: 5389: 5386: 5383: 5380: 5377: 5374: 5371: 5368: 5365: 5362: 5359: 5356: 5353: 5350: 5347: 5344: 5341: 5338: 5335: 5332: 5329: 5326: 5323: 5320: 5317: 5314: 5311: 5308: 5305: 5302: 5299: 5296: 5293: 5290: 5287: 5284: 5281: 5278: 5275: 5272: 5269: 5266: 5263: 5260: 5257: 5254: 5251: 5248: 5245: 5242: 5239: 5236: 5233: 5230: 5227: 5217: 5214: 5211: 5208: 5205: 5202: 5199: 5196: 5193: 5190: 5187: 5184: 5181: 5178: 5175: 5172: 5169: 5166: 5163: 5160: 5157: 5154: 5151: 5148: 5145: 5142: 5139: 5136: 5133: 5130: 5127: 5124: 5121: 5118: 5115: 5112: 5109: 5106: 5103: 5100: 5097: 5094: 5091: 5088: 5085: 5082: 5079: 5076: 5073: 5070: 5067: 5064: 5061: 5058: 5055: 5052: 5049: 5046: 5043: 5040: 5037: 5034: 5031: 5028: 5025: 5022: 5019: 5016: 5013: 5010: 5007: 5004: 5001: 4998: 4995: 4992: 4989: 4986: 4983: 4980: 4977: 4974: 4971: 4968: 4965: 4962: 4959: 4956: 4953: 4950: 4947: 4944: 4941: 4938: 4935: 4932: 4929: 4926: 4923: 4920: 4917: 4914: 4911: 4908: 4905: 4902: 4899: 4896: 4893: 4890: 4887: 4884: 4881: 4878: 4875: 4872: 4869: 4866: 4863: 4860: 4857: 4854: 4851: 4848: 4845: 4835: 4832: 4829: 4826: 4823: 4820: 4817: 4814: 4811: 4808: 4805: 4802: 4799: 4796: 4793: 4790: 4787: 4784: 4781: 4778: 4775: 4772: 4769: 4766: 4763: 4760: 4757: 4754: 4751: 4748: 4745: 4742: 4739: 4736: 4733: 4730: 4727: 4724: 4721: 4718: 4715: 4712: 4709: 4706: 4703: 4700: 4697: 4694: 4684: 4681: 4678: 4675: 4672: 4669: 4666: 4663: 4660: 4657: 4654: 4651: 4648: 4645: 4642: 4639: 4636: 4633: 4630: 4627: 4624: 4621: 4618: 4615: 4612: 4609: 4606: 4603: 4600: 4597: 4594: 4591: 4588: 4585: 4582: 4579: 4576: 4573: 4570: 4567: 4564: 4561: 4558: 4555: 4552: 4549: 4546: 4543: 4540: 4537: 4534: 4531: 4528: 4525: 4522: 4519: 4505: 4502: 4499: 4496: 4493: 4490: 4487: 4484: 4481: 4478: 4475: 4472: 4469: 4466: 4463: 4460: 4457: 4454: 4451: 4448: 4445: 4442: 4439: 4436: 4433: 4430: 4427: 4424: 4421: 4418: 4415: 4412: 4409: 4406: 4403: 4392: 4389: 4386: 4383: 4380: 4377: 4374: 4371: 4368: 4365: 4364:"John" 4362: 4359: 4356: 4353: 4350: 4347: 4344: 4341: 4338: 4335: 4332: 4329: 4326: 4323: 4320: 4317: 4314: 4311: 4308: 4305: 4302: 4292: 4289: 4286: 3977: 3974: 3936:Ionide extension 3907: 3904: 3901: 3898: 3895: 3892: 3889: 3886: 3883: 3880: 3877: 3874: 3871: 3868: 3865: 3862: 3859: 3856: 3853: 3850: 3847: 3844: 3841: 3838: 3835: 3832: 3829: 3826: 3823: 3820: 3817: 3814: 3811: 3808: 3805: 3802: 3799: 3796: 3793: 3790: 3787: 3784: 3781: 3778: 3775: 3772: 3769: 3766: 3763: 3760: 3757: 3754: 3751: 3748: 3745: 3742: 3739: 3736: 3733: 3730: 3727: 3724: 3721: 3718: 3715: 3712: 3709: 3706: 3703: 3700: 3697: 3694: 3691: 3688: 3685: 3682: 3679: 3676: 3673: 3670: 3667: 3664: 3661: 3658: 3655: 3652: 3649: 3646: 3643: 3640: 3637: 3634: 3631: 3628: 3625: 3622: 3619: 3616: 3613: 3610: 3607: 3604: 3601: 3598: 3595: 3592: 3589: 3586: 3583: 3580: 3577: 3574: 3571: 3568: 3565: 3564:MailboxProcessor 3562: 3559: 3556: 3553: 3550: 3547: 3544: 3541: 3538: 3535: 3532: 3529: 3526: 3523: 3520: 3517: 3514: 3511: 3508: 3505: 3479: 3476: 3473: 3470: 3467: 3464: 3461: 3458: 3455: 3452: 3449: 3446: 3443: 3440: 3437: 3434: 3431: 3428: 3425: 3422: 3419: 3416: 3413: 3410: 3407: 3404: 3401: 3398: 3395: 3392: 3389: 3386: 3383: 3348: 3322: 3319: 3316: 3313: 3310: 3307: 3304: 3301: 3298: 3295: 3292: 3289: 3286: 3283: 3280: 3277: 3274: 3271: 3268: 3265: 3262: 3259: 3256: 3253: 3250: 3247: 3244: 3241: 3238: 3235: 3232: 3229: 3226: 3223: 3220: 3217: 3214: 3211: 3208: 3205: 3202: 3199: 3196: 3193: 3190: 3187: 3184: 3181: 3178: 3175: 3172: 3169: 3166: 3163: 3160: 3157: 3154: 3151: 3148: 3145: 3142: 3139: 3136: 3133: 3130: 3127: 3124: 3121: 3118: 3100:units of measure 3094:Units of measure 3085: 3081: 3074: 3070: 3058: 3055: 3052: 3049: 3046: 3043: 3040: 3037: 3034: 3031: 3028: 3025: 3022: 3019: 3016: 3013: 3010: 3007: 3004: 3001: 2998: 2995: 2992: 2989: 2986: 2983: 2980: 2977: 2974: 2971: 2968: 2965: 2962: 2959: 2956: 2953: 2950: 2947: 2944: 2941: 2938: 2935: 2932: 2929: 2926: 2923: 2920: 2917: 2914: 2911: 2908: 2905: 2902: 2899: 2896: 2893: 2890: 2887: 2884: 2881: 2878: 2875: 2872: 2869: 2866: 2863: 2860: 2857: 2854: 2838: 2834: 2830: 2826: 2822: 2814: 2807: 2804: 2801: 2798: 2795: 2792: 2789: 2786: 2783: 2780: 2777: 2774: 2771: 2768: 2765: 2762: 2759: 2756: 2753: 2750: 2747: 2744: 2741: 2738: 2735: 2732: 2729: 2728:GetResponseAsync 2726: 2723: 2720: 2717: 2714: 2711: 2708: 2705: 2702: 2699: 2696: 2693: 2690: 2687: 2684: 2681: 2678: 2675: 2672: 2665: 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: 2556: 2555: 2552: 2549: 2546: 2534: 2533: 2530: 2527: 2524: 2523:OptionalArgument 2521: 2518: 2515: 2512: 2505: 2504: 2501: 2498: 2495: 2492: 2489: 2486: 2479: 2478: 2475: 2472: 2469: 2466: 2463: 2460: 2457: 2450: 2449: 2446: 2443: 2436: 2435: 2432: 2429: 2422: 2421: 2418: 2415: 2407: 2406: 2403: 2400: 2397: 2394: 2391: 2388: 2385: 2382: 2379: 2376: 2373: 2366: 2365: 2362: 2359: 2338: 2331: 2328: 2325: 2322: 2319: 2316: 2313: 2310: 2307: 2304: 2297: 2289: 2285: 2275: 2264: 2256: 2236: 2235: 2220:pattern matching 2213:lazily evaluated 2203: 2200: 2197: 2194: 2191: 2188: 2185: 2182: 2179: 2176: 2173: 2170: 2167: 2164: 2161: 2158: 2155: 2152: 2149: 2142: 2139: 2136: 2131: 2130: 2121: 2117: 2100:lambda functions 2090: 2086: 2078: 2075: 2068: 2064: 2063: 2060: 2057: 2038: 2035: 2032: 2029: 2026: 2023: 2020: 2017: 2014: 2011: 2008: 1986: 1982: 1978: 1974: 1973: 1970: 1967: 1964: 1961: 1958: 1953: 1949: 1948: 1945: 1942: 1939: 1936: 1933: 1930: 1927: 1924: 1921: 1918: 1910: 1907: 1904: 1901: 1898: 1895: 1892: 1889: 1886: 1883: 1880: 1866: 1816: 1809: 1805: 1802:binds the value 1798: 1795: 1792: 1789: 1786: 1783: 1776: 1772: 1768: 1764: 1755:eager evaluation 1718:Pattern matching 1709:Nested functions 1468:Simpler indexing 1432:Enhanced Slicing 1162:Units of measure 1120:Pattern matching 1090: 1086: 1082:units of measure 515: 514: 359: 288: 285: 283: 281: 279: 277: 270: 267: 189: 187: 182: 163: 161: 156: 119:Designed by 55: 48: 44: 10610: 10609: 10605: 10604: 10603: 10601: 10600: 10599: 10515: 10514: 10513: 10508: 10490: 10476:Academic Search 10464: 10437: 10401: 10361: 10359: 10349: 10261: 10223: 10185: 10079: 10022: 9985: 9921: 9915: 9910: 9880: 9875: 9861: 9832:.NET Foundation 9820: 9797: 9770: 9704: 9672: 9653:XDP for Windows 9591:Windows App SDK 9351:Fluid Framework 9331:eBPF on Windows 9198: 9192: 9100: 9094: 9078: 9059:Windows Console 8995: 8974: 8966: 8936: 8927: 8896: 8805: 8779:Major languages 8761: 8740: 8707:Implementations 8702: 8661: 8613: 8608: 8578: 8573: 8535: 8521:.NET Foundation 8509: 8460: 8426: 8403: 8371: 8220: 8190: 8159:Version history 8141:Implementations 8136: 8118: 8113: 8083: 8078: 8036: 8015: 7991:Thierry Coquand 7982: 7922: 7913: 7899: 7840: 7837:Theorem provers 7831: 7756: 7726: 7705: 7662: 7607: 7604:Implementations 7589: 7583: 7541:Wayback Machine 7499:Wayback Machine 7477: 7476: 7473: 7459:Testing with F# 7366: 7361: 7360: 7351: 7349: 7344: 7343: 7339: 7329: 7327: 7323: 7322: 7318: 7309: 7307: 7303: 7302: 7298: 7289: 7287: 7277: 7251: 7247: 7238: 7236: 7226: 7225: 7221: 7212: 7210: 7206: 7205: 7201: 7192: 7190: 7180: 7179: 7175: 7166: 7164: 7158: 7154: 7145: 7143: 7135: 7134: 7130: 7121: 7119: 7111: 7110: 7106: 7097: 7095: 7087: 7086: 7082: 7071: 7067: 7058: 7056: 7052: 7051: 7047: 7038: 7036: 7032: 7031: 7027: 7018: 7016: 7012: 7011: 7007: 6998: 6996: 6992: 6991: 6987: 6978: 6976: 6972: 6971: 6967: 6958: 6956: 6952: 6951: 6947: 6932: 6931: 6927: 6918: 6916: 6912: 6911: 6907: 6898: 6896: 6895:. 19 April 2022 6891: 6890: 6886: 6877: 6875: 6871: 6870: 6861: 6852: 6850: 6841: 6840: 6833: 6824: 6822: 6818: 6817: 6810: 6801: 6799: 6796: 6792: 6791: 6772: 6763: 6761: 6751: 6747: 6738: 6736: 6728: 6727: 6723: 6714: 6713: 6709: 6700: 6699: 6695: 6686: 6685: 6681: 6672: 6671: 6667: 6658: 6657: 6653: 6644: 6643: 6639: 6630: 6628: 6624: 6623: 6619: 6610: 6608: 6604: 6603: 6599: 6589: 6587: 6580: 6576: 6566: 6564: 6557: 6553: 6543: 6541: 6524: 6520: 6510: 6508: 6503: 6502: 6498: 6489: 6488: 6484: 6474: 6472: 6467: 6466: 6462: 6453: 6452: 6448: 6438: 6436: 6431: 6430: 6426: 6417: 6416: 6412: 6402: 6400: 6395: 6394: 6390: 6381: 6380: 6373: 6363: 6361: 6356: 6355: 6351: 6342: 6341: 6337: 6327: 6325: 6320: 6319: 6315: 6305: 6303: 6298: 6297: 6293: 6284: 6283: 6279: 6269: 6267: 6262: 6261: 6257: 6247: 6245: 6240: 6239: 6235: 6226: 6225: 6221: 6211: 6209: 6204: 6203: 6199: 6190: 6188: 6184: 6183: 6179: 6169: 6167: 6162: 6161: 6157: 6147: 6145: 6140: 6139: 6135: 6125: 6123: 6118:Zander, Jason. 6116: 6112: 6102: 6100: 6093: 6089: 6079: 6077: 6070: 6066: 6057: 6055: 6051: 6050: 6046: 6037: 6035: 6031: 6030: 6026: 6017: 6015: 6009: 6002: 5993: 5991: 5985: 5976: 5967: 5965: 5954: 5925: 5916: 5914: 5908: 5881: 5876: 5872: 5855: 5848: 5833: 5832: 5819: 5811: 5804: 5789: 5788: 5784: 5769: 5768: 5764: 5759: 5731: 5726: 5724: 5721: 5716: 5715: 5712: 5709: 5706: 5703: 5700: 5697: 5694: 5691: 5688: 5685: 5682: 5679: 5676: 5673: 5670: 5667: 5664: 5661: 5658: 5655: 5652: 5649: 5646: 5643: 5640: 5637: 5634: 5631: 5628: 5625: 5622: 5619: 5616: 5613: 5610: 5607: 5604: 5601: 5598: 5595: 5592: 5589: 5586: 5583: 5580: 5577: 5574: 5571: 5568: 5565: 5562: 5559: 5556: 5553: 5550: 5547: 5544: 5541: 5538: 5535: 5532: 5529: 5526: 5523: 5520: 5517: 5514: 5511: 5508: 5505: 5502: 5499: 5496: 5493: 5490: 5487: 5484: 5481: 5478: 5475: 5472: 5469: 5466: 5463: 5460: 5457: 5454: 5451: 5448: 5445: 5442: 5439: 5436: 5433: 5430: 5427: 5424: 5421: 5418: 5415: 5412: 5406: 5405: 5402: 5399: 5396: 5393: 5390: 5387: 5384: 5381: 5378: 5375: 5372: 5369: 5366: 5363: 5360: 5357: 5354: 5352:"{x}" 5351: 5348: 5345: 5342: 5339: 5336: 5333: 5330: 5327: 5324: 5321: 5318: 5315: 5312: 5309: 5306: 5303: 5300: 5297: 5294: 5291: 5288: 5285: 5282: 5279: 5276: 5273: 5270: 5267: 5264: 5261: 5258: 5255: 5252: 5249: 5246: 5243: 5240: 5237: 5234: 5231: 5228: 5225: 5219: 5218: 5215: 5212: 5209: 5206: 5203: 5200: 5197: 5194: 5191: 5188: 5185: 5182: 5179: 5176: 5173: 5170: 5167: 5164: 5161: 5158: 5155: 5152: 5149: 5146: 5143: 5140: 5137: 5134: 5131: 5128: 5125: 5122: 5119: 5116: 5113: 5110: 5107: 5104: 5101: 5098: 5095: 5092: 5089: 5086: 5083: 5080: 5077: 5074: 5071: 5068: 5065: 5062: 5059: 5056: 5053: 5050: 5047: 5044: 5041: 5038: 5035: 5032: 5029: 5026: 5023: 5020: 5017: 5014: 5011: 5008: 5005: 5002: 4999: 4996: 4993: 4990: 4987: 4984: 4981: 4978: 4975: 4972: 4969: 4966: 4963: 4960: 4957: 4954: 4951: 4948: 4945: 4942: 4939: 4936: 4933: 4930: 4927: 4924: 4921: 4918: 4915: 4912: 4909: 4906: 4903: 4900: 4897: 4894: 4891: 4888: 4885: 4882: 4879: 4876: 4873: 4870: 4867: 4864: 4861: 4858: 4855: 4852: 4849: 4846: 4843: 4837: 4836: 4833: 4830: 4827: 4824: 4821: 4818: 4815: 4812: 4809: 4806: 4803: 4800: 4797: 4794: 4791: 4788: 4785: 4782: 4779: 4776: 4773: 4770: 4767: 4764: 4761: 4758: 4755: 4752: 4749: 4746: 4743: 4740: 4737: 4734: 4731: 4729:"{x}" 4728: 4725: 4722: 4719: 4716: 4713: 4710: 4707: 4704: 4701: 4698: 4695: 4692: 4686: 4685: 4682: 4679: 4676: 4673: 4670: 4667: 4664: 4661: 4658: 4655: 4652: 4649: 4646: 4643: 4640: 4637: 4634: 4631: 4628: 4625: 4622: 4619: 4616: 4613: 4610: 4607: 4604: 4601: 4598: 4595: 4592: 4589: 4586: 4583: 4580: 4577: 4574: 4571: 4568: 4565: 4562: 4559: 4556: 4553: 4550: 4547: 4544: 4541: 4538: 4535: 4532: 4529: 4526: 4523: 4520: 4517: 4507: 4506: 4503: 4500: 4497: 4494: 4491: 4488: 4485: 4482: 4479: 4476: 4473: 4470: 4467: 4464: 4461: 4458: 4455: 4452: 4449: 4446: 4443: 4440: 4437: 4434: 4431: 4428: 4425: 4422: 4419: 4416: 4413: 4410: 4407: 4404: 4401: 4396: 4394: 4393: 4390: 4387: 4384: 4381: 4378: 4376:"Doe" 4375: 4372: 4369: 4366: 4363: 4360: 4357: 4354: 4351: 4348: 4345: 4342: 4339: 4336: 4333: 4330: 4327: 4324: 4321: 4318: 4315: 4312: 4309: 4306: 4303: 4300: 4294: 4293: 4290: 4287: 4284: 4278: 4270: 4210: 4198: 4179: 4155: 4128: 4126:Web programming 4116: 4111: 4110: 4057: 4021: 3972: 3964: 3914: 3909: 3908: 3905: 3902: 3899: 3896: 3893: 3890: 3887: 3884: 3881: 3878: 3875: 3872: 3869: 3866: 3863: 3860: 3857: 3854: 3851: 3848: 3845: 3842: 3839: 3836: 3833: 3830: 3827: 3824: 3821: 3818: 3815: 3812: 3809: 3806: 3803: 3800: 3797: 3794: 3791: 3788: 3785: 3782: 3779: 3776: 3773: 3770: 3767: 3764: 3761: 3758: 3755: 3752: 3749: 3746: 3743: 3740: 3737: 3734: 3731: 3728: 3725: 3722: 3719: 3716: 3713: 3710: 3707: 3704: 3701: 3698: 3695: 3692: 3689: 3686: 3683: 3680: 3677: 3674: 3671: 3668: 3665: 3662: 3659: 3656: 3653: 3650: 3647: 3644: 3641: 3638: 3635: 3632: 3629: 3626: 3623: 3620: 3617: 3614: 3611: 3608: 3605: 3602: 3599: 3596: 3593: 3590: 3587: 3584: 3581: 3578: 3575: 3572: 3569: 3566: 3563: 3560: 3557: 3554: 3551: 3548: 3545: 3542: 3539: 3536: 3533: 3530: 3527: 3524: 3521: 3518: 3515: 3512: 3509: 3506: 3503: 3493: 3481: 3480: 3477: 3474: 3471: 3468: 3465: 3462: 3459: 3456: 3453: 3450: 3447: 3444: 3441: 3438: 3435: 3432: 3429: 3426: 3423: 3420: 3417: 3414: 3411: 3408: 3405: 3402: 3399: 3396: 3393: 3390: 3387: 3384: 3381: 3363: 3347: 3336:metaprogramming 3332: 3330:Metaprogramming 3324: 3323: 3320: 3317: 3314: 3311: 3308: 3305: 3302: 3299: 3296: 3293: 3290: 3287: 3284: 3281: 3278: 3275: 3272: 3269: 3266: 3263: 3260: 3257: 3254: 3251: 3248: 3245: 3242: 3239: 3236: 3233: 3230: 3227: 3224: 3221: 3218: 3215: 3212: 3209: 3206: 3203: 3200: 3197: 3194: 3191: 3188: 3185: 3182: 3179: 3176: 3173: 3170: 3167: 3164: 3161: 3158: 3155: 3152: 3149: 3146: 3143: 3140: 3137: 3134: 3131: 3128: 3125: 3122: 3119: 3116: 3112: 3096: 3083: 3079: 3072: 3068: 3065: 3060: 3059: 3056: 3053: 3050: 3047: 3044: 3041: 3038: 3035: 3032: 3029: 3026: 3023: 3020: 3017: 3014: 3011: 3008: 3005: 3002: 2999: 2996: 2993: 2990: 2987: 2984: 2981: 2978: 2975: 2972: 2969: 2966: 2963: 2960: 2957: 2954: 2951: 2948: 2945: 2942: 2939: 2936: 2933: 2930: 2927: 2924: 2921: 2918: 2915: 2912: 2909: 2906: 2903: 2900: 2897: 2894: 2891: 2888: 2885: 2882: 2879: 2876: 2873: 2870: 2867: 2864: 2861: 2858: 2856:System.Net.Http 2855: 2852: 2836: 2832: 2828: 2824: 2820: 2812: 2809: 2808: 2805: 2802: 2799: 2796: 2793: 2790: 2787: 2784: 2781: 2778: 2775: 2772: 2769: 2766: 2763: 2760: 2757: 2754: 2751: 2748: 2745: 2742: 2739: 2736: 2733: 2730: 2727: 2724: 2721: 2718: 2715: 2712: 2709: 2706: 2703: 2700: 2697: 2694: 2691: 2688: 2685: 2682: 2679: 2676: 2673: 2670: 2663: 2652: 2647: 2646: 2643: 2640: 2637: 2634: 2631: 2628: 2625: 2622: 2619: 2616: 2613: 2610: 2607: 2604: 2601: 2598: 2595: 2592: 2589: 2586: 2583: 2580: 2577: 2574: 2571: 2553: 2550: 2547: 2544: 2531: 2528: 2525: 2522: 2519: 2516: 2513: 2510: 2502: 2499: 2496: 2493: 2490: 2487: 2484: 2476: 2473: 2470: 2467: 2464: 2461: 2458: 2455: 2447: 2444: 2441: 2433: 2430: 2427: 2419: 2416: 2413: 2404: 2401: 2398: 2395: 2392: 2389: 2386: 2383: 2380: 2377: 2374: 2371: 2363: 2360: 2357: 2345: 2336: 2333: 2332: 2329: 2326: 2323: 2320: 2317: 2314: 2311: 2308: 2305: 2302: 2298:. For example: 2295: 2287: 2283: 2274: 2262: 2254: 2248: 2233: 2232: 2225:active patterns 2205: 2204: 2201: 2198: 2195: 2192: 2189: 2186: 2183: 2180: 2177: 2174: 2171: 2168: 2165: 2162: 2159: 2156: 2153: 2150: 2147: 2141: 2138: 2134: 2128: 2127: 2119: 2115: 2088: 2084: 2077: 2066: 2061: 2058: 2055: 2040: 2039: 2036: 2033: 2030: 2027: 2024: 2021: 2018: 2015: 2012: 2009: 2006: 2002:. For example, 1984: 1980: 1976: 1971: 1968: 1965: 1962: 1959: 1956: 1951: 1946: 1943: 1940: 1937: 1934: 1931: 1928: 1925: 1922: 1919: 1916: 1912: 1911: 1908: 1905: 1902: 1899: 1896: 1893: 1890: 1887: 1884: 1881: 1878: 1864: 1855:≥ 0. The value 1814: 1807: 1803: 1800: 1799: 1796: 1793: 1790: 1787: 1784: 1781: 1774: 1770: 1766: 1762: 1759:lazy evaluation 1699:Lazy evaluation 1649: 1644: 1390:Implicit yields 1216:Auto-properties 1177:Named arguments 1159:Active patterns 1135:Scripting files 1132:Signature files 1098:Features added 1094: 1040: 842:September 2019 664: 620: 519: 513: 508: 449:JetBrains Rider 380:general-purpose 274: 272: 264: 190: 185: 183: 180: 159: 157: 154: 86:metaprogramming 78:object-oriented 43: 28: 17: 12: 11: 5: 10608: 10598: 10597: 10592: 10587: 10582: 10577: 10572: 10567: 10562: 10557: 10552: 10547: 10542: 10537: 10532: 10527: 10510: 10509: 10499: 10496: 10495: 10492: 10491: 10489: 10488: 10483: 10478: 10472: 10470: 10466: 10465: 10463: 10462: 10457: 10451: 10449: 10443: 10442: 10439: 10438: 10436: 10435: 10430: 10425: 10423:Live Clipboard 10420: 10415: 10409: 10407: 10403: 10402: 10400: 10399: 10398: 10397: 10387: 10381: 10379: 10372: 10363: 10355: 10354: 10351: 10350: 10348: 10347: 10346: 10345: 10335: 10330: 10325: 10320: 10315: 10310: 10305: 10295: 10290: 10285: 10280: 10275: 10269: 10267: 10263: 10262: 10260: 10259: 10254: 10249: 10244: 10239: 10233: 10231: 10225: 10224: 10222: 10221: 10216: 10211: 10206: 10201: 10195: 10193: 10187: 10186: 10184: 10183: 10178: 10173: 10168: 10163: 10158: 10153: 10148: 10143: 10138: 10133: 10128: 10123: 10118: 10113: 10108: 10103: 10098: 10093: 10087: 10085: 10084:Other projects 10081: 10080: 10078: 10077: 10072: 10067: 10062: 10057: 10052: 10047: 10042: 10036: 10034: 10024: 10023: 10021: 10020: 10015: 10010: 10005: 9999: 9997: 9995:grid computing 9987: 9986: 9984: 9983: 9978: 9973: 9968: 9966:Project Verona 9963: 9958: 9953: 9948: 9943: 9938: 9932: 9930: 9923: 9917: 9916: 9909: 9908: 9901: 9894: 9886: 9877: 9876: 9866: 9863: 9862: 9860: 9859: 9854: 9849: 9844: 9839: 9834: 9828: 9826: 9822: 9821: 9819: 9818: 9813: 9807: 9805: 9799: 9798: 9796: 9795: 9790: 9784: 9782: 9776: 9775: 9772: 9771: 9769: 9768: 9763: 9758: 9753: 9748: 9743: 9738: 9733: 9728: 9723: 9718: 9712: 9710: 9706: 9705: 9703: 9702: 9697: 9692: 9687: 9680: 9678: 9674: 9673: 9671: 9670: 9665: 9660: 9655: 9650: 9645: 9640: 9635: 9630: 9625: 9620: 9615: 9614: 9613: 9608: 9598: 9593: 9588: 9583: 9578: 9573: 9568: 9563: 9558: 9553: 9548: 9543: 9538: 9533: 9528: 9523: 9518: 9513: 9508: 9503: 9498: 9493: 9488: 9483: 9478: 9473: 9468: 9463: 9458: 9453: 9448: 9443: 9438: 9433: 9428: 9423: 9418: 9413: 9408: 9403: 9401:Microsoft SEAL 9398: 9393: 9388: 9383: 9378: 9373: 9368: 9363: 9358: 9353: 9348: 9343: 9338: 9333: 9328: 9323: 9318: 9313: 9308: 9303: 9298: 9293: 9288: 9283: 9278: 9273: 9268: 9263: 9258: 9253: 9248: 9243: 9238: 9233: 9228: 9223: 9218: 9216:.NET Gadgeteer 9213: 9211:.NET Framework 9208: 9202: 9200: 9194: 9193: 9191: 9190: 9185: 9180: 9175: 9170: 9168:Project Verona 9165: 9160: 9155: 9150: 9145: 9140: 9135: 9130: 9125: 9120: 9115: 9110: 9104: 9102: 9096: 9095: 9093: 9092: 9086: 9084: 9080: 9079: 9077: 9076: 9071: 9066: 9061: 9056: 9051: 9046: 9041: 9036: 9031: 9026: 9021: 9016: 9014:3D Movie Maker 9010: 9008: 9001: 8997: 8996: 8994: 8993: 8988: 8982: 8980: 8976: 8975: 8965: 8964: 8957: 8950: 8942: 8933: 8932: 8929: 8928: 8926: 8925: 8920: 8915: 8910: 8904: 8902: 8898: 8897: 8895: 8894: 8889: 8884: 8879: 8874: 8869: 8864: 8859: 8854: 8849: 8844: 8839: 8834: 8829: 8824: 8819: 8813: 8811: 8807: 8806: 8804: 8803: 8798: 8793: 8788: 8782: 8780: 8773: 8767: 8766: 8763: 8762: 8760: 8759: 8754: 8748: 8746: 8742: 8741: 8739: 8738: 8733: 8728: 8726:.NET Framework 8723: 8717: 8715: 8708: 8704: 8703: 8701: 8700: 8695: 8690: 8685: 8680: 8675: 8669: 8667: 8663: 8662: 8660: 8659: 8654: 8649: 8644: 8643: 8642: 8632: 8627: 8621: 8619: 8615: 8614: 8607: 8606: 8599: 8592: 8584: 8575: 8574: 8572: 8571: 8561: 8551: 8540: 8537: 8536: 8534: 8533: 8528: 8523: 8517: 8515: 8511: 8510: 8508: 8507: 8505:Xamarin Studio 8502: 8497: 8492: 8491: 8490: 8485: 8474: 8472: 8466: 8465: 8462: 8461: 8459: 8458: 8453: 8447: 8442: 8437: 8431: 8428: 8427: 8425: 8424: 8419: 8413: 8411: 8405: 8404: 8402: 8401: 8396: 8394:.NET Reflector 8390: 8388: 8379: 8373: 8372: 8370: 8369: 8364: 8358: 8352: 8346: 8340: 8339: 8338: 8327: 8322: 8317: 8312: 8307: 8301: 8295: 8290: 8285: 8280: 8279: 8278: 8273: 8268: 8263: 8258: 8253: 8243: 8242: 8241: 8230: 8228: 8222: 8221: 8219: 8218: 8212: 8207: 8200: 8198: 8192: 8191: 8189: 8188: 8183: 8178: 8173: 8168: 8163: 8162: 8161: 8154:.NET Framework 8151: 8144: 8142: 8138: 8137: 8135: 8134: 8129: 8123: 8120: 8119: 8112: 8111: 8104: 8097: 8089: 8080: 8079: 8077: 8028: 8026:= discontinued 8020: 8017: 8016: 8014: 8013: 8011:Simon Thompson 8008: 8006:Frank Pfenning 8003: 7998: 7993: 7987: 7984: 7983: 7981: 7975: 7969: 7963: 7957: 7951: 7948:Damien Doligez 7945: 7939: 7937: 7930: 7924: 7923: 7916: 7914: 7912: 7911: 7904: 7901: 7900: 7898: 7897: 7891: 7885: 7878: 7873: 7867: 7866: 7865: 7853: 7846: 7844: 7833: 7832: 7830: 7825: 7819: 7813: 7807: 7801: 7795: 7789: 7783: 7777: 7772: 7766: 7764: 7758: 7757: 7755: 7754: 7748: 7743: 7738: 7731: 7728: 7727: 7725: 7724: 7717: 7715: 7707: 7706: 7704: 7703: 7697: 7691: 7686: 7681: 7672: 7670: 7664: 7663: 7661: 7660: 7659: 7658: 7652: 7646: 7640: 7634: 7622: 7620: 7611: 7597: 7591: 7590: 7582: 7581: 7574: 7567: 7559: 7553: 7552: 7543: 7531: 7526: 7521: 7516: 7511: 7506: 7501: 7489: 7484: 7472: 7471:External links 7469: 7468: 7467: 7453: 7439: 7427: 7415: 7408:Programming F# 7403: 7391: 7382: 7365: 7362: 7359: 7358: 7337: 7316: 7296: 7275: 7245: 7219: 7199: 7173: 7152: 7128: 7104: 7080: 7065: 7045: 7025: 7005: 6985: 6965: 6945: 6925: 6905: 6884: 6859: 6831: 6808: 6770: 6745: 6721: 6707: 6693: 6679: 6665: 6651: 6637: 6617: 6597: 6574: 6551: 6518: 6496: 6482: 6460: 6446: 6424: 6410: 6388: 6371: 6349: 6335: 6313: 6291: 6277: 6255: 6233: 6219: 6197: 6177: 6155: 6133: 6110: 6087: 6064: 6044: 6024: 6000: 5974: 5923: 5879: 5870: 5846: 5817: 5802: 5782: 5761: 5760: 5758: 5755: 5754: 5753: 5751:.NET Framework 5748: 5743: 5737: 5736: 5720: 5717: 5710:"%d" 5411: 5224: 4842: 4825:"%d" 4762:"%d" 4691: 4516: 4400: 4299: 4283: 4277: 4274: 4269: 4266: 4265: 4264: 4258: 4248: 4242: 4232: 4209: 4206: 4197: 4194: 4178: 4175: 4154: 4151: 4127: 4124: 4115: 4112: 4107: 4106: 4101: 4098: 4095: 4092: 4087: 4081: 4080: 4075: 4072: 4069: 4066: 4047: 4041: 4040: 4035: 4032: 4029: 4026: 4015: 4009: 4008: 4003: 3998: 3993: 3988: 3983: 3973: 3965: 3963: 3960: 3959: 3958: 3952: 3946: 3939: 3929: 3913: 3910: 3502: 3492: 3489: 3427:GetDataContext 3380: 3362: 3359: 3331: 3328: 3115: 3095: 3092: 3080:Array.Parallel 3069:Async.Parallel 3064: 3061: 2851: 2825:Async.Parallel 2669: 2651: 2648: 2570: 2561: 2560: 2557: 2536: 2535: 2506: 2480: 2451: 2437: 2423: 2409: 2367: 2344: 2341: 2301: 2292: 2291: 2277: 2268: 2260: 2247: 2244: 2146: 2005: 1972:"CD" 1935:"AB" 1877: 1859:is called the 1851:values, where 1780: 1773:. F# uses the 1751: 1750: 1745: 1735: 1730: 1725: 1720: 1715: 1710: 1707: 1702: 1696: 1693: 1683: 1678: 1671:Type inference 1668: 1653:strongly typed 1648: 1645: 1643: 1640: 1637: 1636: 1635: 1634: 1631: 1628: 1625: 1622: 1619: 1616: 1613: 1610: 1607: 1604: 1601: 1598: 1595: 1592: 1589: 1586: 1583: 1578: 1574: 1573: 1572: 1571: 1568: 1565: 1562: 1559: 1556: 1553: 1550: 1547: 1544: 1541: 1538: 1535: 1530: 1526: 1525: 1524: 1523: 1520: 1517: 1514: 1511: 1508: 1507:Resumable code 1505: 1502: 1499: 1496: 1493: 1490: 1487: 1484: 1481: 1478: 1475: 1472: 1469: 1466: 1461: 1457: 1456: 1455: 1454: 1451: 1448: 1445: 1442: 1439: 1436: 1433: 1430: 1427: 1424: 1421: 1418: 1415: 1410: 1406: 1405: 1404: 1403: 1400: 1397: 1394: 1391: 1386: 1382: 1381: 1380: 1379: 1374: 1370: 1369: 1368: 1367: 1364: 1361: 1358: 1355: 1352: 1349: 1346: 1343: 1340: 1337: 1334: 1329: 1325: 1324: 1323: 1322: 1319: 1316: 1313: 1310: 1307: 1304: 1301: 1298: 1295: 1292: 1287: 1283: 1282: 1281: 1280: 1277: 1274: 1271: 1268: 1265: 1262: 1259: 1256: 1253: 1250: 1245: 1241: 1240: 1239: 1238: 1235: 1232: 1227: 1223: 1222: 1221: 1220: 1217: 1214: 1211: 1208: 1205: 1204:Type providers 1200: 1196: 1195: 1194: 1193: 1190: 1187: 1184: 1181: 1178: 1175: 1172: 1169: 1166: 1163: 1160: 1155: 1151: 1150: 1149: 1148: 1145: 1144:Nested modules 1142: 1139: 1136: 1133: 1130: 1127: 1124: 1121: 1118: 1115: 1112: 1109: 1104: 1100: 1099: 1096: 1039: 1036: 1033: 1032: 1026: 1003: 1002:November 2023 1000: 998: 994: 993: 987: 964: 963:November 2022 961: 959: 955: 954: 948: 925: 924:November 2021 922: 920: 916: 915: 909: 886: 885:November 2020 883: 881: 877: 876: 866: 843: 840: 838: 834: 833: 823: 800: 797: 795: 791: 790: 780: 757: 754: 752: 748: 747: 734: 711: 708: 703: 699: 698: 696: 694: 691: 686: 682: 681: 672: 650: 647: 642: 638: 637: 628: 606: 603: 598: 594: 593: 584: 571: 568: 563: 559: 558: 552: 547: 544: 542: 538: 537: 532: 527: 524: 521: 512: 509: 507: 504: 476:.NET Framework 411:cross-platform 392:multi-paradigm 388:strongly typed 367: 366: 365: 364: 350: 349: 331: 330: 326: 325: 295: 294: 290: 289: 262: 258: 257: 254: 248: 247: 242: 236: 235: 225:Cross-platform 222: 216: 215: 202: 196: 195: 192: 191: 178: 176: 174:Stable release 170: 169: 166: 165: 151: 147: 146: 137: 131: 130: 121: 115: 114: 101: 97: 96: 82:agent-oriented 66:Multi-paradigm 63: 57: 56: 15: 9: 6: 4: 3: 2: 10607: 10596: 10593: 10591: 10588: 10586: 10583: 10581: 10578: 10576: 10573: 10571: 10568: 10566: 10563: 10561: 10558: 10556: 10553: 10551: 10548: 10546: 10543: 10541: 10538: 10536: 10533: 10531: 10528: 10526: 10523: 10522: 10520: 10507: 10497: 10487: 10484: 10482: 10481:adCenter Labs 10479: 10477: 10474: 10473: 10471: 10467: 10461: 10458: 10456: 10453: 10452: 10450: 10448: 10444: 10434: 10431: 10429: 10426: 10424: 10421: 10419: 10416: 10414: 10411: 10410: 10408: 10404: 10396: 10393: 10392: 10391: 10388: 10386: 10383: 10382: 10380: 10376: 10373: 10371: 10367: 10364: 10356: 10344: 10341: 10340: 10339: 10336: 10334: 10331: 10329: 10326: 10324: 10321: 10319: 10316: 10314: 10311: 10309: 10306: 10303: 10299: 10296: 10294: 10291: 10289: 10286: 10284: 10281: 10279: 10276: 10274: 10271: 10270: 10268: 10264: 10258: 10255: 10253: 10250: 10248: 10245: 10243: 10240: 10238: 10235: 10234: 10232: 10230: 10226: 10220: 10217: 10215: 10212: 10210: 10207: 10205: 10202: 10200: 10197: 10196: 10194: 10192: 10188: 10182: 10179: 10177: 10174: 10172: 10169: 10167: 10164: 10162: 10159: 10157: 10154: 10152: 10149: 10147: 10144: 10142: 10139: 10137: 10134: 10132: 10129: 10127: 10124: 10122: 10119: 10117: 10114: 10112: 10109: 10107: 10106:Holoportation 10104: 10102: 10099: 10097: 10094: 10092: 10089: 10088: 10086: 10082: 10076: 10073: 10071: 10068: 10066: 10063: 10061: 10058: 10056: 10053: 10051: 10050:Conference XP 10048: 10046: 10043: 10041: 10038: 10037: 10035: 10033: 10029: 10025: 10019: 10016: 10014: 10011: 10009: 10006: 10004: 10001: 10000: 9998: 9996: 9992: 9988: 9982: 9979: 9977: 9976:Polyphonic C# 9974: 9972: 9969: 9967: 9964: 9962: 9959: 9957: 9954: 9952: 9949: 9947: 9944: 9942: 9939: 9937: 9934: 9933: 9931: 9927: 9924: 9918: 9914: 9907: 9902: 9900: 9895: 9893: 9888: 9887: 9884: 9874: 9864: 9858: 9855: 9853: 9850: 9848: 9845: 9843: 9840: 9838: 9835: 9833: 9830: 9829: 9827: 9823: 9817: 9814: 9812: 9809: 9808: 9806: 9804: 9800: 9794: 9791: 9789: 9786: 9785: 9783: 9781: 9777: 9767: 9764: 9762: 9759: 9757: 9754: 9752: 9749: 9747: 9744: 9742: 9739: 9737: 9734: 9732: 9729: 9727: 9724: 9722: 9719: 9717: 9714: 9713: 9711: 9707: 9701: 9698: 9696: 9693: 9691: 9688: 9685: 9682: 9681: 9679: 9675: 9669: 9666: 9664: 9661: 9659: 9656: 9654: 9651: 9649: 9646: 9644: 9641: 9639: 9636: 9634: 9631: 9629: 9626: 9624: 9621: 9619: 9618:Windows Forms 9616: 9612: 9609: 9607: 9604: 9603: 9602: 9599: 9597: 9594: 9592: 9589: 9587: 9586:Vowpal Wabbit 9584: 9582: 9579: 9577: 9574: 9572: 9569: 9567: 9564: 9562: 9559: 9557: 9554: 9552: 9549: 9547: 9544: 9542: 9539: 9537: 9534: 9532: 9529: 9527: 9524: 9522: 9519: 9517: 9514: 9512: 9509: 9507: 9504: 9502: 9499: 9497: 9494: 9492: 9489: 9487: 9484: 9482: 9479: 9477: 9474: 9472: 9469: 9467: 9464: 9462: 9459: 9457: 9454: 9452: 9449: 9447: 9444: 9442: 9439: 9437: 9434: 9432: 9429: 9427: 9424: 9422: 9419: 9417: 9414: 9412: 9409: 9407: 9404: 9402: 9399: 9397: 9394: 9392: 9389: 9387: 9384: 9382: 9379: 9377: 9374: 9372: 9369: 9367: 9364: 9362: 9359: 9357: 9354: 9352: 9349: 9347: 9344: 9342: 9339: 9337: 9334: 9332: 9329: 9327: 9324: 9322: 9319: 9317: 9314: 9312: 9309: 9307: 9304: 9302: 9299: 9297: 9294: 9292: 9289: 9287: 9284: 9282: 9279: 9277: 9274: 9272: 9269: 9267: 9264: 9262: 9259: 9257: 9256:ASP.NET Razor 9254: 9252: 9249: 9247: 9244: 9242: 9239: 9237: 9234: 9232: 9229: 9227: 9224: 9222: 9219: 9217: 9214: 9212: 9209: 9207: 9204: 9203: 9201: 9195: 9189: 9186: 9184: 9181: 9179: 9176: 9174: 9171: 9169: 9166: 9164: 9161: 9159: 9156: 9154: 9151: 9149: 9146: 9144: 9141: 9139: 9136: 9134: 9131: 9129: 9126: 9124: 9121: 9119: 9116: 9114: 9111: 9109: 9106: 9105: 9103: 9097: 9091: 9088: 9087: 9085: 9081: 9075: 9072: 9070: 9067: 9065: 9062: 9060: 9057: 9055: 9052: 9050: 9047: 9045: 9042: 9040: 9037: 9035: 9032: 9030: 9027: 9025: 9024:Conference XP 9022: 9020: 9017: 9015: 9012: 9011: 9009: 9005: 9002: 8998: 8992: 8989: 8987: 8984: 8983: 8981: 8977: 8973: 8970: 8963: 8958: 8956: 8951: 8949: 8944: 8943: 8940: 8924: 8921: 8919: 8916: 8914: 8911: 8909: 8906: 8905: 8903: 8899: 8893: 8890: 8888: 8885: 8883: 8880: 8878: 8875: 8873: 8870: 8868: 8865: 8863: 8860: 8858: 8855: 8853: 8850: 8848: 8845: 8843: 8840: 8838: 8835: 8833: 8830: 8828: 8825: 8823: 8820: 8818: 8815: 8814: 8812: 8808: 8802: 8799: 8797: 8794: 8792: 8789: 8787: 8784: 8783: 8781: 8777: 8774: 8772: 8768: 8758: 8755: 8753: 8750: 8749: 8747: 8743: 8737: 8734: 8732: 8729: 8727: 8724: 8722: 8719: 8718: 8716: 8712: 8709: 8705: 8699: 8696: 8694: 8691: 8689: 8686: 8684: 8681: 8679: 8676: 8674: 8671: 8670: 8668: 8664: 8658: 8655: 8653: 8650: 8648: 8645: 8641: 8638: 8637: 8636: 8633: 8631: 8628: 8626: 8623: 8622: 8620: 8616: 8612: 8605: 8600: 8598: 8593: 8591: 8586: 8585: 8582: 8570: 8562: 8560: 8552: 8550: 8542: 8541: 8538: 8532: 8529: 8527: 8524: 8522: 8519: 8518: 8516: 8514:Organizations 8512: 8506: 8503: 8501: 8498: 8496: 8493: 8489: 8486: 8484: 8481: 8480: 8479: 8478:Visual Studio 8476: 8475: 8473: 8471: 8467: 8457: 8454: 8451: 8448: 8446: 8443: 8441: 8438: 8436: 8433: 8432: 8429: 8423: 8422:SmartAssembly 8420: 8418: 8415: 8414: 8412: 8410: 8406: 8400: 8397: 8395: 8392: 8391: 8389: 8387: 8383: 8380: 8378: 8374: 8368: 8367:.NET Remoting 8365: 8362: 8359: 8356: 8353: 8350: 8347: 8344: 8343:Windows Forms 8341: 8337: 8334: 8333: 8331: 8328: 8326: 8323: 8321: 8320:Microsoft XNA 8318: 8316: 8313: 8311: 8308: 8305: 8302: 8299: 8296: 8294: 8291: 8289: 8286: 8284: 8281: 8277: 8274: 8272: 8269: 8267: 8264: 8262: 8259: 8257: 8254: 8252: 8249: 8248: 8247: 8244: 8240: 8237: 8236: 8235: 8232: 8231: 8229: 8227: 8223: 8216: 8213: 8211: 8208: 8205: 8202: 8201: 8199: 8197: 8193: 8187: 8186:XNA Framework 8184: 8182: 8179: 8177: 8174: 8172: 8169: 8167: 8164: 8160: 8157: 8156: 8155: 8152: 8149: 8146: 8145: 8143: 8139: 8133: 8130: 8128: 8127:.NET strategy 8125: 8124: 8121: 8117: 8110: 8105: 8103: 8098: 8096: 8091: 8090: 8087: 8076: 8075: 8066: 8065: 8056: 8055: 8046: 8045: 8040: 8035: 8034: 8029: 8027: 8024: 8021: 8018: 8012: 8009: 8007: 8004: 8002: 7999: 7997: 7994: 7992: 7989: 7988: 7979: 7976: 7974:(Extended ML) 7973: 7970: 7967: 7964: 7962:(Caml, OCaml) 7961: 7958: 7955: 7952: 7949: 7946: 7943: 7940: 7938: 7934: 7931: 7929: 7925: 7920: 7909: 7906: 7905: 7895: 7892: 7889: 7886: 7884: 7883: 7879: 7877: 7874: 7871: 7868: 7863: 7860: 7859: 7857: 7854: 7851: 7848: 7847: 7845: 7843: 7838: 7834: 7829: 7826: 7823: 7820: 7817: 7814: 7811: 7808: 7805: 7802: 7799: 7796: 7793: 7790: 7787: 7784: 7781: 7778: 7776: 7773: 7770: 7767: 7765: 7763: 7759: 7752: 7749: 7747: 7744: 7742: 7739: 7736: 7733: 7732: 7722: 7719: 7718: 7716: 7714: 7713: 7708: 7701: 7698: 7695: 7692: 7690: 7687: 7685: 7684:Concurrent ML 7682: 7679: 7678: 7674: 7673: 7671: 7669: 7665: 7656: 7653: 7650: 7647: 7644: 7641: 7638: 7635: 7633: 7630: 7629: 7627: 7624: 7623: 7621: 7619: 7615: 7612: 7610: 7605: 7601: 7598: 7596: 7592: 7587: 7580: 7575: 7573: 7568: 7566: 7561: 7560: 7557: 7551: 7549: 7544: 7542: 7538: 7535: 7532: 7530: 7527: 7525: 7522: 7520: 7517: 7515: 7512: 7510: 7507: 7505: 7502: 7500: 7496: 7493: 7490: 7488: 7485: 7480: 7475: 7474: 7465: 7461: 7460: 7454: 7451: 7447: 7446: 7440: 7437: 7433: 7428: 7425: 7421: 7416: 7413: 7409: 7404: 7401: 7397: 7392: 7388: 7383: 7380: 7376: 7372: 7368: 7367: 7347: 7341: 7326: 7320: 7306: 7300: 7286: 7282: 7278: 7276:9781450378444 7272: 7268: 7264: 7260: 7256: 7249: 7235: 7234: 7229: 7223: 7209: 7203: 7189: 7188: 7183: 7177: 7163: 7156: 7142: 7138: 7132: 7118: 7114: 7108: 7094: 7090: 7084: 7076: 7069: 7055: 7049: 7035: 7029: 7015: 7009: 6995: 6989: 6975: 6969: 6955: 6949: 6941: 6940: 6935: 6929: 6915: 6909: 6894: 6888: 6874: 6868: 6866: 6864: 6849:on 2012-12-09 6848: 6844: 6838: 6836: 6821: 6815: 6813: 6795: 6789: 6787: 6785: 6783: 6781: 6779: 6777: 6775: 6760: 6756: 6749: 6735: 6731: 6725: 6717: 6711: 6703: 6697: 6689: 6683: 6675: 6669: 6661: 6655: 6647: 6641: 6627: 6621: 6607: 6601: 6585: 6578: 6562: 6555: 6539: 6535: 6534: 6533:Network World 6529: 6522: 6506: 6500: 6492: 6486: 6470: 6464: 6456: 6450: 6434: 6428: 6420: 6414: 6398: 6392: 6384: 6378: 6376: 6359: 6353: 6345: 6339: 6328:September 23, 6323: 6317: 6301: 6295: 6287: 6281: 6265: 6259: 6243: 6237: 6229: 6223: 6207: 6201: 6187: 6181: 6170:September 15, 6165: 6159: 6143: 6137: 6121: 6114: 6098: 6091: 6075: 6068: 6054: 6048: 6034: 6028: 6014: 6007: 6005: 5990: 5983: 5981: 5979: 5964:on 2019-12-25 5963: 5959: 5952: 5950: 5948: 5946: 5944: 5942: 5940: 5938: 5936: 5934: 5932: 5930: 5928: 5913: 5906: 5904: 5902: 5900: 5898: 5896: 5894: 5892: 5890: 5888: 5886: 5884: 5874: 5867: 5863: 5859: 5853: 5851: 5842: 5841: 5836: 5830: 5828: 5826: 5824: 5822: 5814: 5809: 5807: 5798: 5797: 5792: 5786: 5778: 5777: 5772: 5766: 5762: 5752: 5749: 5747: 5744: 5742: 5739: 5738: 5734: 5723: 5680:// Run a test 5409: 5222: 4840: 4689: 4514: 4512: 4398: 4297: 4281: 4273: 4268:Compatibility 4262: 4259: 4256: 4252: 4249: 4246: 4243: 4240: 4236: 4233: 4230: 4226: 4223: 4222: 4221: 4219: 4215: 4205: 4203: 4193: 4191: 4186: 4184: 4174: 4172: 4168: 4164: 4160: 4150: 4148: 4143: 4141: 4137: 4133: 4123: 4121: 4105: 4102: 4099: 4096: 4093: 4091: 4088: 4086: 4083: 4082: 4079: 4076: 4073: 4070: 4067: 4064: 4060: 4055: 4051: 4048: 4046: 4043: 4042: 4039: 4036: 4033: 4030: 4027: 4024: 4019: 4016: 4014: 4011: 4010: 4007: 4004: 4002: 3999: 3997: 3994: 3992: 3989: 3987: 3984: 3982: 3979: 3978: 3970: 3956: 3953: 3950: 3947: 3944: 3940: 3937: 3933: 3930: 3927: 3923: 3919: 3918:Visual Studio 3916: 3915: 3500: 3498: 3488: 3486: 3378: 3376: 3371: 3369: 3358: 3356: 3352: 3343: 3341: 3337: 3327: 3113: 3110: 3107: 3103: 3101: 3091: 3089: 3076: 3030:fetchUrlAsync 2862:fetchUrlAsync 2849: 2846: 2844: 2840: 2817: 2667: 2661: 2657: 2568: 2566: 2558: 2541: 2540: 2539: 2507: 2481: 2452: 2438: 2424: 2410: 2368: 2354: 2353: 2352: 2350: 2340: 2299: 2281: 2278: 2272: 2269: 2267: 2261: 2259: 2253: 2252: 2251: 2243: 2241: 2237: 2228: 2226: 2221: 2216: 2214: 2210: 2144: 2132: 2123: 2113: 2109: 2105: 2101: 2096: 2094: 2082: 2072: 2052: 2048: 2043: 2003: 2001: 1997: 1993: 1988: 1875: 1873: 1868: 1862: 1858: 1854: 1850: 1846: 1845: 1840: 1836: 1832: 1828: 1824: 1820: 1811: 1778: 1765:expressions, 1760: 1756: 1749: 1746: 1743: 1739: 1736: 1734: 1731: 1729: 1726: 1724: 1721: 1719: 1716: 1714: 1711: 1708: 1706: 1703: 1700: 1697: 1694: 1691: 1687: 1684: 1682: 1679: 1676: 1672: 1669: 1666: 1665: 1664: 1661: 1658: 1654: 1632: 1629: 1626: 1623: 1620: 1617: 1614: 1611: 1608: 1605: 1602: 1599: 1596: 1593: 1590: 1587: 1584: 1581: 1580: 1579: 1576: 1575: 1569: 1566: 1563: 1560: 1557: 1554: 1551: 1548: 1545: 1542: 1539: 1536: 1533: 1532: 1531: 1528: 1527: 1521: 1518: 1515: 1512: 1509: 1506: 1503: 1500: 1497: 1494: 1491: 1488: 1485: 1482: 1479: 1477:“as” patterns 1476: 1473: 1470: 1467: 1464: 1463: 1462: 1459: 1458: 1452: 1449: 1446: 1443: 1440: 1437: 1434: 1431: 1428: 1425: 1422: 1419: 1416: 1413: 1412: 1411: 1408: 1407: 1401: 1398: 1395: 1392: 1389: 1388: 1387: 1384: 1383: 1377: 1376: 1375: 1372: 1371: 1365: 1362: 1359: 1356: 1353: 1350: 1347: 1344: 1341: 1338: 1335: 1332: 1331: 1330: 1327: 1326: 1320: 1317: 1314: 1311: 1308: 1305: 1302: 1299: 1296: 1293: 1290: 1289: 1288: 1285: 1284: 1278: 1275: 1272: 1269: 1266: 1263: 1260: 1257: 1254: 1251: 1248: 1247: 1246: 1243: 1242: 1236: 1233: 1230: 1229: 1228: 1225: 1224: 1218: 1215: 1212: 1209: 1206: 1203: 1202: 1201: 1198: 1197: 1191: 1188: 1185: 1183:Array slicing 1182: 1179: 1176: 1173: 1170: 1167: 1164: 1161: 1158: 1157: 1156: 1153: 1152: 1146: 1143: 1140: 1137: 1134: 1131: 1128: 1125: 1122: 1119: 1116: 1113: 1110: 1107: 1106: 1102: 1101: 1097: 1092: 1091: 1085: 1083: 1079: 1074: 1072: 1068: 1063: 1061: 1057: 1053: 1049: 1045: 1030: 1027: 1025: 1024: 1020: 1015: 1011: 1007: 1004: 1001: 999: 996: 995: 991: 988: 986: 985: 981: 976: 972: 968: 965: 962: 960: 957: 956: 952: 949: 947: 946: 942: 937: 933: 929: 926: 923: 921: 918: 917: 913: 910: 908: 907: 903: 898: 894: 890: 887: 884: 882: 879: 878: 874: 870: 867: 865: 864: 860: 855: 851: 847: 844: 841: 839: 836: 835: 831: 828:4.5 - 4.7.2, 827: 824: 822: 821: 817: 812: 808: 804: 801: 798: 796: 793: 792: 788: 785:4.5 - 4.7.2, 784: 781: 779: 778: 774: 769: 765: 761: 758: 755: 753: 750: 749: 746: 742: 739:3.5 - 4.6.2, 738: 735: 733: 732: 728: 723: 719: 715: 712: 709: 707: 704: 701: 700: 697: 695: 692: 690: 687: 684: 683: 680: 676: 673: 671: 667: 662: 658: 654: 651: 649:October 2013 648: 646: 645:November 2013 643: 640: 639: 636: 632: 629: 627: 623: 618: 614: 610: 607: 604: 602: 601:November 2012 599: 596: 595: 592: 588: 585: 583: 579: 575: 572: 569: 567: 564: 561: 560: 556: 553: 551: 548: 545: 543: 540: 539: 536: 533: 531: 528: 525: 522: 517: 516: 503: 501: 497: 493: 489: 485: 481: 477: 473: 468: 466: 462: 458: 454: 450: 446: 445:Visual Studio 442: 438: 434: 429: 427: 423: 419: 415: 412: 408: 404: 400: 396: 393: 389: 385: 381: 377: 373: 362: 358: 354: 353: 351: 348: 344: 340: 336: 332: 327: 324: 320: 316: 312: 308: 304: 300: 296: 293:Influenced by 291: 287: 273: 269: 263: 259: 255: 253: 249: 246: 243: 241: 237: 234: 230: 226: 223: 221: 217: 214: 210: 206: 203: 201: 197: 193: 177: 175: 171: 167: 164:, version 1.0 152: 148: 145: 141: 138: 136: 132: 129: 125: 122: 120: 116: 113: 109: 105: 102: 98: 95: 91: 87: 83: 79: 75: 71: 67: 64: 62: 58: 54: 49: 41: 37: 33: 26: 22: 10406:Discontinued 10287: 9556:TLA+ Toolbox 9481:Open XML SDK 9301:CLR Profiler 9246:ASP.NET Core 9241:ASP.NET AJAX 9188:Visual Basic 9122: 9034:File Manager 9007:Applications 8857:JScript .NET 8795: 8791:Visual Basic 8640:instructions 8618:Architecture 8500:SharpDevelop 8435:CLR Profiler 8266:Dynamic Data 8196:Architecture 8072: 8062: 8052: 8042: 8030: 8025: 8022: 7972:Don Sannella 7966:Robin Milner 7960:Xavier Leroy 7880: 7828:SLAM project 7712:Dependent ML 7710: 7675: 7642: 7547: 7458: 7444: 7431: 7419: 7407: 7395: 7386: 7374: 7350:. Retrieved 7340: 7328:. Retrieved 7319: 7308:. Retrieved 7299: 7288:. Retrieved 7258: 7248: 7237:. Retrieved 7231: 7222: 7211:. Retrieved 7202: 7191:. Retrieved 7185: 7176: 7165:. Retrieved 7155: 7144:. Retrieved 7140: 7131: 7120:. Retrieved 7116: 7107: 7096:. Retrieved 7092: 7083: 7068: 7057:. Retrieved 7048: 7037:. Retrieved 7028: 7017:. Retrieved 7008: 6997:. Retrieved 6988: 6977:. Retrieved 6968: 6957:. Retrieved 6948: 6937: 6928: 6917:. Retrieved 6908: 6897:. Retrieved 6887: 6876:. Retrieved 6851:. Retrieved 6847:the original 6823:. Retrieved 6800:. Retrieved 6762:. Retrieved 6758: 6748: 6737:. Retrieved 6733: 6724: 6710: 6696: 6682: 6668: 6654: 6640: 6629:. Retrieved 6620: 6609:. Retrieved 6600: 6590:September 7, 6588:. Retrieved 6577: 6567:September 7, 6565:. Retrieved 6554: 6542:. Retrieved 6538:the original 6531: 6521: 6511:November 14, 6509:. Retrieved 6499: 6485: 6473:. Retrieved 6463: 6449: 6439:November 14, 6437:. Retrieved 6427: 6413: 6401:. Retrieved 6391: 6362:. Retrieved 6352: 6338: 6326:. Retrieved 6316: 6304:. Retrieved 6294: 6280: 6268:. Retrieved 6258: 6246:. Retrieved 6236: 6222: 6210:. Retrieved 6200: 6189:. Retrieved 6180: 6168:. Retrieved 6158: 6148:September 7, 6146:. Retrieved 6136: 6126:September 7, 6124:. Retrieved 6113: 6103:September 7, 6101:. Retrieved 6090: 6080:September 7, 6078:. Retrieved 6067: 6056:. Retrieved 6047: 6036:. Retrieved 6027: 6016:. Retrieved 5992:. Retrieved 5966:. Retrieved 5962:the original 5915:. Retrieved 5873: 5865: 5838: 5794: 5785: 5774: 5765: 5407: 5220: 4838: 4687: 4508: 4395: 4295: 4279: 4271: 4255:ASP.NET Core 4211: 4199: 4187: 4180: 4156: 4144: 4136:ASP.NET Core 4129: 4117: 3738:replyChannel 3699:replyChannel 3678:replyChannel 3494: 3484: 3482: 3400:ODataService 3372: 3364: 3344: 3333: 3325: 3111: 3108: 3104: 3097: 3077: 3066: 2847: 2841: 2818: 2810: 2794:streamreader 2779:StreamReader 2758:streamreader 2664:async{ ... } 2659: 2654:F# supports 2653: 2562: 2537: 2468:someArgument 2346: 2334: 2293: 2249: 2231: 2229: 2224: 2217: 2206: 2126: 2125:F# provides 2124: 2098:F# supports 2097: 2080: 2046: 2044: 2041: 1989: 1913: 1871: 1869: 1856: 1852: 1848: 1842: 1838: 1834: 1830: 1826: 1822: 1818: 1812: 1806:to the name 1801: 1752: 1741: 1662: 1650: 1075: 1067:2010 edition 1064: 1041: 1031:SDK 8.0.100 1017: 992:SDK 7.0.100 978: 953:SDK 6.0.100 939: 914:SDK 5.0.100 900: 857: 814: 771: 756:August 2018 725: 689:January 2016 605:August 2012 469: 430: 428:(GPU) code. 375: 374:(pronounced 371: 370: 363:at Wikibooks 271: 31: 10486:Office Labs 10237:Accelerator 10214:Singularity 10131:LiveStation 10065:Penny Black 10060:HoneyMonkey 9991:Distributed 9700:Azure Linux 9431:MonoDevelop 9251:ASP.NET MVC 9197:Frameworks, 9099:Programming 9083:Video games 9074:XML Notepad 9029:Family.Show 8908:C# and Java 8892:Small Basic 8495:MonoDevelop 8417:Dotfuscator 8409:Obfuscators 8386:Decompilers 8210:COM Interop 7954:GĂ©rard Huet 7689:Extended ML 7668:Standard ML 7588:programming 6586:. Microsoft 6563:. Microsoft 6507:. Microsoft 6475:November 8, 6471:. Microsoft 6435:. Microsoft 6399:. Microsoft 6360:. Microsoft 6302:. Microsoft 6244:. Microsoft 6166:. Microsoft 6144:. Microsoft 6122:. Microsoft 6099:. Microsoft 6095:Syme, Don. 6076:. Microsoft 6072:Syme, Don. 5388:Application 4214:open-source 4149:framework. 4090:Proprietary 4063:source code 4059:MIT License 4054:binary code 4050:Proprietary 4018:Proprietary 3849:listManager 3816:listManager 3795:listManager 3777:messageLoop 3765:messageLoop 3717:messageLoop 3654:messageLoop 3591:messageLoop 3558:listManager 3291:// Pascals 3222:// kilogram 3073:Async.Start 2347:Like other 2135:seq { ... } 2122:operators. 2051:linked list 1998:version of 871:4.5 - 4.8, 799:March 2019 710:March 2017 677:2.0 - 4.5, 633:2.0 - 4.5, 589:2.0 - 4.0, 570:April 2010 566:August 2010 441:open source 231:framework, 10519:Categories 10469:Other labs 10428:Photosynth 10323:Allegiance 10318:Group Shot 10302:TouchLight 10298:PixelSense 10278:Comic Chat 10199:Barrelfish 10136:MyLifeBits 10111:IllumiRoom 10075:WikiBhasha 10032:networking 9766:WikiBhasha 9741:Project Mu 9716:ChronoZoom 9690:Barrelfish 9526:Sandcastle 9491:Playwright 9296:ChakraCore 9271:Babylon.js 9183:TypeScript 9163:PowerShell 9138:IronPython 9090:Allegiance 8901:Comparison 8847:IronPython 8842:IronScheme 8801:PowerShell 8666:Components 8345:(WinForms) 8226:Components 7702:° (SML/NJ) 7364:References 7352:2020-01-17 7310:2012-11-25 7290:2012-11-25 7239:2012-11-25 7213:2012-11-25 7193:2012-11-25 7167:2012-11-24 7146:2017-12-09 7122:2018-08-07 7098:2018-08-07 7059:2012-11-24 7039:2012-11-24 7019:2012-11-24 6999:2012-11-24 6979:2012-11-24 6959:2012-11-24 6919:2012-11-24 6899:2023-01-15 6878:2007-12-14 6853:2012-11-24 6825:2007-12-14 6802:2007-12-14 6764:2022-04-22 6739:2022-01-21 6631:2017-03-08 6611:2017-03-08 6212:August 14, 6191:2017-03-08 6058:2020-07-30 6038:2020-07-30 6018:2012-11-24 5994:2012-11-24 5968:2019-12-25 5917:2020-07-30 5623:primeAsync 5536:primeAsync 4831:printList3 4780:printList3 4738:printList2 4147:WebSharper 4132:SAFE Stack 4020:(standard) 3351:JavaScript 3303:better_age 3261:// Newtons 2997:fetchPrint 2904:HttpClient 2695:WebRequest 2286:syntax or 2280:hash table 2209:generators 2114:using the 2065:notation ( 2031:UnionCaseY 2019:UnionCaseX 1994:type is a 1186:Quotations 1019:JavaScript 980:JavaScript 941:JavaScript 902:JavaScript 859:JavaScript 816:JavaScript 773:JavaScript 727:JavaScript 693:July 2015 666:JavaScript 622:JavaScript 557:1.0 - 3.5 422:JavaScript 403:imperative 399:functional 384:high-level 347:LiveScript 329:Influenced 278:.microsoft 186:2023-11-14 94:concurrent 90:reflective 74:imperative 70:functional 38:is due to 10447:FUSE Labs 10395:Deep Zoom 10390:Seadragon 10370:Live Labs 10333:Songsmith 10328:TrueSkill 10313:ClearType 10121:Infer.NET 10045:Avalanche 10013:DeepSpeed 9746:ReactiveX 9663:xUnit.net 9576:Voldemort 9541:SVNBridge 9356:Infer.NET 9311:DeepSpeed 9286:C++/WinRT 9276:BitFunnel 9221:.NET MAUI 9101:languages 8969:Microsoft 8877:Phalanger 8771:Languages 8714:Microsoft 8526:Microsoft 8288:ClickOnce 8251:Web Forms 7944:(Lazy ML) 7936:Designers 7928:Community 7862:HOL Light 7804:Marionnet 7375:Expert F# 7371:Syme, Don 7233:Microsoft 7187:Microsoft 7117:JetBrains 6270:March 29, 5877:for async 5858:Syme, Don 5840:Microsoft 5216:printList 5138:printList 4699:printList 4659:factorial 4635:factorial 4599:factorial 4572:factorial 4527:factorial 4358:FirstName 4313:FirstName 4196:Scripting 4104:JetBrains 4078:Microsoft 4038:Microsoft 4006:Developer 3949:JetBrains 3922:Microsoft 3783:// Usage 3466:Customers 3421:Northwind 3394:Northwind 3132:// second 2833:asynctask 2800:ReadToEnd 2674:asynctask 2242:pattern. 2140:or array 1996:type-safe 1865:(A, B, C) 1841:types. A 1056:Microsoft 546:May 2005 530:Platforms 437:Microsoft 140:Microsoft 135:Developer 61:Paradigms 10506:Category 10455:Docs.com 10413:Deepfish 10362:research 10358:MSR Labs 10308:SenseCam 10293:Sideshow 10252:mimalloc 10156:PhotoDNA 10126:LightGBM 10040:AjaxView 10028:Internet 10003:BitVault 9922:projects 9873:Category 9811:CodePlex 9780:Licenses 9726:FlexWiki 9536:StyleCop 9496:ProcDump 9421:mod_mono 9406:mimalloc 9361:LightGBM 9336:Electron 9266:Avalonia 9158:Power Fx 9143:IronRuby 9133:GW-BASIC 9049:Terminal 9000:Software 8979:Overview 8852:IronRuby 8693:Metadata 8688:Manifest 8678:Delegate 8673:Assembly 8549:Category 8283:Avalonia 7978:Don Syme 7870:Isabelle 7769:Alt-Ergo 7609:dialects 7595:Software 7537:Archived 7495:Archived 7412:O'Reilly 7285:24018363 7141:fable.io 6544:8 August 5860:(2006). 5719:See also 5635:Parallel 5521:<> 5367:Controls 4605:function 4370:LastName 4322:LastName 4276:Examples 4183:Facebook 4171:Fabulous 4118:F# is a 4023:Freeware 3549:>> 3475:customer 3454:customer 3368:Freebase 3204:distance 3138:distance 3123:// meter 2991:// Usage 2946:response 2925:GetAsync 2913:response 2743:response 2716:response 2666:, as in 2658:through 2396:ToString 2218:F# uses 2120:<< 2116:>> 2104:closures 2000:C unions 1713:Currying 1690:closures 1651:F# is a 1095:version 1078:Don Syme 1044:Don Syme 706:May 2018 520:version 511:Versions 453:Plug-ins 213:inferred 124:Don Syme 10378:Current 10360:applied 10283:Detours 10151:OneFuzz 10055:Gazelle 10018:Orleans 9971:Phoenix 9825:Related 9643:WinObjC 9561:U-Prove 9531:SignalR 9501:ProcMon 9486:Orleans 9461:OneFuzz 9436:MSBuild 9316:DiskSpd 9236:ASP.NET 8872:Oxygene 8867:Nemerle 8837:C++/CLI 8569:Commons 8531:Xamarin 8488:Express 8456:XAMLPad 8399:dotPeek 8246:ASP.NET 8234:ADO.NET 8023:Italics 7950:(OCaml) 7908:GeneWeb 7822:Semgrep 7792:Frama-C 7746:MacroML 7741:Lazy ML 7735:Futhark 7548:process 7330:May 25, 6403:May 13, 6364:May 13, 6306:May 13, 6248:May 13, 5707:printfn 5689:1002000 5686:1000000 5563:isPrime 5419:isPrime 5268:TopMost 5256:Visible 4822:printfn 4759:printfn 4723:printfn 4483:mrSmith 4288:printfn 4251:Giraffe 4212:The F# 4167:Android 3991:Windows 3986:License 3955:LINQPad 3885:printfn 3861:Dequeue 3828:Enqueue 3807:Enqueue 3675:Dequeue 3639:Enqueue 3621:Receive 3528:Dequeue 3516:Enqueue 3507:Message 3036:printfn 2985:content 2952:Content 2940:content 2309:mutable 2296:mutable 2137:, list 2108:curried 2093:generic 2085:Some(x) 2069:is the 1950:}. The 1701:support 1673:(using 1129:Structs 1114:Records 1050:as the 1014:Windows 975:Windows 936:Windows 897:Windows 854:Windows 811:Windows 768:Windows 722:Windows 661:Windows 617:Windows 582:Windows 550:Windows 535:Runtime 506:History 492:Haskell 378:) is a 376:F sharp 307:Haskell 286:/fsharp 284:/dotnet 261:Website 240:License 184: ( 158: ( 10418:Listas 10343:Kinect 10209:Midori 10204:HomeOS 10146:NodeXL 10101:Digits 10070:Wallop 9981:SecPAL 9941:Bosque 9936:Bartok 9816:GitHub 9803:Forges 9736:Gollum 9684:MS-DOS 9521:Roslyn 9441:MsQuic 9416:ML.NET 9281:Blazor 9231:AirSim 9108:Bosque 8757:DotGNU 8452:(NGen) 8332:(WCF) 8306:(LINQ) 8300:(XAML) 8176:DotGNU 8150:(Core) 7956:(Caml) 7888:Matita 7816:Poplog 7780:Camlp4 7775:AstrĂ©e 7655:Reason 7649:JoCaml 7400:Apress 7379:Apress 7283:  7273:  6939:GitHub 5796:GitHub 5776:GitHub 5683:primes 5659:filter 5581:primes 5551:return 5497:forall 5096:filter 4988:unfold 4976:fibSeq 4489:Person 4459:member 4441:member 4420:string 4408:Person 4349:person 4328:string 4319:string 4304:Person 4218:GitHub 4169:. The 3873:Option 3759:return 3711:return 3648:return 3546:string 3540:Option 3522:string 3472:select 3439:query1 3090:code. 2982:return 2919:client 2895:client 2874:string 2791:return 2785:stream 2767:System 2737:stream 2701:Create 2629:member 2611:member 2590:string 2578:Person 2548:string 2517:Method 2462:Method 2448:string 2445::?> 2434:string 2387:member 2276:syntax 2271:arrays 2081:option 2079:. The 2025:string 1897:string 1872:record 1839:result 1837:, and 1835:option 1823:record 1728:Tuples 1117:Tuples 500:Erlang 488:Python 463:, and 405:, and 319:Python 303:Erlang 282:/en-us 266:fsharp 209:strong 205:Static 100:Family 10433:Volta 10385:Pivot 10247:Joins 10242:Dryad 10219:Verve 9756:TLAPS 9731:FourQ 9709:Other 9695:SONiC 9638:WinJS 9566:vcpkg 9456:NuGet 9321:Dryad 9118:Dafny 8887:Scala 8832:Cobra 8810:Other 8745:Other 8483:Blend 8440:ILAsm 8377:Tools 8357:(WPF) 8351:(WIF) 8276:Razor 8217:(FCL) 8206:(CLR) 7894:Twelf 7810:MTASC 7694:MLton 7677:Alice 7626:OCaml 7281:S2CID 6797:(PDF) 5757:Notes 5741:OCaml 5695:Array 5692:|> 5668:Array 5665:|> 5653:Array 5650:|> 5641:Async 5638:|> 5629:Async 5626:|> 5611:|> 5545:async 5509:-> 5488:|> 5482:bound 5461:float 5443:bound 5379:label 5337:Label 5298:label 5213:|> 5204:yield 5135:|> 5108:-> 5087:|> 5072:|> 5012:-> 4919:-> 4907:-> 4895:-> 4880:match 4819:-> 4801:-> 4789:match 4668:|> 4626:-> 4614:-> 4563:-> 4551:-> 4536:match 4261:Suave 4239:NuGet 4235:Paket 4229:Babel 4225:Fable 4140:Fable 4085:Rider 4001:macOS 3996:Linux 3943:Emacs 3906:Start 3900:Async 3897:|> 3870:|> 3786:async 3744:Reply 3735:-> 3705:Reply 3696:-> 3684:match 3681:-> 3645:-> 3627:match 3615:inbox 3600:async 3582:-> 3579:inbox 3570:Start 3497:actor 3445:query 3198:speed 2976:Delay 2829:async 2680:async 2327:<- 2290:type. 2284:dict 2266:loops 2263:while 2258:loops 2240:monad 2190:yield 1861:arity 1844:tuple 1819:tuple 1738:Monad 1465:Tasks 1046:from 1010:macOS 1006:Linux 971:macOS 967:Linux 932:macOS 928:Linux 893:macOS 889:Linux 850:macOS 846:Linux 807:macOS 803:Linux 764:macOS 760:Linux 718:macOS 714:Linux 657:macOS 653:Linux 613:macOS 609:Linux 578:macOS 574:Linux 526:Date 496:Scala 480:OCaml 465:Emacs 323:Scala 315:OCaml 276:learn 112:OCaml 10460:Kodu 10338:Xbox 10229:APIs 10166:SLAM 10161:SEAL 9956:Lean 9920:Main 9751:SILK 9611:UMDF 9606:KMDF 9581:VoTT 9426:Mono 9306:Dapr 9206:.NET 9148:Lean 9019:Atom 8817:Axum 8752:Mono 8721:.NET 8559:List 8470:IDEs 8363:(WF) 8261:Core 8256:AJAX 8181:Mono 8148:.NET 8116:.NET 8044:Book 8031:° = 7980:(F#) 7968:(ML) 7876:LEGO 7798:Haxe 7786:FFTW 7618:Caml 7332:2021 7271:ISBN 6592:2014 6569:2014 6546:2016 6513:2023 6477:2022 6441:2021 6405:2021 6366:2021 6330:2019 6308:2021 6272:2019 6250:2021 6214:2018 6172:2015 6150:2014 6128:2014 6105:2014 6082:2014 6053:"F#" 5701:iter 5455:sqrt 5400:form 5361:form 5343:Text 5280:Text 5274:true 5262:true 5250:Form 5241:form 5229:open 5201:then 5090:List 5075:List 5015:Some 4886:with 4795:with 4753:iter 4747:List 4677:fold 4542:with 4456:name 4450:Name 4414:name 4405:type 4301:type 4245:FAKE 4165:and 4130:The 4100:Yes 4097:Yes 4094:Yes 4074:Yes 4071:Yes 4068:Yes 4034:Yes 4028:Yes 3879:iter 3840:let! 3822:Post 3801:Post 3768:tail 3753:head 3750:Some 3732:tail 3726:head 3720:list 3708:None 3690:with 3687:list 3666:list 3660:item 3642:item 3633:with 3606:let! 3594:list 3543:< 3537:< 3504:type 3409:> 3403:< 3391:type 3385:open 3375:LINQ 3353:and 3318:> 3315:days 3312:< 3297:days 3294:type 3264:type 3225:type 3216:type 3210:time 3189:> 3183:< 3168:time 3159:> 3153:< 3126:type 3117:type 3054:Wait 3048:task 3024:data 3021:let! 3015:task 3009:task 2970:Task 2937:let! 2910:let! 2886:task 2853:open 2813:let! 2811:The 2713:let! 2626:name 2620:Name 2584:name 2575:type 2494:Text 2488:Form 2417:Form 2384:with 2364:Name 2187:then 2181:< 2118:and 2102:and 2089:None 2071:cons 2062:tail 2056:head 2047:list 2045:The 2007:type 1981:Name 1966:Name 1963:with 1952:with 1929:Name 1891:Name 1879:type 1831:list 1815:type 1771:unit 1577:8.0 1529:7.0 1460:6.0 1409:5.0 1385:4.7 1373:4.6 1328:4.5 1286:4.1 1244:4.0 1226:3.1 1199:3.0 1154:2.0 1103:1.0 1058:and 1029:.NET 997:8.0 990:.NET 958:7.0 951:.NET 919:6.0 912:.NET 880:5.0 873:.NET 869:.NET 837:4.7 830:.NET 826:.NET 794:4.6 787:.NET 783:.NET 751:4.5 745:Mono 741:.NET 737:.NET 702:4.1 685:4.0 679:Mono 675:.NET 641:3.1 635:Mono 631:.NET 597:3.0 591:Mono 587:.NET 562:2.0 555:.NET 541:1.x 498:and 447:and 424:and 418:.NET 280:.com 268:.org 233:Mono 229:.NET 160:2005 153:2005 108:Caml 10257:SXM 9658:XSP 9648:WiX 9451:npm 9291:CCF 8827:Boo 8271:MVC 7856:HOL 7850:Coq 7721:ATS 7632:Eff 7263:doi 5815::2) 5677:fst 5674:map 5662:snd 5620:map 5614:Seq 5593:seq 5578:let 5533:let 5503:fun 5491:Seq 5470:seq 5449:int 5440:let 5431:int 5416:let 5394:Run 5373:Add 5334:new 5304:let 5295:let 5247:new 5238:let 5177:fib 5168:let 5147:for 5102:fun 5084:fib 5081:map 5051:))) 4994:fun 4982:Seq 4973:let 4862:rec 4859:let 4850:fib 4847:let 4792:lst 4783:lst 4777:rec 4774:let 4768:lst 4741:lst 4735:let 4717:lst 4708:for 4702:lst 4696:let 4680:(*) 4671:Seq 4656:let 4596:rec 4593:let 4524:rec 4521:let 4480:let 4474:age 4468:Age 4432:int 4426:age 4382:Age 4346:let 4337:int 4331:Age 4163:iOS 4031:No 3981:IDE 3867:str 3843:str 3630:msg 3609:msg 3588:rec 3585:let 3576:fun 3555:let 3451:for 3436:let 3412:let 3355:GPU 3300:let 3246:)/( 3195:let 3165:let 3144:100 3135:let 3088:GPU 3006:let 2994:let 2979:500 2931:url 2901:new 2892:use 2868:url 2859:let 2764:new 2755:use 2734:use 2722:req 2707:url 2689:req 2686:let 2671:let 2644:age 2638:Age 2602:int 2596:age 2485:new 2414:new 2378:obj 2375:new 2306:let 2255:for 2154:for 2148:seq 2087:or 2037:int 1987:). 1941:Age 1917:let 1906:int 1900:Age 1782:let 1775:let 1767:try 1023:GPU 984:GPU 945:GPU 906:GPU 863:GPU 820:GPU 777:GPU 731:GPU 670:GPU 626:GPU 486:, 461:Vim 339:Elm 245:MIT 23:or 10521:: 10288:F# 10273:C# 10030:, 9951:F* 9946:Cω 9173:Q# 9128:F* 9123:F# 9113:C# 8882:Q# 8862:J# 8822:A# 8796:F# 8786:C# 7858:° 7751:Ur 7643:F# 7637:F* 7628:° 7586:ML 7462:, 7448:, 7434:, 7422:, 7410:, 7398:, 7377:, 7279:. 7269:. 7257:. 7230:. 7184:. 7139:. 7115:. 7091:. 6936:. 6862:^ 6834:^ 6811:^ 6773:^ 6757:. 6732:. 6530:. 6374:^ 6003:^ 5977:^ 5926:^ 5882:^ 5864:. 5849:^ 5837:. 5820:^ 5805:^ 5793:. 5773:. 5746:C# 5602:.. 5479:.. 5467:)) 5349:$ 5183:if 5165:do 5162:10 5159:.. 5153:in 4952:f1 4946:f0 4940:f1 4910:f1 4898:f0 4874:f1 4871:f0 4813::: 4804:() 4726:$ 4720:do 4714:in 4501:42 4388:30 4190:C# 4185:. 4122:. 4065:) 3729::: 3663::: 3624:() 3531:of 3519:of 3487:. 3469:do 3460:db 3457:in 3430:() 3415:db 3309:3u 3276:/( 3267:Pa 3237:kg 3219:kg 3071:, 3057:() 3039:$ 3000:() 2964:do 2961:() 2907:() 2839:. 2803:() 2773:IO 2752:() 2731:() 2565:C# 2551:as 2545::? 2431::? 2420:() 2399:() 2381:() 2184:15 2175:if 2172:do 2169:25 2166:.. 2160:in 2067::: 2059::: 2034:of 2022:of 1990:A 1947:42 1870:A 1833:, 1829:, 1825:, 1821:, 1810:. 1763:if 1093:F# 1021:, 1016:, 1012:, 1008:, 982:, 977:, 973:, 969:, 943:, 938:, 934:, 930:, 904:, 899:, 895:, 891:, 861:, 856:, 852:, 848:, 818:, 813:, 809:, 805:, 775:, 770:, 766:, 762:, 743:, 729:, 724:, 720:, 716:, 668:, 659:, 655:, 624:, 615:, 611:, 580:, 576:, 518:F# 502:. 494:, 490:, 484:C# 472:ML 467:. 459:, 451:. 435:, 401:, 390:, 386:, 382:, 372:F# 345:, 343:F* 341:, 337:, 335:C# 321:, 317:, 313:, 311:ML 309:, 305:, 301:, 299:C# 227:: 220:OS 211:, 207:, 142:, 126:, 110:: 106:: 104:ML 92:, 88:, 84:, 80:, 76:, 72:, 68:: 46:F# 32:F# 10304:) 10300:( 9993:– 9961:P 9905:e 9898:t 9891:v 9153:P 8961:e 8954:t 8947:v 8603:e 8596:t 8589:v 8108:e 8101:t 8094:v 7910:° 7896:° 7890:° 7872:° 7864:° 7852:° 7839:, 7824:° 7818:° 7812:° 7806:° 7800:° 7794:° 7788:° 7782:° 7771:° 7753:° 7737:° 7723:° 7696:° 7680:° 7657:° 7651:° 7645:° 7639:° 7606:, 7578:e 7571:t 7564:v 7355:. 7334:. 7313:. 7293:. 7265:: 7242:. 7216:. 7196:. 7170:. 7149:. 7125:. 7101:. 7077:. 7062:. 7042:. 7022:. 7002:. 6982:. 6962:. 6942:. 6922:. 6902:. 6881:. 6856:. 6828:. 6805:. 6767:. 6742:. 6634:. 6614:. 6594:. 6571:. 6548:. 6515:. 6479:. 6443:. 6407:. 6368:. 6346:. 6332:. 6310:. 6288:. 6274:. 6252:. 6230:. 6216:. 6194:. 6174:. 6152:. 6130:. 6107:. 6084:. 6061:. 6041:. 6021:. 5997:. 5971:. 5920:. 5843:. 5713:) 5704:( 5698:. 5671:. 5656:. 5644:. 5632:. 5617:. 5608:} 5605:n 5599:m 5596:{ 5590:= 5587:n 5584:m 5572:} 5569:) 5566:n 5560:, 5557:n 5554:( 5548:{ 5542:= 5539:n 5527:) 5524:0 5518:x 5515:% 5512:n 5506:x 5500:( 5494:. 5485:} 5476:2 5473:{ 5464:n 5458:( 5452:( 5446:= 5437:= 5434:) 5428:: 5425:n 5422:( 5403:) 5397:( 5391:. 5382:) 5376:( 5370:. 5364:. 5355:) 5346:= 5340:( 5331:) 5328:5 5325:* 5322:4 5319:( 5316:+ 5313:3 5310:= 5307:x 5301:= 5289:) 5283:= 5277:, 5271:= 5265:, 5259:= 5253:( 5244:= 5210:] 5207:r 5198:0 5195:= 5192:2 5189:% 5186:r 5180:i 5174:= 5171:r 5156:1 5150:i 5144:[ 5132:) 5129:0 5126:= 5123:) 5120:2 5117:% 5114:n 5111:( 5105:n 5099:( 5093:. 5078:. 5066:) 5063:1 5060:, 5057:0 5054:( 5048:b 5045:+ 5042:a 5039:, 5036:b 5033:( 5030:, 5027:b 5024:+ 5021:a 5018:( 5009:) 5006:b 5003:, 5000:a 4997:( 4991:( 4985:. 4979:= 4967:1 4964:0 4961:n 4958:g 4955:) 4949:+ 4943:( 4937:) 4934:1 4931:- 4928:n 4925:( 4922:g 4916:_ 4913:| 4904:1 4901:| 4892:0 4889:| 4883:n 4877:= 4868:n 4865:g 4856:= 4853:n 4834:t 4828:h 4816:t 4810:h 4807:| 4798:| 4786:= 4765:) 4756:( 4750:. 4744:= 4711:x 4705:= 4683:1 4674:. 4665:= 4662:n 4650:) 4647:1 4644:- 4641:n 4638:( 4632:* 4629:n 4623:n 4620:| 4617:1 4611:0 4608:| 4602:= 4587:) 4584:1 4581:- 4578:n 4575:( 4569:* 4566:n 4560:_ 4557:| 4554:1 4548:0 4545:| 4539:n 4533:= 4530:n 4504:) 4498:, 4492:( 4486:= 4471:= 4465:. 4462:x 4453:= 4447:. 4444:x 4438:= 4435:) 4429:: 4423:, 4417:: 4411:( 4391:} 4385:= 4379:; 4373:= 4367:; 4361:= 4355:{ 4352:= 4340:} 4334:: 4325:: 4316:: 4310:{ 4307:= 4257:. 4231:. 4061:( 4056:) 4052:( 3971:. 3945:. 3938:. 3903:. 3894:} 3891:) 3882:( 3876:. 3864:) 3858:( 3852:. 3846:= 3834:) 3825:( 3819:. 3813:) 3804:( 3798:. 3789:{ 3780:) 3771:} 3762:! 3756:) 3747:( 3741:. 3723:| 3714:! 3702:. 3693:| 3672:| 3669:) 3657:( 3651:! 3636:| 3618:. 3612:= 3603:{ 3597:= 3573:( 3567:. 3561:= 3525:| 3513:| 3510:= 3478:} 3463:. 3448:{ 3442:= 3424:. 3418:= 3397:= 3306:= 3288:) 3285:2 3282:^ 3279:m 3273:N 3270:= 3258:) 3255:2 3252:^ 3249:s 3243:m 3240:* 3234:( 3231:= 3228:N 3207:/ 3201:= 3186:s 3180:0 3177:. 3174:5 3171:= 3156:m 3150:0 3147:. 3141:= 3129:s 3120:m 3051:. 3045:} 3027:= 3018:{ 3012:= 3003:= 2988:} 2973:. 2967:! 2955:. 2949:. 2943:= 2934:) 2928:( 2922:. 2916:= 2898:= 2889:{ 2880:= 2877:) 2871:: 2865:( 2806:} 2797:. 2788:) 2782:( 2776:. 2770:. 2761:= 2746:. 2740:= 2725:. 2719:= 2710:) 2704:( 2698:. 2692:= 2683:{ 2677:= 2641:= 2635:. 2632:x 2623:= 2617:. 2614:x 2608:= 2605:) 2599:: 2593:, 2587:: 2581:( 2554:s 2532:) 2529:1 2526:= 2520:( 2514:. 2511:x 2503:) 2497:= 2491:( 2477:) 2474:1 2471:= 2465:( 2459:. 2456:x 2442:x 2428:x 2408:} 2402:= 2393:. 2390:x 2372:{ 2361:. 2358:x 2330:3 2324:x 2318:1 2315:= 2312:x 2202:} 2199:b 2196:* 2193:b 2178:b 2163:0 2157:b 2151:{ 2028:| 2016:| 2013:= 2010:A 1985:r 1977:r 1969:= 1960:r 1957:{ 1944:= 1938:; 1932:= 1926:{ 1923:= 1920:r 1909:} 1903:: 1894:: 1888:{ 1885:= 1882:R 1857:n 1853:n 1849:n 1808:x 1804:7 1797:4 1794:+ 1791:3 1788:= 1785:x 1744:) 1692:) 1677:) 663:; 619:; 188:) 162:) 42:. 36:# 27:.

Index

F (programming language)
F* (programming language)
#
technical restrictions

Paradigms
Multi-paradigm
functional
imperative
object-oriented
agent-oriented
metaprogramming
reflective
concurrent
ML
Caml
OCaml
Designed by
Don Syme
Microsoft Research
Developer
Microsoft
The F# Software Foundation
Stable release
Typing discipline
Static
strong
inferred
OS
Cross-platform

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

↑