-
Data: 2018-11-21 22:28:04
Temat: Re: Niezmienniki pętli
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]> Nie wiem, czy to wyczerpuje temat, ale na pewno jest
> przykładem czegoś, co zwiększa ilość rzeczy, które możemy
> statycznie powiedzieć o naszym programie.
Zwiększa względem czego?
Względem w ogóle braku takich mechizmów? Tak. Jest to postęp.
Względem pre- i post-conditions? Nie widzę tego.
Mam wrażenie, że języki funkcjonalne za bardzo fiksują się na pojęciu typu. O ile typ
nadaje się do opisania dozwolonych stanów, to nie za bardzo nadaje się do opisania
przejść między stanami.
> Jest też język ATS (trochę protoplasta Rusta), który
> ma system "typów liniowych" służących do wyrażania twierdzeń
> o poprawności korzystania z zasobów. Ale wydaje się raczej
> trudny do używania:
Skoro jest trudny, to tym bardziej nie ma szans na rynkową akceptację.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 21.11.18 22:48 Maciej Sobczak
- 21.11.18 23:04 g...@g...com
- 22.11.18 11:31 Maciej Sobczak
- 22.11.18 15:22 fir
- 22.11.18 16:08 AK
- 22.11.18 18:50 Sebastian Biały
- 22.11.18 18:53 Sebastian Biały
- 22.11.18 22:53 Wojciech Muła
- 22.11.18 23:25 AK
- 23.11.18 00:41 AK
- 23.11.18 00:43 AK
- 23.11.18 07:33 s...@g...com
- 23.11.18 08:00 Wojciech Muła
- 23.11.18 10:34 AK
- 23.11.18 10:38 AK
Najnowsze wątki z tej grupy
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
Najnowsze wątki
- 2025-03-18 Tesla na złom
- 2025-03-18 Ziobrotura 3.0 będzie w prawie przesłuchać "świadka" Tuska bez adwokata w sprawach Sienkiewicza/Bodnara/...?
- 2025-03-18 Produkty ,,Made in Germany" wciąż na topie - art. na www.dw.com
- 2025-03-18 ulaskawienia
- 2025-03-18 Gdynia => Sales Executive / KAM <=
- 2025-03-18 42 MILIARDY ZŁOTYCH ZYSKU W ROK. DLACZEGO BANKI TYLE ZARABIAJĄ W POLSCE?
- 2025-03-17 Nie matura lecz chęć szczera ...
- 2025-03-17 Pendrive zdycha, czy coś jeszcze innego? Problem z plikami.
- 2025-03-17 Odkurzacz Smapp Dynamic - dawny Zelmer
- 2025-03-17 Nagra IV i zewnętrzny pilot
- 2025-03-17 Rzeszów => Spedytor Międzynarodowy <=
- 2025-03-17 Warszawa => Junior Account Manager <=
- 2025-03-17 Białystok => Gen AI Engineer <=
- 2025-03-17 Białystok => Generative AI Engineer <=
- 2025-03-17 Częstochowa => Backend Developer (Node + Java) <=