Skeleton Document for Profiles

1 Meta-introduction

This paper has the skeleton structure for the merged Profiles document that SG23 intends to create. It contains mostly empty sections, devoid of any content, such that this other content can be added by other papers in discussion.

2 Introduction

Profiles are the incremental approach to making code provide more safety guarantees, beyond what can be accomplished by modifying the base language.

2.1 Revision history

3 General chapters

These chapters contain information that's common between all profiles, such as the way they interact, how rules are defined, what syntax is used for removing a type under a profile, how to activate them etc.

3.1 Glossary

The glossary contains all words of power as used in this document. The goal is to make sure we all mean the same thing when we use one of them.

3.2 Profile rules

3.2.1 What profiles can do

3.2.2 Active vs inactive profiles

3.2.3 Composing profiles

3.2.4 Activating and suppressing profiles

3.2.5 Profile-removing language rules, types, and functions

3.2.6 Supersetting

3.2.7 Runtime checks

3.3 Wording

4 Specific profiles

4.1 Profile 1: TBD

4.1.1 Wording