Introduction to F# 3.0

Seminar talk in OOP undergraduate course.

Transcript

1. Introduction to F# 3.0 11/1/2013 Aggelos Biboudis Programming Languages Researcher University of Athens www.di.uoa.gr/~biboudis
2. Functional Programming in a slide (not; but a quick enough) • FP emphasizes application of functions • Epic Functions are Epic!!!!! (as in math!) – Avoid State and Mutation – Call the function twice and get the same answer – First class in FP • Imperative, changes in state • Foundations on lambda calculus (Alonzo Church in the 1930s’) – Function definition – Function application – Recursion
3. Functional, Imperative, OOP • C  Imperative • C++  OOP first, preserving the imperative character, recently multiparadigm (C++11) • C#  OOP, multiparadigm, functional elements Declarative programming, expresses what the program should accomplish without prescribing how to do it
4. () Fortran 1957, John Backus Lisp 1958, John McCarthy
5. Some history • (1970) ML by Robin Milner, University of Edinburgh – Hindley–Milner type inference algorithm – Simply typed polymorphic lambda calculus • ML -> StandarML -> Caml -> OCaml unifying functional, OOP and imperative • (2005) F# by Don Syme, Microsoft Research • F# is essentially a .NET adaptation of OCaml bringing the power of FP to .NET
6. …and why it matters Hughes, John. "Why functional programming matters." The computer journal 32.2 (1989): 98-107.
7. F# is... ... a programming language.
8. F# is... ...a functional programming language
9. F# is... ... a functional programming language for .NET.
10. F# is... ...a functional and object oriented programming language for .NET
11. F# is... ...a functional, object oriented and imperative programming language for .NET
12. F# is... ...a functional, object oriented, imperative and explorative programming language for .NET
13. F# is... ...a multi-paradigm programming language for .NET
14. An open source compiler “This source code is under the Apache 2.0 license and is published as part of the F# PowerPack codeplex project, which is now also under the Apache 2.0 license. The F# PowerPack now includes libraries, tools and the compiler/library source code drops. “
15. Development Environments
16. Getting F# • F# on Mac • F# on Linux • F# on Windows • F# on Android and iOS • F# on HTML5, GPGPU and more...
17. Books • About F# – Expert F# 2.0 (now updated to 3.0) – Real-World Functional Programming – Beginning F# – Programming F# – F# For Scientists – Visual F# 2010 for Technical Computing – Professional F# 2.0 • And more general about programming languages through F# – Programming Language Concepts
18. Links • On the Web – http://fsharp.org/ – http://fsharp.github.com/ – http://fsharp.net/ (Visual Studio edition) – http://fsharp.github.com/fsharp (Open Source edition) – http://research.microsoft.com/fsharp – http://www.tryfsharp.org/ – Don Syme - http://blogs.msdn.com/dsyme – http://code.msdn.microsoft.com/fsharpsamples – http://blogs.msdn.com/b/timng/archive/2010/04/05/f-object-oriented-programming-quick- guide.aspx?wa=wsignin1.0 • Community – F# open source list – News from F# blogs – GitHub and CodePlex projects – F# code snippets – Ask on StackOverflow – Join Twitter conversations – F# on IRC
19. The language designer to thank for • Don Syme • Academic Info from
20. ENOUGH WITH THE LOGISTICS JUST SHOW ME THE CODE.. F# interactive action, driven by Expert F# 2.0;;
21. FIN |> NOT ;;