Safe Mutation in Scala

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Functional Programming: Concepts and Implementation

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

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Practical Engineering 1: Signal Processing

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

Monads: Concepts and Applications

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

Loops: Control Statements and Functions

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

Blocks and Lexical Scopes

Explores nested functions, blocks, visibility rules, and lexical scoping in Scala.

Arrays: Declaration, Access, Initialization

Covers the basics of arrays in C, including declaration, access, and initialization.

Functional Data Structures: Collections and Operations

Covers functional data structures and their relationships, implementations, and efficiency.

Arrays: Declaration in Java

Covers the declaration and initialization of arrays in Java, including syntax rules and techniques for initializing elements.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Functions in C++: Basics and Recursion

Covers the basics of functions in C++, including recursion and memory organization.

Parallel Scan Left

Introduces parallel scan left in Scala, covering its properties, sequential solutions, and efficient parallel computation techniques.

Functional Programming: Concepts and History

Explores imperative programming limitations, theories without mutation, functional programming principles, and the history of functional languages.

Tail Recursion

Covers tail recursion, optimizing functions in Scala for iterative processes and providing examples like tail-recursive factorial.

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Class hierarchies: pattern matching

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

Two-Phase Construction: Arrays & Hash Tables

Explains two-phase construction for arrays, hash tables, and search trees in parallel.

Encoding Recursion as Self-Application

Explores lambda calculus, higher-order functions, and recursive function encoding.

Programming for Engineers: LabVIEW Essentials Log in to Mediaspace to watch this video

Introduces LabVIEW essentials for engineers, covering loops, structures, dataflow, error handling, clusters, strings, and graph customization.

Java Programming: Strings and Arrays Log in to Mediaspace to watch this video

Covers fundamental programming and object-oriented programming concepts in Java, including variables, types, control structures, and basic algorithmic concepts.

Page 1 of 2