Главная
Study mode:
on
1
Introduction
2
Outline
3
Open Design
4
Type Equality
5
Types
6
Rewrite Rules
7
Swift
8
Rust
9
Carbon
10
modal constraints
11
implicit conversion
12
summary
13
always terminate
14
ignore
15
recursion limit
16
recursion limits
17
disallow recursion
18
use cases
19
refinement
20
strictly more complex
21
Proof
22
Possible Improvements
23
Conclusion
24
Coherence
25
Trait Coherence
26
Decoder Ring
27
retroactive conformance
28
glue code
29
subtle bugs
30
similar disconnect
31
Swift regret
32
No retroactive performance
33
Coherent
34
ORF
35
Overlap Rule
36
Example
37
Orphan Rules
38
Root Cause
39
Rebalancing Coherence
40
Adapter
41
Other Questions
42
Conversion
43
Specialization
Description:
Explore definition-checked generic programming in this two-part conference talk from CppNow 2023. Dive into the advantages of checked generics over C++20 templates and concepts, examining approaches from C++0x, Swift, Rust, and Carbon. Investigate challenging aspects of implementing definition-checked generics in C++-like languages, including undecidability and non-termination issues. Learn from industry experts Chandler Carruth, Josh Levenberg, and Richard Smith as they discuss their work on the Carbon language project and propose solutions to key problems in generic programming systems.

Definition-Checked Generics - Part 2 - The Why and How

CppNow
Add to list
#Conference Talks #C++Now #Programming #Programming Languages #Swift #Rust #Generic Programming
0:00 / 0:00
1 of 43

Introduction