Introduction to F# 3.0

Introduction to F# 3.0Talbott Crowell, MVP@talbott#BOSCCBoston Code CampOctober 20, 2012

What is F#Statically typed, open source functional programming language that uses type inferencing Unique features: Units of Measure Type Providers

Static versus DynamicF# is statically typed like: C++, Objective-C, Java, ScalaCompared to dynamically typedlanguages: Python, JavaScript, Erlang, MATLAB

Open SourceApache 2.0 licenseFree IDE on Windows from MicrosoftFree IDE on Mac (MonoDevelop)http://blogs.msdn.com/b/fsharpteam/archive/2012/09/24/announcing-the-f-3-0-open-source-code-drop.aspx

Functional Programming (FP)Examples of FP languages Erlang, Haskell, Clojure and Scala (JVM)Functions are first class citizens like variables in imperative languagesHigher-order functions functions a parameters or return values

Type Inferencinglet x = 5let y = "hello"let z = new Form()let distance = 26.21875<mile>let f x = x + x

Immutable by defaultlet x = 5let mutable y = 7y <- 8let z = new Form()z.Show()z.Text <- “Hello”

Array, List, and SeqArrays are mutableLists are notSeq (sequences) only store onevalue at a time (lazy)

Array, List, and Seqlet set1 = [|1..10|]let set2 = [1..10]let set3 = seq { 1..10 }set1.[0] <- 999 //mutable

Units of MeasureFloating point and signed integervalues in F# can have associatedunits of measure, which are typicallyused to indicatelength, volume, mass, and so on.By using quantities with units, youenable the compiler to verify thatarithmetic relationships have thecorrect units, which helps preventprogramming errors.

Units of Measure[<Measure>] type mile[<Measure>] type kmlet distance1 = 4.0<mile>let distance2 = 3.0<km>//compile errorlet total = distance1 + distance2

Units of Measure[<Measure>] type mile[<Measure>] type kmlet convert_mile2km (a : float<mile>) = a / 0.621371<mile/km>let distance1 = 4.0<mile>let distance1a = convert_mile2km distance1let distance2 = 3.0<km>let total = distance1a + distance2

Type ProvidersF# 3.0 introducesType ProvidersData rich programmingfor the Big Data EraEnablesmassive schemaswith strict typing

Examples of Type Providers SQL Data Connection OData Service Provider (Netflix) Freebase Hadoop R WMI RegEx

Type Provider Demo

TryFsharp.org

FPish.net

Other Resourceshttp://stackoverflow.com/questions/tagged/f%23http://fsharpsamples.codeplex.com/http://fsharp.net

Questions?

Thank YouFollow me on Twitter @Talbott

https://twitter.com	14
https://si0.twimg.com	1
http://www.linkedin.com	1

Introduction to F# 3.0

by Talbott Crowell on Oct 20, 2012

Accessibility

Categories

Upload Details

Usage Rights

3 Embeds 16

Statistics

Introduction to F# 3.0 Presentation Transcript