IMHO, C's type system is quite orthogonal but is let down by the confusing declarator syntax. I designed my own experimental statically-typed language which bas

IMHO, C's type system is quite orthogonal but is let down by the confusing declarator syntax. I designed my own experimental statically-typed language which basically inherits the C type system, but uses a "human-oriented" declaration syntax: a: int; // int a p: ptr(int); // int *p q: ptr(ptr(long)); // long **q arr: int[20]; // int arr[20] arrp: ptr[20](int); // int *arrp[20] parr: ptr(int[20]); // int (*parr)[20] fp: fptr(a: int, b: int): long; // long (*fp)(int a, int b) https://github.com/bbu/quaint-lang https://github.com/bbu/quaint-lang