+1
Én egy olyan nyelvre vágynék, ami valahol a C és a Java között lenne, típus és túlcímzés biztos lenne alapból, statikusan fordítana (nincs JIT, vagy legalább elérhető opció az Ahead of Time fordítás), és lehet vele dinamikus foglalás nélkül is értelmes programokat írni.
Hab lenne a tortán, ha valahogy együtt tudna működni egy Garbage Collector és egy malloc-szerű foglalási mechanizmus, amik közül a programozó választhat, hogy az adott feladatra melyiket használja.
(De lehetne kikényszeríteni nem biztonságos kasztolást, meg túlcímzést is, ha arra van szükség - hasonlóan a Java Unsafe-hez)