Programming ∀
Открыть в Telegram
Ushbu kanalda IT va Dasturlashga aloqador mavzularda subyektiv fikrlarimni bayon qilaman.
Больше1 217
Подписчики
Нет данных24 часа
-87 дней
-3530 день
Архив постов
1 217
Effect-TS scaladagi ZIO dan copy qilingan.
Huddi nestjs java springdan olgani kabi.
Ammo nestchilardan farqli effectchilar ancha g’ayratli. Ekotizim juda ham ko’p narsalar bilan boyitilyabti. Lekin effect-ts yoki nestjs ham o’z kumirlarining natijalariga yaqinlashib ham ololmasliklariga katta sabab bu manashu platform issuelar.
Effect-ts ni orada kuzatib turaman juda progressive rivojlanyabti. Ular ham uje virtual threadlardan tortib OTeLgacha implement qilib tashlashgan. Shu bilan ancha stabillashyabti ham, lekin ular ham barcha muammolarni ham etib berisholmaydi agar fundament zaif bo’lsa. TC39 ham yebqo’yganlarini tuzata olmaydi.
Agar javaga qaradak so’ngi versiyalari anchagina jiddiy va foydali o’zgarishlar bor.
Agar jsni qarasak tayinli poposallar yo’q deyarli. Gopherlardan =? olamiz deydimi, #private qilamiz deydimi hullas shu axvol.
Jsni hamma ishlatadi va hamma joyga tiqmoqchi bo’lishadi, lekin jsni o’zini bir joyiga tiqishyabti🥹
Bularni nega esladim ?
Bitta changesni ko’rib qoldim. Birgina promisega o’ralgan narsa deb hamma joyni async/await qilib chiqishgan🥲
1 217
TC39 kommitetini ko'tiga tepish kerak.
https://github.com/promises-aplus/promises-spec/issues/94
Bundan habari yo'qlarga qisqacha tarix darsi:
1. Brian McKenna Promiselar uchun error pathni alohida qilish kerak deydi. Bunga asos category theory va Haskelldagi tajriba deydi.
2. Uni eshitishmaydi, asossiz gapirayapsan deydi kommitet o'zi asossiz gapirib turib (McKenna ni 2 ta compelling asosi bor edi).
3. Yillar o'tadi va baribir, aylanib ham o'rgilib ham McKenna ni gapi to'g'ri bo'lib chiqadi va vanihoyat
.catch qo'shishadi.
Lekin o'z xatosidan o'rganmagan kommitet oxiri borib async/await qo'shadi (function coloring problem ni yaratib). O'zi 1 marta bulg'ashdi tilni, qaytib to'g'irlashdi. Keyin yana bulg'ashdi. Hozir esa shuni Effect-TS bilan yamab ishlatishayapti odamlar.1 217
Brian McKenna kabi programmerlar qadriga yetmagan jschilar !
https://github.com/tlrobinson/v8-typed-array
1 217
Deepseek haqida fikrlarizzi kutvommiz bossDeepseek ishlatib bo'lsa ham Haskell va Alloy6 o'rganing!
1 217
Eng qizg’i buni UMLga ham o’girsa bo’lar ekan. Diagram ham bor ammo UML asosan modelni describe qiladi holos. Alloy siz qilgan model logikasi aslida tog’rimi degan savolga ham javob beradi.
Juda sodda misol
Bizda A user mavjud va uning balansida N summa bor. Endi B userga M summa yuborganida userning balansi negative number bo’lmasligi kerak. Humo/Uzcard kabi processing tizimlari tranzaksiyalarga komissiya yechadi. Endi shu tranzaksiya+komissiya qilib xisoblasa manashu nuans chiqmasligiga bitta masala lekin katta tizimlarda bunaqangi nuanslar qalashib ketgan va hammasini ham bilmasligimiz tabiy holat. Huddi shunaqa nuanslarni alloy6 kabi toollar bilan topsak bo’ladi.
1 217
Hullas alloy6 bilan expirementchalarni boshladim. Bu temani yaxshilab o'rganib turli domainlardagi logikalarga spec yozib ko'rmoqchiman. Spec asosida logika qanchalik tog'ri ekanini tekshirish mumkin va shu orqali biz source of truth ga yaqinlashamiz. Shu orqali turli caselarni miyyamizda o'ylab topavermasdan abstractroq uslubda hamma narsaga mos keladigan narsani qurishga va uni tog'ri formalizatsiya qilishga o'rgansak bo'ladi.
Birinchi sezgan narsam Alloy6 juda ham oson. Ammo biror narsani shunda yozish ancha qiyin. Buni yagona yechimi esa juda ko'plab practice qilish code yozaverish kerak.
https://gist.github.com/lambdajon/aed6c7112fb227e72d3cc9784de2533f
1 217
Logic vprede. Bitta zo’r narsa qilgandim kechga share qilaman.
Bu narsani anchadan buyon sinashni reja qilardim vaqt bo’lmayotudi ohiri yetib keldim.
@orzklvb boshlagan SARK uchun juda zor narsa
1 217
Ko'plab seniorlar roleni yaxshi o'ynaydilar.
Managerlar esa oscar olmagan artistlar.
1 217
Bunaqa savollar umringizni ohirigacha o’ylantiradi lekin😎
Masalan google search auocompleteni qanday qilgan. Unga javob bo’lsa nega rus tilidagi so’zni lotincha yozsa ham contentni topadi. Javob chiqsa nega autocomplete bunaqa intuitiv, masalan agar man “lazinness “ yozsam keyingi so’zga haskell chiqadi lekin boshqasi yozsa boshqa narsa.
Hullas savollar tugamaydi.
1 217
Luboy tilda “hello world” yozganda siz yozgan string ekranga chiqgunicha nima bo’ladi ? Degan so’zni o’ylab ko’rish kerak.
Bundan oldin luboy qurilmada power on button bosilsa to’liq ishlaydigan holatga kelguncha nimalar bo’ladi degan savolni ancha o’ylagandim.
Eng birinchi, googledan biror narsani search qilsam nima bo’ladi degan savolni o’ylaganman :)
Savollar judayam general va dump savol. Lekin tassavurni kengaytirishga yaxshi. Faqat interviewlarda bunaqa savol bermanglar iltimos. Savolni to’liq detailed javobini topsa bo’ladimi bilmiman asosan bunaqa g’alati savollar miyyaga kelganida research qilib o’tiraman steb by step.
