3 ms·
As the proposal points out there are already a number of projects for adding an effect system to C. There are also other approaches to aid in correctness, from
by hgs3 2y ago
As the proposal points out there are already a number of projects for adding an effect system to C. There are also other approaches to aid in correctness, from formal methods to coding standards like MISRA. I think merging any approach into the C standard would be problematic because (1) it limits perceived choice by “blessing” one approach over others and (2) it standardizes an approach which history might prove to be flawed. I would encourage the authors to consider implementing their effect system as a separate tool and observe its practical reception.
- nxobject 2y agoIIRC, I think the standards committee does have “is it in a commercial implementation and has it been commonly used?” as a standard for evaluating features - although I’m not sure whether than refers to GNU C extensions (for example), or to ideas lifted from other manually managed languages like Rust etc. …although I’ll admit that didn’t quite feel the case for type generic macros.