Last Updated on December 24, 2022
3. Functional Programming with F# by Yusuf M Motara
Functional Programming with F# aims to teach you functional programming, using F# as the language of instruction.
Although it was designed for use in the classroom, it should be suitable for self-study as well.
The textbook focuses on the functional programming paradigm, the principles that underlie it, and practical step-by-step functional programming.
4. F# Programming by Wikibooks
This book begins with a good walk-through of the language’s basics, before moving on to exploring functions, and immutable data structures.
Later chapters cover imperative programming, and object oriented programming.
The reader is then taken of a course covering advanced topics including units of measure, caching, active patterns, advanced data structures, reflection, quotations, and computation expressions. The book ends with multi-threaded and concurrent applications, and some F# tools.
5. F# Succinctly by Robert Pickering
This book is aimed primarily at IT professionals who want to get up to speed quickly on F#. A working knowledge of the .NET Framework and some knowledge of either C# or Visual Basic is useful, but it’s not essential.
All you really need is some experience programming in any language to be comfortable learning F#.
Even complete beginners who’ve never programmed before and are learning F# as their first computer language should find this book very readable. Though it doesn’t attempt to teach introductory programming, it does carefully present all the important details of F#
This book is licensed strictly for personal, educational use.
Pages in this article:
Page 1 – F# for Fun and Profit eBook and more books
Page 2 – Functional Programming with F# and more books
All books in this series:
| Free Programming Books | |
|---|---|
| Ada | ALGOL-like programming language, extended from Pascal and other languages |
| Agda | Dependently typed functional language based on intuitionistic Type Theory |
| Arduino | Inexpensive, flexible, open source microcontroller platform |
| Assembly | As close to writing machine code without writing in pure hexadecimal |
| Awk | Versatile language designed for pattern scanning and processing language |
| Bash | Shell and command language; popular both as a shell and a scripting language |
| BASIC | Beginner’s All-purpose Symbolic Instruction Code |
| C | General-purpose, procedural, portable, high-level language |
| C++ | General-purpose, portable, free-form, multi-paradigm language |
| C# | Combines the power and flexibility of C++ with the simplicity of Visual Basic |
| Clojure | Dialect of the Lisp programming language |
| ClojureScript | Compiler for Clojure that targets JavaScript |
| COBOL | Common Business-Oriented Language |
| CoffeeScript | Transcompiles into JavaScript inspired by Ruby, Python and Haskell |
| Coq | Dependently typed language similar to Agda, Idris, F* and others |
| Crystal | General-purpose, concurrent, multi-paradigm, object-oriented language |
| CSS | CSS (Cascading Style Sheets) specifies a web page’s appearance |
| D | General-purpose systems programming language with a C-like syntax |
| Dart | Client-optimized language for fast apps on multiple platforms |
| Dylan | Multi-paradigm language supporting functional and object-oriented coding |
| ECMAScript | Best known as the language embedded in web browsers |
| Eiffel | Object-oriented language designed by Bertrand Meyer |
| Elixir | Relatively new functional language running on the Erlang virtual machine |
| Erlang | General-purpose, concurrent, declarative, functional language |
| F# | Uses functional, imperative, and object-oriented programming methods |
| Factor | Dynamic stack-based programming language |
| Forth | Imperative stack-based programming language |
| Fortran | The first high-level language, using the first compiler |
| Go | Compiled, statically typed programming language |
| Groovy | Powerful, optionally typed and dynamic language |
| Haskell | Standardized, general-purpose, polymorphically, statically typed language |
| HTML | HyperText Markup Language |
| Icon | Wide variety of features for processing and presenting symbolic data |
| J | Array programming language based primarily on APL |
| Java | General-purpose, concurrent, class-based, object-oriented, high-level language |
| JavaScript | Interpreted, prototype-based, scripting language |
| Julia | High-level, high-performance language for technical computing |
| Kotlin | More modern version of Java |
| LabVIEW | Designed to enable domain experts to build power systems quickly |
| LaTeX | Professional document preparation system and document markup language |
| Lisp | Unique features - excellent to study programming constructs |
| Logo | Dialect of Lisp that features interactivity, modularity, extensibility |
| Lua | Designed as an embeddable scripting language |
| Markdown | Plain text formatting syntax designed to be easy-to-read and easy-to-write |
| Objective-C | Object-oriented language that adds Smalltalk-style messaging to C |
| OCaml | The main implementation of the Caml language |
| Pascal | Imperative and procedural language designed in the late 1960s |
| Perl | High-level, general-purpose, interpreted, scripting, dynamic language |
| PHP | PHP has been at the helm of the web for many years |
| PostScript | Interpreted, stack-based and Turing complete language |
| Prolog | A general purpose, declarative, logic programming language |
| PureScript | Small strongly, statically typed language compiling to JavaScript |
| Python | General-purpose, structured, powerful language |
| QML | Hierarchical declarative language for user interface layout - JSON-like syntax |
| R | De facto standard among statisticians and data analysts |
| Racket | General-purpose, object-oriented, multi-paradigm, functional language |
| Raku | Member of the Perl family of programming languages |
| Ruby | General purpose, scripting, structured, flexible, fully object-oriented language |
| Rust | Ideal for systems, embedded, and other performance critical code |
| Scala | Modern, object-functional, multi-paradigm, Java-based language |
| Scheme | A general-purpose, functional language descended from Lisp and Algol |
| Scratch | Visual programming language designed for 8-16 year-old children |
| SQL | Access and manipulate data held in a relational database management system |
| Standard ML | General-purpose functional language characterized as "Lisp with types" |
| Swift | Powerful and intuitive general-purpose programming language |
| Tcl | Dynamic language based on concepts of Lisp, C, and Unix shells |
| TeX | Markup and programming language - create professional quality typeset text |
| TypeScript | Strict syntactical superset of JavaScript adding optional static typing |
| Vala | Object-oriented language, syntactically similar to C# |
| VHDL | Hardware description language used in electronic design automation |
| VimL | Powerful scripting language of the Vim editor |
| XML | Rules for defining semantic tags describing structure ad meaning |