Looks like a mash-up between C and Rust, though with somewhat funky syntax. Still, C(++) with no preprocessor and non-nullable pointers is a huge improvement on it's own, but is that full-blown CTFE with first-class types I see? Hot damn. I could definitely see myself using that if it evolves further.