Tipi v programskih jezikih

jype je 27. jun 2014 ob 11:20 izjavil:

Da Python ne pozna tipov je podla laž. Tudi če bi nize primerjal v kateremkoli drugem jeziku, bi dobil enak rezultat.

jype je 27. jun 2014 ob 23:42 izjavil:

Tudi pri prvi nimaš pojma, kaj je karkoli:

it tni(it i, s2d s);

In Python 3.x the behaviour has been changed so that attempting to order an integer and a string will raise an error:

Ena pomembnejših je čas, ki ga porabi programer, da od sebe da karkoli uporabnega in pri tem začuda vodijo rešitve, ki ne utrujajo z eksplicitnim navajanjem tipov.

jype je 28. jun 2014 ob 11:38 izjavil:

AndrejO> Nekateri temu rečemo "nepotrebno podvajanje" in se raje zanašamo na računalnik, ki bo nepazljivega programerja opzoril na napako, kot pa na končnega uporabnika.

Nepotrebno podvajanje je navajanje tipov. Računalnik ve, katerega tipa so stvari, nobene potrebe ni, da mu bi programer to eksplicitno razlagal.

def less(a, b):
  """Funkcija deluje pravilno za celoštevilske podatke."""
  return a < b

jype je 28. jun 2014 ob 11:38 izjavil:

Nah, metrike, ki ti omogočajo rešitve primerjat med sabo, že dolgo poznamo. Ena pomembnejših je čas, ki ga porabi programer, da od sebe da karkoli uporabnega in pri tem začuda vodijo rešitve, ki ne utrujajo z eksplicitnim navajanjem tipov.

jype je 28. jun 2014 ob 11:50 izjavil:

V primeru avtorja teme je primerjal med seboj stringe, ne integerjev in stringov, tako da je zanj to nepomembno.

Utk je 28. jun 2014 ob 12:13 izjavil:

To je res, ni potrebe da bi programer računalniku razlagal, je pa potreba, da računalnik to razloži programerju. C# (pa še kdo) ima to lepo rešeno z var.

AndrejO je 28. jun 2014 ob 12:40 izjavil:

Utk je 28. jun 2014 ob 12:13 izjavil:

To je res, ni potrebe da bi programer računalniku razlagal, je pa potreba, da računalnik to razloži programerju. C# (pa še kdo) ima to lepo rešeno z var.

Ali pa C++1x z "auto". Ampak takoj, ko se začneš zanašati na ta pripomoček, se zabiješ v isto steno v katero se zabiješ s Python.

jype je 28. jun 2014 ob 13:02 izjavil:

AndrejO> hkrati pa ne spodbuja razmisleka o dejanskih procesih "pod havbo".
To očitno ni res, glede na to da je moral havbo odpret že pri praktično prvi nalogi.

jype je 28. jun 2014 ob 13:02 izjavil:

AndrejO> Vse so to orodja, ki hkrati pomagajo in škodijo.
Tudi statični tipi so orodje, ki hkrati pomaga in škodi.

for (std::map<std::string, std::list<std::string>>::const_iterator it = l.begin(); it != l.end(); ++it) {
  ...;
}

arjan_t je 28. jun 2014 ob 13:02 izjavil:

Ali pa mogoce pogledas kaksen jezik keterega type-system ni iz 80. let

jype je 28. jun 2014 ob 13:20 izjavil:

AndrejO> pristop, kot ga uporablja Go pa možen korak v prihodnje izboljšave.

Joj, Go je v tem pogledu super korak naprej, se strinjam, ampak na nekaterih področjih žal tudi super korak nazaj :(

let mut v = Vec::new();
v.push(1i); //aha, hoces Vec<int>

AndrejO je 28. jun 2014 ob 13:27 izjavil:

jype je 28. jun 2014 ob 13:20 izjavil:

AndrejO> pristop, kot ga uporablja Go pa možen korak v prihodnje izboljšave.

Joj, Go je v tem pogledu super korak naprej, se strinjam, ampak na nekaterih področjih žal tudi super korak nazaj :(

Uf, ja. Samo in zgolj na to sem mislil. Tudi Go ni odgovor na vse težave tega sveta in nekatere stvari so mi pri njegovi uporabi čisti facepalm.

AndrejO je 29. jun 2014 ob 04:08 izjavil:

Čez pol leta se vrneš in ugotoviš, da potrebuješ še F3(), zaradi česar moraš spremeniti VeryComplexContract. Prevajalnik je tisti, ki bo poskrbel za to, da bodo vsi uporabniki tvoje knjižnice pri naslednjem prevajanju prisiljeni implementirati F3(), kar je dobra stvar.