Pse inteligjenca artificiale po i shtyn zhvilluesit drejt gjuhëve të tipizuara

Është një përrallë aq e vjetër sa koha: skedat kundrejt hapësirave, modaliteti i errët kundrejt modalitetit të çelët, gjuhët e shtypura kundrejt gjuhëve të pashtypura. E gjitha varet!

Por, ndërsa zhvilluesit përdorin mjete të IA-së, jo vetëm që po zgjedhin bibliotekat dhe gjuhët më të njohura (pra më të trajnuara në model), por po përdorin edhe mjete që zvogëlojnë rrezikun. Kur kodi nuk vjen vetëm nga zhvilluesit, por edhe nga mjetet e tyre të IA-së, besueshmëria bëhet një pjesë shumë më e madhe e ekuacionit.

Gjuhët dinamike si Python dhe JavaScript e bëjnë të lehtë lëvizjen e shpejtë gjatë ndërtimit, dhe zhvilluesit që mbështesin këto gjuhë kërkojnë shpejtësinë dhe fleksibilitetin që ato ofrojnë. Por kësaj shkathtësie i mungon rrjeta e sigurisë që merrni me gjuhët e shtypura.

Kodi i pashkruar nuk është zhdukur dhe mund të jetë ende i shkëlqyer. Personalisht, më pëlqen që mund të shkruaj kod dhe të mos përcaktoj çdo aspekt të diçkaje në projektin tim mesatar anësor. Por, kur nuk kontrollon çdo rresht kodi, gabimet delikate mund të kalojnë pa u kontrolluar. Atëherë koncepti i rrjetit të sigurisë të bazuar në lloje bëhet shumë më tërheqës dhe madje i nevojshëm. IA thjesht rrit vëllimin e “kodit që nuk e ke shkruar personalisht”, gjë që rrit rreziqet.

Sistemet e tipeve luajnë një rol unik në nxjerrjen në pah të logjikës së paqartë dhe mospërputhjeve të të dhënave hyrëse dhe dalëse të pritura. Ato sigurojnë që kodi nga çdo burim të jetë në përputhje me standardet e projektit. Ato në thelb janë bërë një kontratë e përbashkët midis zhvilluesve, kornizave dhe mjeteve të inteligjencës artificiale që po gjenerojnë gjithnjë e më shumë skela dhe modele standarde për zhvilluesit.

Me mjetet dhe agjentët e inteligjencës artificiale që prodhojnë vëllime më të mëdha kodi dhe veçorish se kurrë, është e kuptueshme që besueshmëria është më kritike. Dhe… këtu e fitojnë debatin gjuhët e tipizuara. Jo sepse gjuhët e pa tipizuara janë “të këqija”, por sepse llojet kapin të njëjtën klasë surprizash që kodi i gjeneruar nga inteligjenca artificiale ndonjëherë mund të sjellë.

Po!

Pyetja tjetër.

Por në fakt, një studim akademik i vitit 2025 zbuloi se plot 94% e gabimeve të përpilimit të gjeneruara nga LLM ishin dështime në kontrollin e tipit. Imagjinoni sa shumë do të përmirësoheshin projektet tuaja nëse 94% e dështimeve tuaja do të zhdukeshin! Jeta juaj do të ishte më e mirë. Lëkura juaj do të pastrohej. Do të shtatlartët. Ose të paktën do të kishit më pak seanca korrigjimi të pyetjeve “pse kjo kthen një varg tani?”.

Tetori i vitit 2025 e konfirmoi këtë: TypeScript tani është gjuha më e përdorur në GitHub, duke tejkaluar si Python ashtu edhe JavaScript që nga gushti i vitit 2025. TypeScript u rrit me mbi 1 milion kontribues në vitin 2025 (+66% krahasuar me vitin e kaluar, gusht ’25 kundrejt gusht ’24) me një total prej rreth 2.6 milion zhvilluesish. Kjo u nxit, pjesërisht, nga kornizat që mbështesin projektet në TypeScript si parazgjedhje (si Astro, Next.js dhe Angular). Por raporti gjeti gjithashtu prova korrelative se rritja e TypeScript mori një shtysë nga zhvillimi i ndihmuar nga IA.

Kjo do të thotë që IA po ndikon jo vetëm se sa shpejt shkruhet kodi, por edhe se cilat gjuhë dhe mjete përdorin zhvilluesit. Dhe ekosistemet e shtypura po përfitojnë gjithashtu, sepse ato ndihmojnë IA-në të përfshijë kod të ri në projektet ekzistuese pa shkelur supozimet.

Luau, gjuha e skriptimit e Roblox, pati një rritje prej >194% në krahasim me vitin e kaluar si një gjuhë me tipizim gradual. Typst, e krahasuar shpesh me LaTeX, por me dizajn funksional dhe tipizim të fortë, pati një rritje prej >108% në krahasim me vitin e kaluar. Edhe gjuhët më të vjetra si Java, C++ dhe C# panë më shumë rritje se kurrë në raportin e këtij viti.

Kjo do të thotë që shtypja graduale, shtypja opsionale dhe shtypja e fortë po shohin vrull—dhe secila ofron nivele të ndryshme mbrojtëse në varësi të asaj që po ndërtoni dhe sa doni që IA të automatizojë.

Sistemet e tipeve nuk zëvendësojnë gjuhët dinamike. Por, ato janë bërë një veçori e zakonshme sigurie për zhvilluesit që punojnë me dhe së bashku me mjetet e kodimit të IA-së për një arsye. Ndërsa shohim rritjen e popullaritetit të zhvillimit të asistuar nga IA dhe zhvillimit të agjentëve, mund të presim që sistemet e tipeve të bëhen edhe më qendrore në mënyrën se si ndërtojmë dhe shpërndajmë softuer të besueshëm.

Llojet statike ndihmojnë në sigurimin që kodi të jetë më i besueshëm dhe më i mirëmbajtur. Ato u japin zhvilluesve një strukturë të përbashkët dhe të parashikueshme. Ky reduktim i surprizave do të thotë që ju mund të jeni më të përfshirë në rrjedhën e ngjarjeve ( loja e fjalëve me qëllim!).