4 ms·
Have a look at ATS, it is memory-safe and designed for kernel development. There's a kernel and arduino examples. Fluent C interop. No tactics metaprogramming
by vmchale 2y ago
Have a look at ATS, it is memory-safe and designed for kernel development. There's a kernel and arduino examples. Fluent C interop.
No tactics metaprogramming but it'll give you a start.
- anqurvanillapy 2y agoOh I heard about it and oops just hate myself for forgetting it. And the first sentence [1] of its pointer type introduction, exactly says everything I said here... > [...] greatest motivation behind ATS is to make it employed to construct safe and reliable programs running in OS kernel. Also found this interesting Reddit thread [2]. Time to bring some old gems back with good ergonomics now, it won't be that hard. Hold my beer for a while. [1]: https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/c3321.html#views_for_pointers https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML... [2]: https://www.reddit.com/r/ProgrammingLanguages/comments/uacib8/why_is_ats_not_considered_in_the_design_of_modern/ https://www.reddit.com/r/ProgrammingLanguages/comments/uacib...