Silne pisanie



Informacje, które udało nam się zgromadzić na temat Silne pisanie, zostały starannie sprawdzone i uporządkowane, aby były jak najbardziej przydatne. Prawdopodobnie trafiłeś tutaj, aby dowiedzieć się więcej na temat Silne pisanie. W Internecie łatwo zgubić się w gąszczu stron, które mówią o Silne pisanie, a jednocześnie nie podają tego, co chcemy wiedzieć o Silne pisanie. Mamy nadzieję, że dasz nam znać w komentarzach, czy podoba Ci się to, co przeczytałeś o Silne pisanie poniżej. Jeśli informacje o Silne pisanie, które podajemy, nie są tym, czego szukałeś, daj nam znać, abyśmy mogli codziennie ulepszać tę stronę.

.

W informatyce , wykorzystujc jzyk programowania, mówi si, e silnie wpisany kiedy gwarantuje, e typy danych stosowane prawidowo opisuj dane obsugiwane. W przeciwiestwie do tego, jzyk bez silnego typowania moe by napisany sabo lub wcale (ale w praktyce nigdy tak nie jest).

Od czasu jego wynalezienia termin silne typowanie by uywany w wielu sprzecznych znaczeniach, przez co sta si prawie bezsensowny. Ponisza lista zawiera kilka moliwych stwierdze dotyczcych silnego typowania wraz z przykadami silnie typizowanych jzyków, które speniaj to kryterium.

Zasady i Warunki

Dosy trudno jest poda dokadn definicj silnego typowania. Jzyk jest silnie wpisany, jeli:

  1. Kompilacja lub wykonanie moe wykry bdy w pisowni. W przeciwnym razie mówi si, e jzyk jest sabo napisany;
  2. Niejawne konwersje typów s surowo zabronione. Jeli takie konwersje s moliwe, jzyk jest sabo napisany. Przykady speniajce to kryterium: OCaml , Haskell , PureScript .

Dziki temu ostatniemu podejciu moglibymy na przykad uzyska nastpujc klasyfikacj:

Pisanie na maszynie Silny Niska
Statyczny Ada , Java , Pascal , a nawet Visual Basic z opcj Explicit Jzyk C  : krótkie dodawanie (int x, int y) {powrót x + y; }

C++  : Osoba p; p<13;

Dynamiczny Rubin , Python JavaScript  : 2 + 4 24

(W przykadzie JavaScript niejednoznaczno wynika z faktu, e ten sam symbol, + , jest uywany do reprezentowania zarówno konkatenacji, jak i dodawania , w zalenoci od kontekstu).

(W przykadzie C++ kompilator wywoa niejawnie konstruktor Person (int) i <operator, aby dokona porównania. Pozwala to na przykad wiedzie, czy wiek osoby jest mniejszy ni 13.)


Tak wic ekspert od jzyków programowania mówi:

Spdziem kilka tygodni, próbujc wyjani terminologie 'mocno wpisane', 'statycznie wpisane', 'bezpieczne' itp., i okazao si to niezwykle trudne... Uycie tych terminów jest tak rónorodne, e prawie bezuyteczny. "

Benjamin C. Pierce  (en)

Zobacz równie

Mamy nadzieję, że informacje, które zgromadziliśmy na temat Silne pisanie, były dla Ciebie przydatne. Jeśli tak, nie zapomnij polecić nas swoim przyjaciołom i rodzinie oraz pamiętaj, że zawsze możesz się z nami skontaktować, jeśli będziesz nas potrzebować. Jeśli mimo naszych starań uznasz, że informacje podane na temat _title nie są całkowicie poprawne lub że powinniśmy coś dodać lub poprawić, będziemy wdzięczni za poinformowanie nas o tym. Dostarczanie najlepszych i najbardziej wyczerpujących informacji na temat Silne pisanie i każdego innego tematu jest istotą tej strony internetowej; kierujemy się tym samym duchem, który inspirował twórców Encyclopedia Project, i z tego powodu mamy nadzieję, że to, co znalazłeś o Silne pisanie na tej stronie pomogło Ci poszerzyć swoją wiedzę.

Opiniones de nuestros usuarios

Mirka Lech

Zawsze dobrze jest się uczyć. Dziękuję za artykuł o zmiennej Silne pisanie

Ania Chmiel

Dla takich jak ja szukających informacji na temat Silne pisanie, jest to bardzo dobra opcja.

Wlodzimierz Konieczny

Język wygląda na stary, ale informacje są wiarygodne i ogólnie wszystko, co napisano o Silne pisanie, daje dużo pewności.

David Nowak

Artykuł o Silne pisanie jest kompletny i dobrze wyjaśniony. Nie dodawałbym ani nie usuwał przecinka.