F# uses an open development and engineering process.
The language evolution process is managed by Don Syme from Microsoft Research as the benevolent dictator for life (BDFL) for the language design, together with the F# Software Foundation.
Earlier versions of the F# language were designed by Microsoft and Microsoft Research using a closed development process.
F# was first included in Visual Studio in the 2010 edition, at the same level as Visual Basic (.NET) and C# (albeit as an option), and remains in all later editions, thus making the language widely available and well-supported.
F# originates from Microsoft Research, Cambridge, UK. The language was originally designed and implemented by Don Syme,[4] according to whom in the fsharp team, they say the F is for "Fun".[36]
Andrew Kennedy contributed to the design of units of measure.[4] The Visual F# Tools for Visual Studio are developed by Microsoft.[4] 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.[9]
Use and compose string literals for printf and related functions
Arithmetic operators in literals
Type constraint intersection syntax
Extended fixed binding
Easier [<Extension>] method definition
Static members in interfaces
Static let in discriminated unions, records, structs, and types without primary constructors
try-with within seq{}, [], and [||] collection expressions
Recursive calls and yield! within exception handler
Tail call attribute
[<Struct>] unions can now have > 49 cases
Strict indentation rules
New diagnostics from the compiler
Switches for compiler parallelization
Language overview
Functional programming
F# is a strongly typed functional-first language with a large number of capabilities that are normally found only in functional programming 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.
F# is an expression-based language using eager evaluation and also in some instances lazy evaluation. Every statement in F#,
including if expressions, try expressions and loops, is a composable expression with a static type.[49] Functions and expressions that do not return any value have a return type of unit. F# uses the let keyword for binding values to a name.[49] For example:
letx=3+4
binds the value 7 to the name x.
New types are defined using the type keyword. For functional programming, F# provides tuple, record, discriminated union, list, option, and result types.[49] A tuple represents a set of n values, where n ≥ 0. The value n is called the arity of the tuple. A 3-tuple would be represented as (A, B, C), 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.
A record is a type where the data members are named. Here is an example of record definition:
typeR={Name:stringAge:int}
Records can be created as letr={Name="AB";Age=42}. The with keyword is used to create a copy of a record, as in {rwithName="CD"}, which creates a new record by copying r and changing the value of the Name field (assuming the record created in the last example was named r).
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.
The list type is an immutable linked list represented either using a head::tail notation (:: is the cons operator) or a shorthand as [item1;item2;item3]. An empty list is written []. The option type is a discriminated union type with choices Some(x) or None. F# types may be generic, implemented as generic .NET types.
F# supports lambda functions and closures.[49] All functions in F# are first class values and are immutable.[49] Functions can be curried. Being first-class values, functions can be passed as arguments to other functions. Like other functional programming languages, F# allows function composition using the >> and << operators.
F# provides sequence expressions[50] that define a sequence seq { ... }, list [ ... ] or array [| ... |] through code that generates values. For example,
seq{forbin0..25doifb<15thenyieldb*b}
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 generators – values are generated on-demand (i.e., are lazily evaluated) – while lists and arrays are evaluated eagerly.
F# uses pattern matching 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 active patterns as a form of extensible pattern matching.[51] It is used, for example, when multiple ways of matching on a type exist.[49]
F# supports a general syntax for defining compositional computations called computation expressions. Sequence expressions, asynchronous computations and queries are particular kinds of computation expressions. Computation expressions are an implementation of the monad pattern.[50]
hash table, created with the dict [ ... ] syntax or System.Collections.Generic.Dictionary<_,_> type.
Values and record fields can also be labelled as mutable. For example:
// Define 'x' with initial value '1'letmutablex=1// Change the value of 'x' to '3'x<-3
Also, F# supports access to all CLI types and objects such as those defined in the System.Collections.Generic namespace defining imperative data structures.
Object-oriented programming
Like other Common Language Infrastructure (CLI) languages, F# can use CLI types through object-oriented programming.[49] F# support for object-oriented programming in expressions includes:
Support for object-oriented programming in patterns includes
Type tests, e.g., :?stringass
Active patterns, which can be defined over object types[51]
F# object type definitions can be class, struct, interface, enum, or delegate type definitions, corresponding to the definition forms found in C#. For example, here is a class with a constructor taking a name and age, and declaring two properties.
/// A simple object type definitiontypePerson(name:string,age:int)=memberx.Name=namememberx.Age=age
Asynchronous programming
F# supports asynchronous programming through asynchronous workflows.[52] An asynchronous workflow is defined as a sequence of commands inside an async{ ... }, as in
The let! 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 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.
The async block may be invoked using the Async.RunSynchronously function. Multiple async blocks can be executed in parallel using the Async.Parallel function that takes a list of async objects (in the example, asynctask is an async object) and creates another async object to run the tasks in the lists in parallel. The resultant object is invoked using Async.RunSynchronously.[52]
Parallel programming is supported partly through the Async.Parallel, Async.Start and other operations that run asynchronous blocks in parallel.
Parallel programming is also supported through the Array.Parallel functional programming operators in the F# standard library, direct use of the System.Threading.Tasks 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 GPU[8] code.
In F#, you can assign units of measure, such as meters or kilograms, to floating point, unsigned integer[55] 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, for instance, lengths aren't mistakenly added to times.
The units of measure feature integrates with F# type inference to require minimal type annotations in user code.[56]
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.
Metaprogramming
F# allows some forms of syntax customizing via metaprogramming to support embedding custom domain-specific languages within the F# language, particularly through computation expressions.[49]
F# includes a feature for run-time meta-programming called quotations.[57] A quotation expression evaluates to an abstract syntax tree representation of the F# expressions. Similarly, definitions labelled with the [<ReflectedDefinition>] attribute can also be accessed in their quotation form. F# quotations are used for various purposes including to compile F# code into JavaScript[7] and GPU[8] 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.
Information-rich programming
F# 3.0 introduced a form of compile-time meta-programming through statically extensible type generation called F# type providers.[58] 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 have been used to give strongly typed access to connected information sources in a scalable way, including to the Freebase knowledge graph.[59]
In F# 3.0 the F# quotation and computation expression features are combined to implement LINQ queries.[60] For example:
// Use the OData type provider to create types that can be used to access the Northwind database.openMicrosoft.FSharp.Data.TypeProviderstypeNorthwind=ODataService<"http://services.odata.org/Northwind/Northwind.svc">letdb=Northwind.GetDataContext()// A query expression.letquery1=query{forcustomerindb.Customersdoselectcustomer}
The combination of type providers, queries and strongly typed functional programming is known as information rich programming.[61]
Agent programming
F# supports a variation of the actor programming model through the in-memory implementation of lightweight asynchronous agents. For example, the following code defines an agent and posts 2 messages:
typeMessage=|Enqueueofstring|DequeueofAsyncReplyChannel<Option<string>>// Provides concurrent access to a list of stringsletlistManager=MailboxProcessor.Start(funinbox->letrecmessageLooplist=async{let!msg=inbox.Receive()matchmsgwith|Enqueueitem->return!messageLoop(item::list)|DequeuereplyChannel->matchlistwith|[]->replyChannel.ReplyNonereturn!messageLooplist|head::tail->replyChannel.Reply(Somehead)return!messageLooptail}// Start the loop with an empty listmessageLoop[])// Usage async{// Enqueue some stringslistManager.Post(Enqueue"Hello")listManager.Post(Enqueue"World")// Dequeue and process the stringslet!str=listManager.PostAndAsyncReply(Dequeue)str|>Option.iter(printfn"Dequeued: %s")}|>Async.Start
Development tools
Visual Studio, with the Visual F# tools from Microsoft installed, can be used to create, run and debug F# projects. The Visual F# tools include a Visual Studio-hosted read–eval–print loop (REPL) interactive console that can execute F# code as it is written. Visual Studio for Mac also fully supports F# projects.
Among others, F# is used for quantitative finance programming,[67] energy trading and portfolio optimization,[68] machine learning,[69] business intelligence[70] and social gaming on Facebook.[71]
In the 2010s, F# has been positioned as an optimized alternative to C#. F#'s scripting ability and inter-language compatibility with all Microsoft products have made it popular among developers.[72]
Scripting
F# can be used as a scripting language, mainly for desktop read–eval–print loop (REPL) scripting.[73]
Open-source community
The F# open-source community includes the F# Software Foundation[9] and the F# Open Source Group at GitHub.[10] Popular open-source F# projects include:
Fable, an F# to Javascript transpiler based on Babel.
Paket, an alternative package manager for .NET that can still use NuGet repositories, but has centralised version-management.
Suave, a lightweight web-server and web-development library.
Compatibility
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.
Examples
A few small samples follow:
// This is a comment for a sample hello world program.printfn"Hello World!"
A record type definition. Records are immutable by default and are compared by structural equality.
typePerson={FirstName:stringLastName:stringAge:int}// Creating an instance of the recordletperson={FirstName="John";LastName="Doe";Age=30}
A Person class with a constructor taking a name and age and two immutable properties.
/// This is a documentation comment for a type definition.typePerson(name:string,age:int)=memberx.Name=namememberx.Age=age/// class instantiationletmrSmith=Person("Smith",42)
A simple example that is often used to demonstrate the syntax of functional languages is the factorial function for non-negative 32-bit integers, here shown in F#:
/// Using pattern matching expressionletrecfactorialn=matchnwith|0->1|_->n*factorial(n-1)/// For a single-argument functions there is syntactic sugar (pattern matching function):letrecfactorial=function|0->1|n->n*factorial(n-1)/// Using fold and range operatorletfactorialn=[1..n]|>Seq.fold(*)1
Iteration examples:
/// Iteration using a 'for' loopletprintListlst=forxinlstdoprintfn$"{x}"/// Iteration using a higher-order functionletprintList2lst=List.iter(printfn"%d")lst/// Iteration using a recursive function and pattern matchingletrecprintList3lst=matchlstwith|[]->()|h::t->printfn"%d"hprintList3t
Fibonacci examples:
/// Fibonacci Number formula[<TailCall>]letfibn=letrecgnf0f1=matchnwith|0->f0|1->f1|_->g(n-1)f1(f0+f1)gn01/// Another approach - a lazy infinite sequence of Fibonacci numbersletfibSeq=Seq.unfold(fun(a,b)->Some(a+b,(b,a+b)))(0,1)// Print even fibs[1..10]|>List.mapfib|>List.filter(funn->(n%2)=0)|>printList// Same thing, using a list expression[foriin1..10doletr=fibiifr%2=0thenyieldr]|>printList
A sample Windows Forms program:
// Open the Windows Forms libraryopenSystem.Windows.Forms// Create a window and set a few propertiesletform=newForm(Visible=true,TopMost=true,Text="Welcome to F#")// Create a label to show some text in the formletlabel=letx=3+(4*5)newLabel(Text=$"{x}")// Add the label to the formform.Controls.Add(label)// Finally, run the form[<System.STAThread>]Application.Run(form)
Asynchronous parallel programming sample (parallel CPU and I/O tasks):
/// A simple prime number detectorletisPrime(n:int)=letbound=int(sqrt(floatn))seq{2..bound}|>Seq.forall(funx->n%x<>0)// We are using async workflowsletprimeAsyncn=async{return(n,isPrimen)}/// Return primes between m and n using multiple threadsletprimesmn=seq{m..n}|>Seq.mapprimeAsync|>Async.Parallel|>Async.RunSynchronously|>Array.filtersnd|>Array.mapfst// Run a testprimes10000001002000|>Array.iter(printfn"%d")
Станіслав Реденспол. Stanisław Redens Народився 17 травня 1892(1892-05-17)Мінськ-МазовецькийПомер 12 лютого 1940(1940-02-12) (47 років)Москва, СРСРПоховання Нове Донське кладовищеКраїна Республіка Польща Російська імперія СРСРДіяльність державний діяч, політикЗнання мов польськаУ...
هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. محافظات الكويت الستة محافظات الكويت هي أعلى تقسيم إداري لدولة الكويت، التي يعود بداية إنشاء محافظاتها إلى المرسوم الأميري رقم 6 الصادر في عام 1962 حيث قسم الكويت إلى ثلاث محافظا
قرية لوفيل الإحداثيات 43°47′12″N 75°29′16″W / 43.7867°N 75.4878°W / 43.7867; -75.4878 [1] تاريخ التأسيس 1797 تقسيم إداري البلد الولايات المتحدة[2] التقسيم الأعلى مقاطعة لويس، نيويورك عاصمة لـ مقاطعة لويس، نيويورك خصائص جغرافية المساحة 4.949655 كيلومتر ...
Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. 2015 penembakan polisi DallasLokasi tempatLokasiCedars, Dallas, Texas.Koordinat32°46′05″N 96°47′40″W / 32.767983°N 96.794479°W / 32.767983; -96.794479Koordinat: 32°46′05″N 96°47′40″W / 32.7...
Komisi Aparatur Sipil NegaraGambaran UmumSingkatanKASNDidirikan30 September 2014Dasar hukum pendirianUndang-Undang Nomor 5 Tahun 2014SifatMandiri dan bebas dari intervensi politikStrukturKetuaAgus PramusintoWakil KetuaTasdik KinantoAnggotaAgustinus FatemAnggotaIArie BudhimanAnggotaMustari IrawanAnggotaRudiarto SumarwonoAnggotaSri Hadiati Wara KustrianiKantor pusatJl. Let. Jend. MT. Haryono Kav. 52-53 Pancoran - Jakarta Selatan - 12770Situs webhttp://kasn.go.id/lbs Komisi Aparatur Sipil N...
The legitimate power which one person or a group holds and exercises over another This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Authority sociology – news · newspapers · books · scholar · JSTOR (January 2009) (Learn how and when to remove this template message) An inhabited initial from a 13th-century...
Overview of Palestinian art Dome of the Rock mosaic art Part of a series onPalestinians Demographics Definitions Palestine History Name People Nakba Diaspora Politics Previous Arab Higher Committee Depopulated villages All-Palestine Protectorate Government Fedayeen militias PLO National Authority (PNA) (political parties) Current Fatah Hamas PFLP Islamic Jihad Politics of the Palestinian National Authority Enclaves Governorates Cities Gaza Strip governance (Hamas) Governorates of the Gaza Str...
Igreja de Creta Catedral de Heraclião Fundador São Tito Independência 1900 Reconhecimento Patriarcado Ecumênico de Constantinopla, como Igreja autônoma. Primaz Arcebispo Irineu I de Creta Sede Primaz Heraclião, Grécia Território Creta Posses Nenhuma Língua Grego koiné Adeptos 621 mil Site www.ekklisiakritis.com A Igreja de Creta (em grego: Εκκλησία της Κρήτης) é uma jurisdição autônoma da Igreja Ortodoxa, sob o omofório do Patriarcado Ecumênico de Constantinop...
US-British naval battle Capture of USS PresidentPart of the War of 1812The USS President Engaging the British Squadron, 1815 by Fitz Henry LaneDate15 January 1815LocationOutside New York Harbor, New York40°30′32″N 73°56′35″W / 40.509°N 73.943°W / 40.509; -73.943Result British victoryBelligerents United Kingdom United StatesCommanders and leaders John Hayes Stephen Decatur (POW)Strength 4 frigates 1 'Heavy' frigateCasualties and losses 11 killed14 woun...
Araure Estado Portuguesa Município Araure População (2001) 82.000 habitantes Cidade da Venezuela Araure é uma cidade da Venezuela localizada no estado de Portuguesa.[1] Araure é a capital do município de Araure.[1] Portal da geografia Portal da Venezuela Referências ↑ a b «Censo do 2011». Instituto Nacional de Estadística (INE). Arquivado do original em 24 de setembro de 2015 Este artigo sobre Geografia da Venezuela é um esboço. Você pode ajudar a Wikipédia expandindo-o....
Artikel ini bukan mengenai Pablo Iglesias Posse, politikus Spanyol kelahiran tahun 1850. Dalam nama Spanyol ini, nama keluarganya adalah Iglesias. Pablo IglesiasWakil Perdana Menteri Tingkat Dua SpanyolMasa jabatan13 Januari 2020 – 31 Maret 2021Menjabat bersama Carmen Calvo, Nadia Calviño dan Teresa RiberaPenguasa monarkiFelipe VIPerdana MenteriPedro SánchezPendahuluManuel Chaves (2011)PenggantiNadia CalviñoMenteri Hak Sosial dan Agenda 2030Masa jabatan13 Januari 2020...
Indian film awards IIFA Award for Best ActorThe 2023 Recipient: Hrithik RoshanAwarded forBest Performance by an Actor in a Leading RoleCountryIndiaPresented byInternational Indian Film AcademyFirst awardedSanjay Dutt, Vaastav: The Reality (2000)Currently held byHrithik Roshan Vikram Vedha (2023)WebsiteIIFA Awards The IIFA Award for Best Actor recognizes leading male actor who has delivered an outstanding performance in a leading role. The recipient is chosen by viewers and the winner is annou...
Житие протопопа Аввакума Авторы Аввакум Петров Дата написания 1672 Язык оригинала русский Страна Русское царство Жанр автобиография Текст в Викитеке «Путешествие Аввакума по Сибири» (картина С. Милорадовича, холст, масло, 1898) «Житие́ протопопа́ Авваку́ма, им сами́м напи́...
13th United States Secretary of Energy Ernest Moniz13th United States Secretary of EnergyIn officeMay 21, 2013 – January 20, 2017PresidentBarack ObamaDeputyDaniel PonemanElizabeth Sherwood-RandallPreceded bySteven ChuSucceeded byRick PerryUnder Secretary of Energy for Energy and EnvironmentIn officeOctober 29, 1997 – January 20, 2001PresidentBill ClintonPreceded bySteven ChuSucceeded byRobert G. Card Personal detailsBornErnest Jeffrey Moniz (1944-12-22) December 22, 1944...
Dungeon in Fort William, Calcutta This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Black Hole of Calcutta – news · newspapers · books · scholar · JSTOR (June 2017) (Learn how and when to remove this template message) The Black Hole of Calcutta (20 June 1756) from the Hutchinson's story of the nations Part of ...
Pipa pembuangan mobil. Sistem pembuangan adalah saluran untuk membuang sisa hasil pembakaran pada mesin pembakaran dalam. Sistem pembuangan terdiri dari beberapa komponen, minimal terdiri dari satu pipa pembuangan. Di Indonesia dikenal juga sebagai knalpot yang merupakan kata serapan dari bahasa Belanda yang secara harfiah berarti saringan suara. Desain Desain saluran pembuangan dirancang untuk menyalurkan gas hasil pembakaran mesin ketempat yang aman bagi pengguna mesin. Gas hasil pembakaran...
American businessman, revolutionary, and aviation pioneer (1868–1910) This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: inconsistent place of birth. Please help improve this article if you can. (May 2023) (Learn how and when to remove this template message) John MoisantMoisant and his cat, Mademoiselle Fifi, in 1910BornJohn Bevins Moisant(1868-04-25)April 25, 1868Kankakee, Illinois, U.S.DiedDecember 31, 1910(1910-12-31) (aged 42)Harahan, L...