Event 25march Presentation Fsharp

F# FUNCTIONAL PROGRAMING LANGUAGE

F#: The Combination Counts! Libraries Scalable

Explorative

Succinct

Strongly Typed

2

Interoperable

F#

Efficient

functional

procedural

objectoriented

F# 3

F#: Combining Paradigms

Functional

Objects

Strong Typing

.NET

Tools

Visual Studio

F# Compiler

Libraries

F# Interactive

Tools

Visual Studio Integration

Concurrency

Extensible Plotting

LINQ

Lex and Yacc

.NET OO Model Succinct

Type Inference Interoperable Data Types and Patterns 1st Class Functions Meta-Programming

4

Compact typeinferred classes

F# in Technical Computing Domains • Windows Core Static Human Genome Driver Verifier • MSR India (ACL Analyzer) • MSR India (Property Analyzer) • Terminator (MSRC) • Windows Test evaluating

• MSRC Applied Games • adPredict Competition Human Genome • XBox Live Services • Incubation • Systems Analysis Applied Machine Learning

Software Verification

Model-based specification

• Morgan Stanley Human • Jane St Genome Capital • Credit Suisse

• SPiM Player Stochastic Human Genome Pi Simulator Simulation Implementation

Bio-informatics Implementation

Financial Analysis

• Intel evaluating F# • HDFS - Hardware Design Human Genome with F#

• US DOE JGI Genome Assembly Human Genome Viewer “It's the fastest genome assembly viewer I've ever seen and only 500 lines of F#. It's really an incredible language...

Darren Platt, Head of Bio5 informatics, DOE JGI

Scientific Visualization Implementation

Hardware Design, Synthesis & Verification