"The Expression Problem is a new name for an old problem. The goal is to define a datatype by cases, where one can add new cases to the datatype and new functions over the datatype, without recompiling existing code, and while retaining static type
safety (e.g., no casts)." - Philip…
F# is Microsoft's first functional programming language to be included as one of Visual Studio's official set of languages. F# is a succinct, efficient, expressive functional/object-oriented programming language under joint development by Microsoft Developer Division and Microsoft Research.…
There are two STLs: the Standard Template Library and Stephan T. Lavavej Advanced STL covers the gory details of the STL's implementation -> you will therefore need to be versed in the basics of STL, competent in C++ (of course), and be able to pay attention! Stephan is a great teacher…
The great Yuri Gurevich is back!! Yuri is a logician, computer scientist, and inventor of abstract state machines. He currently works in Microsoft Research (he's a member of Wolfram Schulte's RiSE team). This is the third and final part in our introductory series of lectures exploring the…
In Chapter 12, Lazy Evaluation, Dr. Meijer takes us on a journey into the world of order of evaluation (when expressions are evaluated). In the case of lazy evaluation, computation is delayed until the result of the computation is known to be required. Most programming languages that most of…
Modern programming thrives on rich spaces of data, information and services. F# 3.0 brings integrated support for Information Rich Programming to the .NET platform. F# Type Providers and F# Queries greatly simplify data-rich analytical programming, allowing programmers to easily access and…
There are two STLs: the Standard Template Library and Stephan T. Lavavej Advanced STL covers the gory details of the STL's implementation -> you will therefore need to be versed in the basics of STL, competent in C++ (of course), and be able to pay attention! Stephan is a great teacher…
Welcome to another series of C9 Lectures covering
functional programming. For this series, Dr. Ralf Lämmel has generously taken the time to produce videos for Channel 9 from his office at the University
of Koblenz-Landau (Germany), where he is a professor of computer science. The idea…
Teaching programming language concepts with F#, part 1
By Peter Sestoft, Professor IT University of Copenhagen, Denmark.In this first part, Peter introduces the curriculum, lecture plan and lecture notes for the course "Programs as data" that uses the functional programming concepts in…
Join Lee Howes, a Senior SDE at ATI/AMD, as he gives you a deep dive into GPU accelerated physics. This lecture explains how DirectCompute can be employed to create solutions simulating physical systems such as fluid and cloth systems. It also covers how to employ some of the libraries…