issues
search
Centril
/
rfc-effects
Preparing an RFC on effect polymorphism in Rust with focus on 'const'
10
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ABI
#14
gnzlbg
opened
4 years ago
0
Panic
#13
gnzlbg
opened
5 years ago
1
Paper: Recovering Purity with Comonads and Capabilities
#12
glaebhoerl
opened
5 years ago
0
Functions that do not own types implementing Drop
#11
gnzlbg
opened
5 years ago
0
Target Feature: target_feature 1.1
#10
Centril
opened
6 years ago
1
Paper: Do be do be do (Frank)
#9
Centril
opened
6 years ago
0
RFC: Overconstraining and omitting `unsafe` in impls of `unsafe` trait methods
#8
Centril
opened
6 years ago
0
RFC: Const bounds & methods
#7
Centril
opened
6 years ago
1
Internals: [Pre-RFC] Another take at clarifying `unsafe` semantics
#6
Centril
opened
6 years ago
0
Internals: What does unsafe mean?
#5
Centril
opened
6 years ago
0
Internals: Start of an effects system (for async etc)
#4
Centril
opened
6 years ago
0
Paper: Polymorphic effect systems (POPL 1988)
#3
Centril
opened
6 years ago
0
Paper: 1ML with Special Effects, F-ing Generativity Polymorphism
#2
Centril
opened
6 years ago
0
Paper: Programming and Reasoning with Algebraic Effects and Dependent Types
#1
Centril
opened
6 years ago
0