Zobrazit příspěvky
Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.
Ale ty testy musím napsat, že? A musím je napsat správně, že?
myslis nieco taketo?Smalltalk místo na typové kontroly vsadil na testy, které je mohou bez problémů nahradit. Typová kontrola je dnes už i v PHP v takové míře, která vývojářům vyhovuje. Tzn. že není vyžadována, ale je podporována.Tak ale testy ti neohalia fakt ze scitas jablka a hrusky, ak jablka a hrusky su odvodene od integer. Jedine ze by si si definoval operator ktory ti pri scitani typu jablka a typu hrusky, vratil typ malvice. Toto ti moze odhalit len prekladac.
Jak tedy C++ rozliší mezi jablky a hruškami, pokud jsou odvozeny od int? Zabrání jejich sečtení?Kód: [Vybrat]#include <iostream>
using namespace std;
typedef int apple;
typedef int pear;
int main() {
apple a1 = 10;
pear p1 = 20;
int n = a1 + p1;
cout << "Result : " << n << endl;
return 0;
}
ani len pri tom nezanadava. Typovo silny jazyk by ti vynadal ze nepozna operator scitania pre apple a pear...
Ako tento nedostatok jazyka zachranis testami?
v dynamickem jazyku ten kod spadne, pokud ho spustis
Což dokazuje co?
myslis nieco taketo?Smalltalk místo na typové kontroly vsadil na testy, které je mohou bez problémů nahradit. Typová kontrola je dnes už i v PHP v takové míře, která vývojářům vyhovuje. Tzn. že není vyžadována, ale je podporována.Tak ale testy ti neohalia fakt ze scitas jablka a hrusky, ak jablka a hrusky su odvodene od integer. Jedine ze by si si definoval operator ktory ti pri scitani typu jablka a typu hrusky, vratil typ malvice. Toto ti moze odhalit len prekladac.
Jak tedy C++ rozliší mezi jablky a hruškami, pokud jsou odvozeny od int? Zabrání jejich sečtení?Kód: [Vybrat]#include <iostream>
using namespace std;
typedef int apple;
typedef int pear;
int main() {
apple a1 = 10;
pear p1 = 20;
int n = a1 + p1;
cout << "Result : " << n << endl;
return 0;
}
ani len pri tom nezanadava. Typovo silny jazyk by ti vynadal ze nepozna operator scitania pre apple a pear...
Ako tento nedostatok jazyka zachranis testami?
pro ignoranty (BoneFlute, Death Walker), cely webovy framework postaveny nad pydanticem https://fastapi.tiangolo.com/ . Z otypovanych entit se generuje JSON schema validace a databazove modely.A na klientovi opises tu schemu do anotacii, tak to mas 3x... to je tak ked sa pouziva format pre serializaciu javascript objektov ako format pre prenos dat... este stastie ze k tomu nikoho nenapadlo pouzit pickle...
Takze ak sa zmeni schema pre tu api, tak prepisete naviac este anotacie... to je DRY?jde to jen v jazycich, ktere podporuji reflexi typovych anotaci za behu. Zrovna v ADE to asi nejde, ale s tim jste prisel vy, ja uvedl odkaz na konkretni knihovny v Pythonu a TypescriptNo vidite, uz ste skoro doma. Este si staci odpovedat ci ma lua reflexiu typovych anotacii za behu...
do vysledneho kodu v dynamickem jazyce jdou pridat typove anotace pomoci nejake dodatecne struktury s metadatay, tak jak to dela typescript kdyz kompiluje do es6
K comu, aby ten transpilovany javascrip overil ze sa typescript nezmylil. DONT REPEAT YOURSELF! Ak urobis typovu kontrolu v zdrojovom kode, tak je zbytocne ju replikovat v cielovom kode.
nekdy se hodi mit statickou kontrolu v kodu a dynamickou kontrolu v javascriptovem REPLu. uvedl jsem priklad typeORM
jeste jednou naposledy nekdy se to hodi. netvrdim ze vzdy.
je to DRY, prepisu POUZE anotace.
Podla schemy ktora to api definuje, takze duplicita.
Takze ak sa zmeni schema pre tu api, tak prepisete naviac este anotacie... to je DRY?jde to jen v jazycich, ktere podporuji reflexi typovych anotaci za behu. Zrovna v ADE to asi nejde, ale s tim jste prisel vy, ja uvedl odkaz na konkretni knihovny v Pythonu a TypescriptNo vidite, uz ste skoro doma. Este si staci odpovedat ci ma lua reflexiu typovych anotacii za behu...
do vysledneho kodu v dynamickem jazyce jdou pridat typove anotace pomoci nejake dodatecne struktury s metadatay, tak jak to dela typescript kdyz kompiluje do es6
K comu, aby ten transpilovany javascrip overil ze sa typescript nezmylil. DONT REPEAT YOURSELF! Ak urobis typovu kontrolu v zdrojovom kode, tak je zbytocne ju replikovat v cielovom kode.
nekdy se hodi mit statickou kontrolu v kodu a dynamickou kontrolu v javascriptovem REPLu. uvedl jsem priklad typeORM
jeste jednou naposledy nekdy se to hodi. netvrdim ze vzdy.
jde to jen v jazycich, ktere podporuji reflexi typovych anotaci za behu. Zrovna v ADE to asi nejde, ale s tim jste prisel vy, ja uvedl odkaz na konkretni knihovny v Pythonu a TypescriptNo vidite, uz ste skoro doma. Este si staci odpovedat ci ma lua reflexiu typovych anotacii za behu...
do vysledneho kodu v dynamickem jazyce jdou pridat typove anotace pomoci nejake dodatecne struktury s metadatay, tak jak to dela typescript kdyz kompiluje do es6
K comu, aby ten transpilovany javascrip overil ze sa typescript nezmylil. DONT REPEAT YOURSELF! Ak urobis typovu kontrolu v zdrojovom kode, tak je zbytocne ju replikovat v cielovom kode.
No, vy o koze ja o voze.
jde to jen v jazycich, ktere podporuji reflexi typovych anotaci za behu. Zrovna v ADE to asi nejde, ale s tim jste prisel vy, ja uvedl odkaz na konkretni knihovny v Pythonu a TypescriptNo vidite, uz ste skoro doma. Este si staci odpovedat ci ma lua reflexiu typovych anotacii za behu...
v pydanticu staci, kdyz konstruktor ciloveho typu akceptuje zdrojovy typ (vetsinou string). https://pydantic-docs.helpmanual.io/usage/models/#data-conversion
Njn, staticky typovany jazyk...
premenna do ktorej tu navratovu hodnotu ulozim musi byt rovnakeho typu, alebo musi byt definovany operator priradenia, alebo ju musim explicitne pretypovat...
Pripadne to urobim tak ze deklarujem triedu request ktora bude mat metodu getPercenta a vrati priamo ten typ Percenta, pripadne hodi vynimku ak vstup nebude validny. Takto v jednej triede popisem vstup podla kontraktu a v zbytku kodu uz budem pouzivat priamo percenta, bez zbytocnej typovej kontroly (tu urobi prekladac uz pri preklade) a bez zbytocnej kontroly pretecenia (implicitne priradenia ada nedovoli).
Deklaracia triedy request sa dobre anotuje (nie su v nej zalezitosti mimo ramec funkcnosti triedy). Naviac ten vysledny kod je rychly...
Mozem sice pouzitKód: [Vybrat]a napisat si super parser ktory mi deklaracie bude konvertovat napr. na regular ktory potom v runtime bude validovat hodnoty. Alebo budem odchytavat exceptions...subtype Percenta is Smallint range 0..100;
Když myslíš.Takhle to u typovaných jazyků nefunguje. Nech to bejt.
pokud typove informace zahodite pri kompilaci, nemuze to fungovat. Pokud je zachovate a umoznite jejich cteni v case behu, lze je vyuzit.
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.