> A non-null fin reference will transpile to a C99 pointer. The non-null aspect is for fin code. Why not use the foo[static 1] trick, it's literally a standard

> A non-null fin reference will transpile to a C99 pointer. The non-null aspect is for fin code. Why not use the foo[static 1] trick, it's literally a standard non null pointer (and many C compilers issue diagnostics when someone tries to pass null)? > Yep. Assuming you mean something like this: > >```c int someArraySize; int myArray[someArraySize]; ``` Yes, this covers my question. Basically, guidelines like CERT require the use of them in function signatures (unless someone uses MSVC) to clarify intent. Also it helps static analyzers detect erroneous buffer management. > I definitely want to support static_assert. constexpr like functionality will eventually be supported. Awesome! > I had forgotten about _Generic! Do you actually use it in production code? I've never really seen it in the wild outside of experiments. Yes, it is used in professional code, though not for function overloading most of the times. Basically it can be used to implement type traits similar to those in C++, detect if an integer type will promote to int (especially useful for uint16_t), create compile time if, implement a type safe lengthof macro, etc. All in all it's a tool that helps with type safety. I'm pretty sure that it's used in the Linux kernel these days. > Great question. I'll be following how C# does it for the most part. Specifically when comparing a int and uint, both will be first promoted to the next largest type automatically instead of int being treated as unsigned which is a common mistake. Ok, that makes sense > Really great question! We can support them, but I'd like to provide better portable serialization. Something like Many times I have wondered why serialization is not supported as a first class citizen in low level languages, especially when it's something that is done all the time in embedded. Though be aware, unions for other uses of type punning, like accessing the storage of a float as a uint32_t (after asserting that they are of the same size of course) to work with the format itself. This is useful for some numerical algorithms, like scaling.