ru
Feedback
Programming ∀

Programming ∀

Открыть в Telegram

Ushbu kanalda IT va Dasturlashga aloqador mavzularda subyektiv fikrlarimni bayon qilaman.

Больше
1 217
Подписчики
Нет данных24 часа
-87 дней
-3530 день
Архив постов
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🥲

TC39 kommitetini ko'tiga tepish kerak. https://github.com/promises-aplus/promises-spec/issues/94 Bundan habari yo'qlarga qisq
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.

Brian McKenna kabi programmerlar qadriga yetmagan jschilar ! https://github.com/tlrobinson/v8-typed-array

Deepseek haqida fikrlarizzi kutvommiz boss
Deepseek ishlatib bo'lsa ham Haskell va Alloy6 o'rganing!

Manashu talkda ham yaxshi gaplar bo'lgan. https://www.youtube.com/watch?v=2i-SLPv7giQ

Structurial Design degan chapter hechnimani eslatmayabtimi ?

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.

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

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

Nigga o’zidan ketyabti ?
Nigga o’zidan ketyabti ?

photo content

Soft skillar haqida o'qib manashunaqa fikrga keldim negadir🥲

Ko'plab seniorlar roleni yaxshi o'ynaydilar. Managerlar esa oscar olmagan artistlar.

Repost from Dark Voyage
there’s a very legitimate reason for that…
there’s a very legitimate reason for that…

Js chilarga alohida savol bor. Array.sort qanday ishlaydi😎

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.

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.

Manashu parametrlar bo'yicha Go yoki TS ni tassavur qilingchi.

photo content