Главная
Study mode:
on
1
Intro
2
Outline
3
Syntax quibbles
4
Composing first-class actions
5
A research project that escaped the lab
6
Lessons transferred / cross fertilization
7
Today's main theme
8
Promises, promises, programmer promises
9
Custom computation types
10
Custom computation: Haxl Example
11
Haskell built-in computation types
12
The separate Kingdoms of the heap
13
Obsessive safety, trusted code boundaries
14
First, lock down main
15
Analyze Alias-freedom
16
PLDI' 14Preserve Alias-freedom
17
Noninterference
18
Haskell data pros & cons
Description:
Explore the intersection of Haskell and C++ in parallel programming through this conference talk from C++Now 2017. Delve into how limiting side effects can enhance parallel programming capabilities, examining various libraries across languages. Discover the role of Haskell's purely functional approach in practical programming and its impact on software verification. Learn about deterministic parallelism, transactional memory, and accessing remote data sources. Investigate the concept of purity in programming and how entire applications can become deterministic functions of their inputs. Gain insights into the mutual influence between C++ and Haskell, their evolution, and their strengths in data baking. Understand the speaker's background in functional programming and his work on increasing safety and parallel performance in high-level, declarative programs.

Haskell Taketh Away - Limiting Side Effects for Parallel Programming

CppNow
Add to list