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

Lecture

Translation of for

Related lectures (39)

Combinatorial Search: For-Expressions

Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.

Data Wrangling with Hadoop

Covers data wrangling techniques using Hadoop, focusing on row versus column-oriented databases, popular storage formats, and HBase-Hive integration.

Parsing with Combinators

Explores parsing text into trees using parser combinators in Scala, covering filtering, transforming, sequencing, alternatives, recursion, spaces handling, lexing, monadic nature, and for-notation.

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Code Generation Lab

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

Combinatorial Search and For-Expressions

Explores combinatorial search and introduces for-expressions as a more intuitive way to manipulate lists in Scala.

Image Classification: Other Data Types

Covers image classification with different data inputs and outputs.

Loops: Control Statements and Functions

Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

The Label of Edges: Set

Explores edge labels, skills like aggregation and deduction, and the structure of contents.

Data Wrangling with Hive: Managing Big Data Efficiently

Covers data wrangling techniques using Apache Hive for efficient big data management.

Object-Oriented Parser Combinators

Covers object-oriented parser combinators in Scala for building parsers, including JSON parsing and testing.

Compiling with Branch Destination Parameters

Covers translating program fragments, switch statements, and break statements in programming languages.

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Queries with for

Explores the for notation for querying databases using examples with a mini-database of books.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Monotonicity and Semantics of Local Variables

Explores properties of relations, monotonicity, semantics of local variables, and translation in programs.

Python/NumPy Primer

Introduces Python basics and NumPy for scientific computing, covering data types, functions, arrays, indexing, and common operations.

Proteins: Central Dogma and Translation

Explains protein synthesis, translation, and the central dogma of molecular biology.

JSON Representation with Case Classes

Covers the representation of JSON data using case classes in Scala.