Concept

F Sharp (programming language)

F# (pronounced F sharp) is a functional-first, general-purpose, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most often used as a cross-platform Common Language Infrastructure (CLI) language on .NET, but can also generate JavaScript and graphics processing unit (GPU) code. F# is developed by the F# Software Foundation, Microsoft and open contributors. An open source, cross-platform compiler for F# is available from the F# Software Foundation. F# is a fully supported language in Visual Studio and JetBrains Rider. Plug-ins supporting F# exist for many widely used editors including Visual Studio Code, Vim, and Emacs. F# is a member of the ML language family and originated as a .NET Framework implementation of a core of the programming language OCaml. It has also been influenced by C#, Python, Haskell, Scala and Erlang. 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 and C# (albeit as an option), and has remained in subsequent 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, according to whom in the fsharp team, they say the F is for "Fun". Andrew Kennedy contributed to the design of units of measure. 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.

Official source

https://en.wikipedia.org/wiki/F_Sharp_(programming_language)

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Related courses (25)

CS-214: Software construction

Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstr ...

CS-320: Computer language processing

We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...

CS-420: Advanced compiler construction

Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language. ...

Related MOOCs (1)

The Thymio robot as a tool for discovering digital science

This course is intended for anyone who wants to master the Thymio educational robot, but it is especially designed for primary and secondary school teachers who want to learn about this tool and use it in the classroom. It allows teachers to acquire the basics of computer science and robotics, by proposing adapted problem situations, and by providing pedagogical tracks for the animation in class. It responds to the new programs for the introduction of digital sciences in schools in France and Switzerland an

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Official source

https://en.wikipedia.org/wiki/F_Sharp_(programming_language)

About this result

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Related courses (25)

CS-214: Software construction

CS-320: Computer language processing

CS-420: Advanced compiler construction

Related lectures (32)

Verifying Programs with Stainless: Part 2

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Introduction to VPL Standard Mode MOOC: The Thymio robot as a tool for discovering digital science

Introduces students to the standard mode of VPL.

Related publications (8)

Source-to-Source Transformations for GPU Code Generation

GPUs have become essential in modern high performance computing, but programming them correctly remains a significant challenge. This difficulty arises from subtle concurrency bugs that result from the explicit management of synchronization primitives and data movement across intricate hierarchies of memory and parallel threads. At the same time, the ability to control these aspects explicitly is at the core of the performance gains granted by GPUs. These challenges have motivated interest in safe GPU progr

École Polytechnique Fédérale de Lausanne2026

Language-Integrated Recursive Queries

Martin Odersky

Performance-critical applications, including large-scale program analyses, graph analyses, and distributed system analyses, rely on fixed-point computations. The introduction of recursion using the WITH RECURSIVE keyword in SQL:1999 extended the ability of relational database systems to handle fixed-point computations, unlocking significant performance advantages by allowing computation to move closer to the data. Yet, with recursion, SQL becomes a Turing-complete programming language with new correctness a

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing2026

RXNMapperv2: updated validation and evaluation on expanded chemical space

Atom-to-atom mapping (AAM) assigns reactant atoms to product atoms and is fundamental for reaction classification, template extraction, and synthesis planning. RXNMapper derives AAM from the attention of a Transformer model trained by masked language modeling on unmapped reaction SMILES. However, its original model selection relied on USPTO-50K, a validation set later shown to contain erroneous mappings. Here we revisit RXNMapper using a curated validation set of 4’533 reactions from the dataset Pistachio.

American Chemical Society (ACS)2026

Related people (17)

Martin Odersky

Martin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET. Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.

Michel Schinz

Teaching & PhD Courses Advanced compiler construction CS-420 Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language. Practice of object-oriented programming CS-108 Students improve their knowledge of Java and put it into practice by implementing a sizeable project. They learn how t

Mikaël Mayer

Timothy Goodman

Giovanni De Micheli

Expertise Design technologies for integrated systems on silicon, such as synthesis, hw/sw codesign and low-power design, as well as systems on heterogeneous platforms including electrical and biological components. Scientific Director of EcoCloud Center at EPFL Directing activities towards creating sustainable computation including AI.Designing energy-savvy data centers and edge devices. More information Please read http://si2.epfl.ch/~demichel/ Giovanni De Micheli is a research scientist in electronics and

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Francesco Mondada

Dr. Mondada received his M.Sc. in micro-engineering in 1991 and his Doctoral degree in 1997 at EPFL. During his thesis he co-founded the company K-Team, being both CEO and president of the company for about 5 years. He is one of the three main developers of the Khepera robot, considered as a standard in bio-inspired robotics and used by more than 1,000 universities and research centers worldwide. Fully back in research in 2000 and after a short period at CALTECH, he participated to the SWARM-BOTS project as the main developer of the s-bot robot platform, which was ranked on position 39 in the list of The 50 Best Robots Ever (fiction or real) by the Wired Journal in 2006. The SWARM-BOTS project was selected as FET-IST success story by the EU commission. He is author of more than 100 papers in the field of bio-inspired robotics and system level robot design. He is co-editor of several international conference proceedings. In November 2005 he received the EPFL Latsis University prize for his contributions to bio-inspired robotics. In 2011 he received the "Crédit Suisse Award for Best Teaching" from EPFL and in 2012 the "polysphère" award from the students as best teacher in the school of engineering. His interests include the development of innovative mechatronic solutions for mobile and modular robots, the creation of know-how for future embedded applications, and making robot platforms more accessible for education, research, and industrial development.

Nguyên Cao Pham

Marco Mattavelli

Teaching & PhD Past EPFL PhD Students Christophe Clerc, Ruohua Zhou, Beilu Shao, Christophe Lucarz, Richard Thavot, Ab Al Hadi Bin Ab Rahman, Endri Bezati, Simone Casale Brunet, Malgorzata Michalska, Ana Angelica Hernandez Lopez, Aurélien Bloch, Mustafa Besirli, Ünsal Öztürk Past EPFL PhD Students as codirector Sylvain Aguirre Courses Systems and architectures for signal processing EE-555 Study of the essential components and implementation technologies of digital signal processing and commu

Dimitri Racordon

Expertise Programming language design, type systems, memory safety I got my Ph.D. in computer science at the University of Geneva, Switzerland. I worked on model checking and developed efficient data structures to generate and explore large state spaces. SI then studied logics and type systems while trying to find new ways to teach computer science.I have always loved coding, but quickly realized I'm not so good at writing correct programs. So I thought I'd better write clever compilers to do it for me. Eve

Related units (4)

Programming Methods Laboratory 1

Scala - Administration

Audiovisual Communications Laboratory

Related concepts (23)

Scala (programming language)

Scala (ˈskɑːlə ) is a strong statically typed high-level general-purpose programming language that supports both object-oriented programming and functional programming. Designed to be concise, many of Scala's design decisions are aimed to address criticisms of Java. Scala source code can be compiled to Java bytecode and run on a Java virtual machine (JVM). Scala can also be compiled to JavaScript to run in a browser, or directly to a native executable.

C Sharp (programming language)

C# (pronounced ) is a general-purpose high-level programming language supporting multiple paradigms. C# encompasses static typing, strong typing, lexically scoped, imperative, declarative, functional, generic, object-oriented (class-based), and component-oriented programming disciplines. The C# programming language was designed by Anders Hejlsberg from Microsoft in 2000 and was later approved as an international standard by Ecma (ECMA-334) in 2002 and ISO/IEC (ISO/IEC 23270) in 2003. Microsoft introduced C# along with .

Visual Basic (.NET)

Visual Basic (VB), originally called Visual Basic .NET (VB.NET), is a multi-paradigm, object-oriented programming language, implemented on .NET, Mono, and the .NET Framework. Microsoft launched VB.NET in 2002 as the successor to its original Visual Basic language, the last version of which was Visual Basic 6.0. Although the ".NET" portion of the name was dropped in 2005, this article uses "Visual Basic [.NET]" to refer to all Visual Basic languages released since 2002, in order to distinguish between them and the classic Visual Basic.

Related MOOCs (1)

The Thymio robot as a tool for discovering digital science

Related notebooks (4)

Block Processing of Audio Files Using Stateful FIR Filters

Block-processing of audio files[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

This notebook shows a simple way to process audio files (in WAV format) in a block-by-block fashion; this is useful in two cases 1. when you want to process a data stream in real time but you can accept a small processing delay; in this case a buffered approach can yield computational gains 2. when you need to process a large file that does not fit entirely into

Exploring Chemical Potential for Fermions in 3D at Finite Temperature

This notebook gives a simple illustration to the variation of chemical potential for Fermions in 3D, following the Fermi-Dirac statistics in finite temperature. " In 3D, we have the density of states

\\rho \\propto \\sqrt{E}

. At zero temperature, the distribution of electrons just follows

g(E)=a \\sqrt{E}

and the Fermi energy is determined by the total occupied number

N_{occ}

E_f

is the energy such that

N_{occ}=\\int_{0}^{E_f} g(E) dE

\n", " \n", "In finite temperature, however, o

Cylindrical Coordinates Visualization

::: {role="main"} ::: {.jp-Cell .jp-MarkdownCell .jp-Notebook-cell} ::: {.jp-Cell-inputWrapper tabindex="0"} ::: {.jp-Collapser .jp-InputCollapser .jp-Cell-inputCollapser} ::: ::: {.jp-InputArea .jp-Cell-inputArea} ::: {.jp-InputPrompt .jp-InputArea-prompt} ::: ::: {.jp-RenderedHTMLCommon .jp-RenderedMarkdown .jp-MarkdownOutput mime-type="text/markdown"}

Important note¶{.anchor-link} {#Important-note}

This notebook is obsolete and not maintained. For an interactive display of cylidri

Understanding and Plotting the Discrete Fourier Transform (DFT)

Plotting the DFT[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In this notebook we will look at the practical issues associated to plotting the DFT and in particular the DFT of real-world signals. We will examine how to map the DFT coefficients to real-world frequencies and we will investigate the frequency resolution of the DFT and the effects of zero padding. In [1]:

first our usual bookkeeping

%matplotlib inline import matplotlib import matplotlib.p

Related people (17)

Related notebooks (4)

Block Processing of Audio Files Using Stateful FIR Filters

Block-processing of audio files[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

Exploring Chemical Potential for Fermions in 3D at Finite Temperature

This notebook gives a simple illustration to the variation of chemical potential for Fermions in 3D, following the Fermi-Dirac statistics in finite temperature. " In 3D, we have the density of states

\\rho \\propto \\sqrt{E}

. At zero temperature, the distribution of electrons just follows

g(E)=a \\sqrt{E}

and the Fermi energy is determined by the total occupied number

N_{occ}

E_f

is the energy such that

N_{occ}=\\int_{0}^{E_f} g(E) dE

\n", " \n", "In finite temperature, however, o

Cylindrical Coordinates Visualization

Important note¶{.anchor-link} {#Important-note}

This notebook is obsolete and not maintained. For an interactive display of cylidri

Understanding and Plotting the Discrete Fourier Transform (DFT)

Plotting the DFT[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

first our usual bookkeeping

%matplotlib inline import matplotlib import matplotlib.p