InfoQ Homepage Microsoft Content on InfoQ
-
F# for Trading
Phil Trelford describes and demonstrates areas where F# excels, such as domain modeling, computation and concurrency.
/presentations/F-Sharp-Trading/en/mediumimage/Phillipbig.jpg)
-
Functional DSLs for Biocomputation
Colin Gravill talks about how using F# to construct a shared analysis engine and the languages used to make the individual tools.
/presentations/Functional-DSL-Biocomputation/en/mediumimage/Colinbig.jpg)
-
Reverend Bayes, Meet Countess Lovelace: Machine Learning and Programming
Andy Gordon discusses machine learning using functional programming, explaining how Infer.NET Fun turns the succinct syntax of F# into an executable modeling language for Bayesian machine learning.
/presentations/Machine-Learning-Functional/en/smallimage/Andy.JPG)
-
F# Big Data Scripting
Matthew Moloney shares some of the F# tools built at Microsoft Research for dealing with Big Data.
/presentations/F-Sharp-Big-Data-Scripting/en/smallimage/Mat.JPG)
-
Staged Program Development
K. Rustan M. Leino advocates developing in stages by using languages that offer both design level abstractions – types, contracts, higher-level constructs, ghost constructs- and implementation ones.
/presentations/Staged-Program-Development/en/smallimage/Leino.JPG)
-
Information Rich Programming with F# 3.0
Donna Malayeri speaks on information rich programming with F# 3.0’s type providers and query expressions, explaining how type providers work under the hood.
/presentations/Type-Providers-F-Sharp-3/en/smallimage/Donna.JPG)
-
Types vs. Tests: An Epic Battle?
Amanda Laucher and Paul Snively debate solving problems through types and tests using different approaches.
/presentations/Types-Tests/en/smallimage/ap.JPG)
-
Behind the Mirror
Chris Granger discusses the need for enhancing the learning tools starting from his own experience watching through a mirror people trying to solve problems at Microsoft.
/presentations/Learn-Tools/en/smallimage/Chris.JPG)
-
Asynchronous Programming on the Server and the Client in F#
Tomas Petricek demoes server-side and client-side asynchronous programming with non-blocking code and without inversion of control in F#.
/presentations/Asynchronous-Programming-F-Sharp/en/smallimage/Tomas.JPG)
-
Windows Azure
Scott Guthrie has a hands on session demonstrating some of the Windows Azure’s main features, such as storage, websites, services, SQL, blobs, cache, etc.
/presentations/Windows-Azure/en/smallimage/Scott.JPG)
-
Functional Architecture
Phil Trelford suggests domains, such as modeling, DSLs, concurrency, for which functional programming is well-suited, and areas for which an OO or a mixed approach has better results.
/presentations/Functional-Architecture/en/smallimage/Tre.JPG)
-
Going for Speed: Testing Against Performance Expectations
Jay Harris offers tips on using unit testing to improve the performance of applications.
/presentations/Unit-Test-Performance/en/smallimage/Jay.JPG)