Introduction to F#

Seminar talk in OOP undergraduate course.

Transcript

1. Introduction to F# 9/2/2012 Aggelos Biboudis, Doctoral 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 1930)  Function definition  Function application  Recursion
3. Functional, Imperative, OOP C -> Imperative C++ -> OOP first, preserving the imperative character, recently multiparadigm 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 from University of Edinburgh ML->StandarML->Caml->OCaml unifing functional, OOP and imperative (2005) F# by Don Syme from Microsoft Research F# is essentially a .NET adaptation of OCaml bringing the power of FP to .NET
6. F# is... ... a programming language.
7. F# is... ...a functional programming language
8. F# is... ... a functional programming language for .NET.
9. F# is... ...a functional and object oriented programming language for .NET
10. F# is... ...a functional, object oriented and imperative programming language for .NET
11. F# is... ...a functional, object oriented, imperative and explorative programming language for .NET
12. F# is... ...a multi-paradigm programming language for .NET
13. 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. “
14. IDEs Visual Studio Mono-develop
15. Just show me the code for a couple of hours please! F# interactive action, driven by Expert F# 2.0;;
16. Books Expert F# 2.0 Real-World Functional Programming Beginning F# Programming F# F# For Scientists Visual F# 2010 for Technical Computing Professional F# 2.0
17. Books Expert F# 2.0 Real-World Functional Programming Beginning F# Programming F# F# For Scientists Visual F# 2010 for Technical Computing Professional F# 2.0
18. Links On the Web  http://fsharp.net/  http://research.microsoft.com/fsharp  http://www.tryfsharp.org/  Don Syme - http://blogs.msdn.com/dsyme  Luke Hoban - http://blogs.msdn.com/lukeh  Design Guidelines Community  http://cs.hubfs.net F# Samples  http://code.msdn.microsoft.com/fsharpsample
19. Keep Hacking :-)