-
Data: 2013-02-12 02:09:20
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 12/02/2013 00:15, M.M. wrote:
> W dniu wtorek, 12 lutego 2013 00:23:54 UTC+1 użytkownik Andrzej Jarzabek napisał:
>> On 11/02/2013 16:24, M.M. wrote:
>
>>> o użyciu takiego lubi innego typowania. Wygląda na to że różnica w
>>> korzyściach pomiędzy jednym typowaniem a drugim nie jest taka duża, jak
>>> pomiędzy asemblerem a językiem wysokiego poziomu.
>> A ktoś twierdził, że jest?
> Było porównanie do że jak ktoś używa kart dziurkowanych to mu
> nawet kod maszynowy niepotrzebny.
Mniemoniki asemblerowe przecież. Poza tym chodziło o first class
functions, a nie o dynamiczne typowanie. Poza tym się nie zrozumieliśmy
- nie chodziło mi, że różnica między czymśtam a czymśtam jest jak między
dziurkowaniem kart a czymśtam, tylko o sensowność argumentu "ja nie
potrzebuję, więc jest to bezużyteczne".
>> On działa w obydwie strony, bo jeśli logika jest OK, tylko hierarchia
>> typów błędnie mapuje dziedzinę, to też masz błędy kompilatora.
> Za duże skróty myślowe, nie rozumiem.
Dziedzina to jest to, czego dotyczy program - sterowanie samolotem,
spedycja międzynarodowa, strzelanka FPS, co tam jeszcze. Mapowanie
dziedziny na system typów - stworzenie typów dla pojęć z dziedziny
(kontrahent, transakcja, statecznik poziomy, przeciwnik) i uwzględnienie
relacji - IsA, HasA, 1 do 1, 1 do wielu itd. Mając prawidłową logikę
programu (algorytmy) i błędnie zamapowane typy możesz mieć błędy
kompilacji. Powiedzmy, prawidłowy algorytm ustawia i odczytuje walutę
transakcji i twój program właśnie to robi, ale ponieważ masz błednie
zdefiniowany typ transakcji, to kod się nie kompiluje, bo typ nie ma
takiej właściwości.
Następne wpisy z tego wątku
- 12.02.13 08:41 Adam Wysocki
- 12.02.13 10:10 AK
- 12.02.13 10:19 Maciej Sobczak
- 12.02.13 20:14 Andrzej Jarzabek
- 12.02.13 22:28 Andrzej Jarzabek
- 12.02.13 22:42 M.M.
- 12.02.13 23:27 AK
- 12.02.13 23:32 AK
- 13.02.13 00:25 M.M.
- 13.02.13 01:02 Roman W
- 13.02.13 01:03 Roman W
- 13.02.13 05:37 Andrzej Jarzabek
- 13.02.13 06:31 Andrzej Jarzabek
- 13.02.13 07:11 Roman W
- 13.02.13 09:09 Adam Wysocki
Najnowsze wątki z tej grupy
- 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
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-02-15 Łódź => NodeJS Developer <=
- 2025-02-15 Dęblin => Node.js / Fullstack Developer <=
- 2025-02-15 Warszawa => Developer .NET (mid) <=
- 2025-02-15 Wrocław => Senior SAP Support Consultant (SD) <=
- 2025-02-14 Zdalne załączanie grzałki bojlera elektrycznego
- 2025-02-14 Warszawa => Kierownik ds. kluczowych Klientów <=
- 2025-02-14 Częstochowa => Product Manager - Systemy infrastruktury teleinformaty
- 2025-02-14 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-02-14 Warszawa => Data Engineer (Tech Leader) <=
- 2025-02-14 Czy ma sens grupa news:pl.soc.polityka-prawna ? :-)
- 2025-02-14 e-paper
- 2025-02-14 Gliwice => Business Development Manager - Network and Network Security
- 2025-02-14 Warszawa => System Architect (Java background) <=
- 2025-02-14 Katowice => Senior Field Sales (system ERP) <=
- 2025-02-14 Wrocław => Specjalista ds. Sprzedaży (transport drogowy) <=