On Wednesday, October 26, 2016 at 9:58:13 AM UTC+2, Sebastian Biały wrote:

> > "This demonstration shows an embedded Linux system booting in less than one
second."
>
> I pokazała rownież jak przez najbliższe miliard lat beda to weryfikować
> formalnie

Dalej nie rozumiesz. Albo trolujesz. W każdym razie mieszasz wątki.

Jeszcze raz:
Rynek dzieli się na dwie części:

1. rozrywkową - tam jest miejsce na Javę (lustro z prognozą pogody) oraz na
bootującego się w sekundę Linuksa do zmywarki. Tego się nie weryfikuje. To się, jak
to ostatnio słyszałem, "nak..wia kod" i sprzedaje. W tej działce nikogo nie
interesuje rozgrywka pomiędzy C i C++, nikt tego meczu nie będzie oglądał, bo nie ma
na to czasu. Wybór języka będzie kwestią preferencji zespołu, tak jak to się dzieje
na desktopach, gdzie każdy klepie w czym lubi a dyskusje pasjonują tylko flejmerów na
grupach dyskusyjnych.

2. krytyczną - tam się robi weryfikację na tak bolesnym poziomie, że zastosowanie
mają jedynie maksymalnie *uproszczone* języki imperatywne (MISRA-C, Ada), być może
uzupełnione o metody formalne (Frama-C, SPARK). W tej działce nikt nie będzie
ryzykował wprowadzenia C++, bo wartość dodana na poziomie składni języka nie jest
warta dodatkowej komplikacji po stronie narzędzi i ich ewentualnej kwalifikacji.

1.5. Istnieje jakaś przestrzeń na granicy tych światów, czyli coś, co już jest
twardym RT ale jeszcze nie zabija ludzi. Tam jest miejsce na C++ (nawet to
nowoczesne), bo środowiska zarządzane nie mają sensu a bolesnej weryfikacji wymaganej
przez regulacje branżowe jeszcze nie trzeba robić. Ale spokojnego snu bym się tu nie
spodziewał, bo presja techniczna jest z obu stron.

We wszystkich tych obszarach wchodzą (realnie) techniki generacji kodu, przy których
dyskusja o wyższości *składni* jednego języka nad drugim jest bezprzedmiotowa.

W skrócie: nie ma takiej przestrzeni w embedach, w której C++ byłby "niezagrożony",
"niezastąpiony", czy jeszcze niejakiś. Zwłaszcza, że i tak go w tej przestrzeni
jeszcze nie ma (!). W tym punkcie pozycja C++ jest gorsza, niż na desktopach, bo na
desktopach miał silną pozycję i został częściowo wyparty, a w embedach nawet nie
zaczął mieć silnej pozycji a konkurencję już ma.

Jeśli są jakieś nowe argumenty, chętnie się czegoś dowiem. Ale trolować mi się nie
chce.

--
Maciej Sobczak * http://www.inspirel.com