Главная
Study mode:
on
1
Introduction
2
The problem
3
Software crisis
4
Symmetry
5
Comments
6
stratified languages
7
retaining properties
8
Why is it called Noether
9
What is Noether
10
Symmetry Parties
11
Structure
12
Safety
13
Honesty
14
Language properties
15
Performance
16
Parallelism
17
Explicit Parallelism
18
Local Mutual State
19
Failure Handling
20
Full State
21
Data Flow Concurrency
22
Message Passing Concurrency
23
Distributed Extension
Description:
Explore the concept of symmetry in programming language design through Daira Hopwood's conference talk at Strange Loop 2013. Delve into the experimental language Noether, which emphasizes symmetry to improve security, robustness, and efficiency in programming. Learn about its layered structure, object-capability security model, and support for various concurrency models. Discover how Noether incorporates transactional programming, distributed object models, and efficient failure handling. Gain insights into the language's implementation of parallelism, exception safety, and resource consumption control. Understand how symmetry properties facilitate program analysis and contribute to writing more secure and robust code. This 44-minute presentation offers a comprehensive overview of Noether's design principles, touching on both novel ideas and revisited concepts in programming language development.

Noether - Symmetry in Programming Language Design

Strange Loop Conference
Add to list
0:00 / 0:00