Język do łatwego tworzenia systemów operacyjnych

Kilka konretów

Wykopowicze narzekają, że brak konkretów. Odpowiadam:

1. Brak konkretów z tego względu, że 6-miesięczny etap ma na celu głównie zaprojektowanie języka i szybkie stworzenie prototypu przy użyciu bisona, fleksa i llvm. Dopiero potem można szukać wsparcia w open source community.
Co do kwoty. Jasne, świeżo zatrudniony programista zarabia więcej, ale przecież nie w tym rzecz. W ilu firmach w Polsce istnieje dział R&D gotowy zapłacić za research w tym kierunku?

2. Kilka konkretów.
Silne typy (równość typów jak w Adzie, czyli wg nazwy, nie struktury), bloki w klamrach jak w C, składnia raczej niezbyt verbose.
Duży nacisk na modularność.
Obiektowość z dziedziczeniem (jedna klasa bazowa, mnogość interfejsów), polimorfizm.
Wsparcie składni dla wzorców: iteratora, visitora, observera, itp.
Świadomość działania w kernel space, tj. wsparcie dla takich rzeczy jak przerwania.
SMP, wsparcie języka dla wątków jądra i jak najbardziej przezroczystej synchronizacji.
Aby parę rzeczy zrealizować, język będzie udostępniał łatwy interfejs do własnoręcznego pisania runtime'u, tj. np. alokacja będzie konstrukcją języka, do której łatwo będzie się podpinało konkretną implementację. Podobnie scheduling wątków, etc.

No i duża biblioteka powtarzających się komponentów, czyli algorytmy alokacji, schedulery, modele procesów, przestrzeni adresowej, itd.