The Truth

Lisp (scheme, common lisp) and C is all you need.

Try to prove me wrong.

a nicer, more functional syntax than C

the algol-syntax feels weird in (semy)functional languages like rust, the worst is the implict return of the function

uniqueness typing

rust has uniqueness typing? I never heard of it but it does not look like something useful since it is not a pure language

no forced GC shit

if it works just like D then it is horrible

lifetimes static analysis

sorry, never heard of it