TGViewer
Programming ∀ Programming ∀ @programming_everyone · 1.35K subscribers
Post #4255 753
Linter bilan manashunday o'zimizni std dagi funksiyalarni ishlatishga undaydigan qilishni boshlaganman.

Bu narsaning yaxshi tomoni bazi narsalarni shunchaki code rewiewda takroran aytib yuravermaymiz. Shunchaki manashunday qoidalar yozib qo'yamiz va linter ishlaganda yoki error yoki warn beradi. Manabunaqa LSP integrationlar bilan esa birdan autofix qivorish mumkin ))

Bazi convensionlarni hammaga takrorlash shart emas shunchaki linter o'rgatadi. G'alati ko'rinadiya agentlar zamonida biz linter ishlatyabmiz. Ammo boshqa tomondan qarasak bizda bu arzonroq chunki AI yetarlidan ko'p determenistic bir narsani ikki marotaba turlicha qilishi mumkin. A og'zaki qanaqadir qoidalaringizda esa qoidalar bir biriga contraversal bo'lishi mumkin bu invariantlarni va exeptionlarni ko'paytiradi.

Bizda esa sal boshqacharoq maksimal darajada invariantlarni kamaytiramiz va determinizmga xarakat qilamiz. Chunki bundan oladigan manfatlarimiz ko'proq. Masalan reproduce qila olamiz. Yoki kutilmagan xatolarsiz code yoza olamiz. Bu ham o'ziga yarasha tradeoff sababi barcha xatoliklarni oldini olish uchun ham haskell kuchi yetmaydi boshqa yanada kuchliroq tillar kerak. Ammo bizda to'liq xatolardan holi kod degan talab ham yo'q xozircha. Agar bo'lsa kegin o'ylab ko'ramiz )) Lekin juda ko'p turdagi common xatolar masalan null pointer exeption boshqa paniclar bizda deyarli chiqmaydi. Endi manashu linter qoidalari bilan esa yanada kamayadi. Chunki bazi exeption qaytaradigan yoki unsafe funksiyalar ishlatilsa linter detect qiladi va shapaloq uradi.
  • ⚡ 3
More from @programming_everyone
  1. Sep 28, 2026mongodb cooked, ceosi survoribti metaga. va stock choq -16% xozir adashmasm 20%gacha tushi…
  2. Sep 26, 2026Masalan hamma cho'qqini zabt etishni istaydi, buning uchun borini berishga xarakat qiladi.…
  3. Sep 26, 2026Kuzatuvlarim davomida shuni tushundimki soft/hard skills kabi mavzular ajratilishi birmunc…
  4. Sep 24, 2026balanced
  5. Sep 23, 2026Yaqinda bo’lgan safarda tog’rda balandlikdan sakrab sirg'anib kettim. Hech qanday jiddiy j…
  6. Sep 23, 2026Leetcode - leetcode competitive programming platform emas. Masalan codeforces, atcoder kab…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →