-
Data: 2013-01-30 19:58:00
Temat: Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
Od: Andrzej Jarzabek <a...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 30/01/2013 09:12, Maciej Sobczak wrote:
> W dniu wtorek, 29 stycznia 2013 19:41:34 UTC+1 użytkownik Andrzej Jarzabek napisał:
>
>> I co potem, policzysz checkboksy?
>
> Niezależnie od wybranej metody, coś będzie trzeba policzyć. :-)
No chyba że metoda jest "po uważaniu".
>> Poza tym kto ma decydować, które cechy
>> dokładnie się znajdą na tej liście, a które nie?
>
> Może ci sami goście, którzy potem będą tego języka używać?
Są dwa problemy. Pierwszy teoretyczny: skoro nie wiadomo jaki język
zostanie wybrany, to nie wiadomo, kto będzie go używać. Bo np. w
zależności od wybranego języka będzie go używać ten, co go zna.
W praktyce oczywiście często jest tak, że najpierw są ludzie, a potem
jest projekt - np. dany program zaczyna tworzyć firma, która wcześniej
istniała i kogoś tam zatrudnia. Ale w związku z tym pojawia się
praktyczny problem taki, że ci ludzie i tak wybiorą to, co znają i czego
używa się w firmie, i cała zabawa z chekboxami nie ma zabawy, bo zawsze
da się wybrać takie, żeby wygrało to, co ma wygrać.
> Coś jak z wyborem samochodu na flotę firmową - siadamy, piszemy wymagania,
> rozglądamy się po rynku, liczymy checkboksy.
Nieco chybiona analogia, bo jak ktoś potrafi prowadzić jeden samochód,
to potrafi prowadzić każdy samochód.
>>> Takie porównania były robione i regularnie są robione chociażby przez branżę
safety-critical.
>> Masz gdzieś przykład?
>
> Hasła do gugla: language assessment for safety critical
>
> Całkiem ciekawe rzeczy wyskakują już na pierwszej stronie.
Ostrożnie z takimi radami, bo każdy żyje w swojej guglowej bańce i każdy
widzi co innego jak wpisze.
Mnie na przykład na to hasło nie dało na pierwszej stronie żadnych
linków o porównywaniu języków, czy to checkboxamiczy inaczej (z
wyjątkiem jakiegoś jednego artykułu za paywallem), natomiast grzebiąc
znalazłem coś takiego:
http://grouper.ieee.org/groups/plv/HISTORICAL-LINKS/
Derek%20Reinhardt%20MSc%20SCSE%20Thesis%20%28Release
%20Version%29.pdf
Ten schemat GSN jest od biedy jakimś odpowiednikiem checkboxów, ale jak
się popatrzy na opis GSN pod
http://www.goalstructuringnotation.info/documents/GS
N_Standard.pdf, to
można znaleźć takie zdanie:
"0.4.12 It is important to recognise that GSN simply provides a means of
documenting an asserted argument. The use of GSN itself does not
establish the truth of that argument."
I tyle na ten temat.
>>> Hint: Java jest na rynku od +15 lat. Żaden system sterowania czymkolwiek istotnym
(samoloty?
>>> pociągi?) nie został napisany w Javie, natomiast w C++ owszem.
>>
>> Java się nie nadaje do systemów czasu rzeczywistego, natomiast C++
>> owszem.
>
> Dlaczego i dlaczego? I to są właśnie te checkboksy. Określamy wymagania i wybieramy
z dostępnych możliwości.
Real time i safety critical to nie to samo. Kodeki video i gry FPS też
się pisze w C++, chociaż nie są safety critical. Nie wiem czy istnieją
systemy safety critical, które nie są systemami czasu rzeczywistego,
teoretycznie jestem sobie w stanie to wyobrazić (jakieś obliczenia
inżynieryjne?), ale w praktyce nie wiem jak jest.
>> W żaden sposób nie rzutuje to na łatwość popełniania błędów
>
> Ale rzutuje na możliwość efektywnego zrealizowania projektu.
Wiele rzeczy może na to wpływać (np. to, czy się akurat zatrudnia ludzi
znających dany język), ale nijak ma się to do tematu "czy w jednych
językach popełnia się więcej błędów niż w innych".
> Poza tym, w takich dyskusjach zwykle pada argument (aż dziw, że nie padł)
> o RT Java. Podobno problem nienadawania się tam znika, ale o faktycznie
> zrealizowanych systemach nie słyszałem.
Nie znam, to się nie wypowiadam.
Następne wpisy z tego wątku
- 31.01.13 00:14 M.M.
- 31.01.13 10:14 Maciej Sobczak
- 31.01.13 21:29 Marek Borowski
- 01.02.13 09:47 Maciej Sobczak
- 01.02.13 11:50 M.M.
- 01.02.13 14:17 Bastion
- 01.02.13 22:59 Andrzej Jarzabek
- 01.02.13 23:38 Andrzej Jarzabek
- 02.02.13 22:42 Maciej Sobczak
- 02.02.13 23:11 Maciej Sobczak
- 03.02.13 10:17 M.M.
- 03.02.13 13:00 AK
- 03.02.13 17:07 Andrzej Jarzabek
- 03.02.13 17:24 Andrzej Jarzabek
- 04.02.13 10:40 Maciej Sobczak
Najnowsze wątki z tej grupy
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
Najnowsze wątki
- 2025-06-02 Na szybciej stacji ładowania
- 2025-06-02 Warszawa => International Freight Forwarder <=
- 2025-06-02 Bieruń => Spedytor Międzynarodowy (handel ładunkami/prowadzenie flo
- 2025-06-02 Polska => Senior Key Account Manager <=
- 2025-06-02 Wrocław => Konsultant wdrożeniowy (systemy controlingowe) <=
- 2025-06-01 jaki kretyn boziu uśpić :)
- 2025-06-01 Zdolny to legalnego prowadzenia samochodu w Anglii wykluczony z komisji wyborczej w Białymstoku
- 2025-06-01 nie ustąpiła moturowi?
- 2025-05-31 Skoro jest tak dobrze i TANIO to dlaczego jeszcze nie jeździmy na takich akumulatorach?
- 2025-05-31 Warszawa => IT Data Analyst (obszar Power BI) <=
- 2025-05-31 Warszawa => IT Hardware Specialist - Wsparcie i Konfiguracja <=
- 2025-05-31 Środa Wielkopolska => Konsultant wewnętrzny SAP FI/CO <=
- 2025-05-31 Gdańsk => PHP Developer <=
- 2025-05-31 Lublin => Delphi Programmer <=
- 2025-05-31 co to za obcęgi? [OT]