Skip to content

Issues: Centril/rfc-effects

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

14 Open 0 Closed
14 Open 0 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ABI
#14 opened Oct 31, 2019 by gnzlbg
Panic
#13 opened Sep 7, 2019 by gnzlbg
1
Paper: Recovering Purity with Comonads and Capabilities
#12 opened Jul 15, 2019 by glaebhoerl
Functions that do not own types implementing Drop drop ffi unsafe
#11 opened Jun 25, 2019 by gnzlbg
Target Feature: target_feature 1.1 rfc target_feature
#10 opened Apr 10, 2018 by Centril
1
Paper: Do be do be do (Frank) algebraic paper
#9 opened Apr 5, 2018 by Centril
RFC: Overconstraining and omitting unsafe in impls of unsafe trait methods rfc unsafe
#8 opened Apr 3, 2018 by Centril
RFC: Const bounds & methods const rfc
#7 opened Apr 3, 2018 by Centril
1
Internals: [Pre-RFC] Another take at clarifying unsafe semantics internals unsafe
#6 opened Apr 3, 2018 by Centril
Internals: What does unsafe mean? internals unsafe
#5 opened Apr 3, 2018 by Centril
Internals: Start of an effects system (for async etc) internals
#4 opened Apr 3, 2018 by Centril
Paper: Polymorphic effect systems (POPL 1988) paper
#3 opened Apr 3, 2018 by Centril
Paper: 1ML with Special Effects, F-ing Generativity Polymorphism paper
#2 opened Apr 3, 2018 by Centril
Paper: Programming and Reasoning with Algebraic Effects and Dependent Types algebraic edsl paper
#1 opened Apr 3, 2018 by Centril
ProTip! Mix and match filters to narrow down what you’re looking for.