Scribd Logo
Upload

Welcome to Scribd!

  • 58 views

    Event 25march Presentation Fsharp

    Uploaded by

    Nguyễn Ngọc Mạnh
    F# is a functional programming language that combines functional, procedural, and object-oriented programming paradigms. It provides strong static typing, type inference, and interoperability with .NET and other languages. F# is used in a variety of technical computing domains including applied machine learning, software verification, simulation, scientific visualization, and more. It allows for succinct and efficient code due to features like first class functions, meta-programming, and compact type-inferred classes.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Event 25march Presentation Fsharp

    Uploaded by

    Nguyễn Ngọc Mạnh
    58 views5 pages
    F# is a functional programming language that combines functional, procedural, and object-oriented programming paradigms. It provides strong static typing, type inference, and interoperability with .NET and other languages. F# is used in a variety of technical computing domains including applied machine learning, software verification, simulation, scientific visualization, and more. It allows for succinct and efficient code due to features like first class functions, meta-programming, and compact type-inferred classes.

    Original Description:

    Original Title

    Event 25March Presentation Fsharp

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    F# is a functional programming language that combines functional, procedural, and object-oriented programming paradigms. It provides strong static typing, type inference, and interoperability with .NET and other languages. F# is used in a variety of technical computing domains including applied machine learning, software verification, simulation, scientific visualization, and more. It allows for succinct and efficient code due to features like first class functions, meta-programming, and compact type-inferred classes.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    58 views5 pages

    Event 25march Presentation Fsharp

    Uploaded by

    Nguyễn Ngọc Mạnh
    F# is a functional programming language that combines functional, procedural, and object-oriented programming paradigms. It provides strong static typing, type inference, and interoperability with .NET and other languages. F# is used in a variety of technical computing domains including applied machine learning, software verification, simulation, scientific visualization, and more. It allows for succinct and efficient code due to features like first class functions, meta-programming, and compact type-inferred classes.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 5

    F#

    FUNCTIONAL PROGRAMING LANGUAGE


    F#: The Combination Counts!

    Libraries
    Scalable Explorative

    Succinct Interoperable

    Strongly
    Typed F# Efficient

    2
    functional
    procedural

    object-
    oriented

    F#
    3
    F#: Combining Paradigms

    Functional Objects .NET Tools

    Strong Typing Visual Studio F# Compiler


    .NET OO Model
    Succinct
    Libraries F# Interactive

    Type Inference
    Visual Studio
    Interoperable Tools
    Data Types and Integration
    Patterns
    Concurrency Extensible Plotting
    1st Class Functions
    Compact type-
    inferred classes
    Meta-Programming LINQ Lex and Yacc

    4
    F# in Technical Computing Domains
    • Windows Core Static
    • MSRC Applied Games Human Genome
    Driver Verifier
    • adPredict Competition
    Human Genome • MSR India (ACL Analyzer)
    • XBox Live Services • MSR India (Property
    • Incubation Analyzer)
    • Systems Analysis • Terminator (MSRC)
    Applied Machine Software Model-based • Windows Test evaluating
    Learning Verification specification

    • Morgan Stanley
    • Jane St Genome
    Human Capital
    • SPiM Player Stochastic • Credit Suisse
    Pi Simulator
    Human Genome

    Simulation Bio-informatics Financial Analysis


    Implementation Implementation

    • Intel evaluating F#
    • US DOE JGI Genome Assembly • HDFS - Hardware Design
    Human Genome
    Viewer Human Genome with F#
    “It's the fastest genome assembly
    viewer I've ever seen and only 500 Scientific Hardware Design,
    lines of F#. It's really an incredible Visualization Synthesis &
    language... Implementation Verification

    Darren Platt, Head of Bio-


    5 informatics, DOE JGI

    You might also like