eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingJakie typowanie jest najlepsze i dlaczego statyczne?Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
  • Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
    atman.pl!news.chmurka.net!.POSTED!not-for-mail
    From: Andrzej Jarzabek <a...@g...com>
    Newsgroups: pl.comp.programming
    Subject: Re: Jakie typowanie jest najlepsze i dlaczego statyczne?
    Date: Tue, 12 Feb 2013 01:09:20 +0000
    Organization: news.chmurka.net
    Lines: 31
    Message-ID: <kfc4o1$okc$1@somewhere.invalid>
    References: <f...@g...com>
    <keun5d$lsh$1@somewhere.invalid>
    <f...@g...com>
    <keuri4$nje$1@somewhere.invalid>
    <1...@g...com>
    <keuusd$ovj$1@somewhere.invalid>
    <7...@g...com>
    <kf1b5r$cvj$1@somewhere.invalid>
    <51152b96$0$1306$65785112@news.neostrada.pl>
    <3...@x...googlegroups.com>
    <4...@g...com>
    <kf61vl$fh0$1@somewhere.invalid>
    <c...@g...com>
    <kf8mrj$piq$1@somewhere.invalid>
    <3...@g...com>
    <kf9c7i$61o$1@somewhere.invalid>
    <8...@g...com>
    <3...@g...com>
    <kfbuid$m15$1@somewhere.invalid>
    <7...@g...com>
    NNTP-Posting-Host: 5ac53cfe.bb.sky.com
    Mime-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2; format=flowed
    Content-Transfer-Encoding: 8bit
    X-Trace: somewhere.invalid 1360631361 25228 90.197.60.254 (12 Feb 2013 01:09:21 GMT)
    X-Complaints-To: abuse-news.(at).chmurka.net
    NNTP-Posting-Date: Tue, 12 Feb 2013 01:09:21 +0000 (UTC)
    User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130107
    Thunderbird/17.0.2
    In-Reply-To: <7...@g...com>
    X-Authenticated-User: ajarzabek
    Xref: news-archive.icm.edu.pl pl.comp.programming:202021
    [ ukryj 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.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: