Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

F Sharp (programming language)

Related lectures (18)

Introduction to VPL Standard Mode MOOC: The Thymio robot as a tool for discovering digital science

Introduces students to the standard mode of VPL.

Programming with VPL: Thymio Robot MOOC: The Thymio robot as a tool for discovering digital science

Covers programming the Thymio robot using Visual Programming Language.

Programming Thymio with VPL MOOC: The Thymio robot as a tool for discovering digital science

Covers programming the Thymio robot with VPL, including basic behaviors and sensor functionalities.

Type-Directed Programming: Using Clauses

Covers using clauses, context bounds, given instances, and implicit parameter resolution in Scala.

Programming Thymio with VPL MOOC: The Thymio robot as a tool for discovering digital science

Explores using VPL to program Thymio robots and addresses students' and teachers' challenges in programming.

Common Sequences Operations

Covers common operations on sequences like lists and tuples, including slicing, extending, and replacing elements.

Python Scripting Basics

Covers Python scripting basics, variable types, arithmetic operations, and running scripts in the terminal.

Conditions and Loops: Basics of Programming

Covers the basics of programming, including types, variables, methods, functions, conditions, loops, and boolean logic.

Contextual Abstraction

Explores contextual abstraction in software construction, discussing how functions and classes can be written without detailed knowledge of the context in which they will be used.

Monads: Concepts and Applications

Explores monads, their laws, Scala implementation, and practical applications in functional programming.

Intraday Data Analysis

Covers intraday data analysis, systematic studies, debugging, multicore computing, GPU programming, and correlation computation with GPUs.

Python Programming Basics

Introduces Python programming basics, covering variables, methods, conditions, loops, and boolean logic.

String Formatting in Python

Introduces string formatting in Python, covering f-strings, precision, alignment, and common formatting types.

Type Checking and Reconstruction: Equations and Unification

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Code Generation Lab

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.

Asynchrony: Concepts and Implementations Log in to Mediaspace to watch this video

Covers the concepts and implementations of asynchrony, including synchronous and asynchronous code, OS threads, and writing asynchronous code in Java.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Method Dispatch Optimization Log in to Mediaspace to watch this video

Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.