It would be nice to be able to compile all Xr0 code directly with a regular C co... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

throwawayk7h 10 months ago | parent | context | favorite | on: Xr0 Makes C Safer than Rust

It would be nice to be able to compile all Xr0 code directly with a regular C compiler though. It's more convenient than running it through a program, which is a bit of a headache sometimes.

For complicated annotations, instead of

  void foo(int* x) ~ [ free(x); ];

They could do:

   #include <xr0.h>
   void foo(int* x) XR0( free(x); );

Then this will compile in a standard C compiler (assuming the XR0 macro is defined properly in xr0.h)

akiarie 10 months ago [–]

It's one more step in the build process. Maybe one day we'll imitate Zig and let C compilers be called via Xr0 though.

It also buys as the possibility of beauty. Shoehorning the annotations we're introducing into the preprocessor leads to constructions that aren't nice.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact