Programming ∀

Hullas man eng kayf qiladiganim bu, o'zim hurmat qilgan speakerlarim talklarini ko'rish. Coffe va mevalar bilan. Otpuskda 24/7 podcast, watching talks, crazy expirements. Hullas eng eng ko'p kayf qiladigan narsalarimni 1 kundan sinab chiqyabman. Dushanba gamming, seshanba porsto uyqu. Bugun esa Haskell kuni. Ammo manavi talkni ko'rmasam bo'lmaydi. Ertaga devops expirementlar kuni 🥸 https://www.youtube.com/watch?v=0c-72iKL32k

Haskell boshida umuman tushunarsiz va murakkab tuyiladi. Begineer friendly resurslar birozgina yetishmagani seziladi. Ammo qiziq narsa bor. Begineerlik davrida juda ko'p expirement qilish kerak va haskell misolida manashunaqa practicega katta extiyoj bor. Oddiy narsalar bilan ham turli expirementlar qilasiz, masalalar yechasiz hullas maksimal ko'p practice kerak. Birozgina odatga aylanib qolganidan kegin bu narsalar siz uchun normal va ancha qulay bo'lib qoladi. Masalan boshida tushunmaysiz composition nega kerak ekanini yoki qayerda kerak bo'lishini. Ammo vaqt otib bilasizki composition juda ko'p uchraydi. Ekotizimga moslashib olganizdan kegin esa ketaverasiz va bir muammoga o'nlab yechimlarni ko'rib hayron qolasiz. Lekin aynan haskell kabi tillarda biroz ko'proq sabr bilan yaxshilab o'rganish kerak. JS, Py, Php kabi eng minimal bilimlar bilan productionga chiqib ketolmaysiz. Boshida manashu narsa yoqmagan edi, endi esa qaytangi bunday yondoshuv yaxshiroq ekanini tushunyabman. Biz ko'p mashq qilamiz, o'rganamiz, expirement qilamiz. Nima qanday ekanini o'rganib kegin hayotga tadbiq qilamiz. Bu ananaviy practical learnerlar uchun biroz og'riqli, zerikarli bo'lishi mumkin. Ammo sizga boshqa tradeoff taqdim qiladi, qancha yaxshi bilsang shuncha yaxshi bo'ladi. Shu sababdan ham jarayon ancha qiziq bo'ladi, deyarli har doyim nimadirni yaxshiroq qilishga yangi bilimlar chiqib kelaveradi, bilimlaringiz oshgani sayin production ready code ham ko'proq yozasiz. Umuman olganda turli masalalarda katta dunyoqarash beryabti. Ayniqsa manga eng muhim mavzulardan birini aynan Haskell ko'proq yortib beryabti, bu I/O mavzusi. Haskellda siz IO ning asli basharasini ko'rasiz. Aynan IO haqidagi dunyo qarashimni juda kengaytirib yuborgan til aynan Haskell. Hullas, Tiplar kuchini his etmoqchi bo'lsangiz Lean4 agar IOni his etmoqchi bo'lsangiz Haskell. Agar tiplar bilan FPda backend yozmoqchi bo'lsangiz Scala3.

Yanayam tushunarli bo'lishi uchun

head [a] -> a
head [] = error "empty list"
head (x:xs) = x

xs degan list qiziq bo'lmay qoladi uje. Undan headni olindi funksiya ichida faqat x ishlatilindi. xs esa keraksiz demak uni evanulate qilishdan foyda yo'q deb xisoblaydi Haskell. Shu sababdan infinity listdan head olsangiz infinity recursionga tushib qolmaydi.

Call by need sila ! Haskellda repeat 1 qilsangiz infinity list bo'ladi 1dan tashkil topgan. Siz kill signal bermagunizcha manashu repet tugamaydi. Ammo siz listdan biror qismni qirqib olsangiz jarayon darxol tugaydi. Masalan: head $ repeat 1 take 10 $ repeat 1 Bu shuni anglatadiki Haskellda biror narsa faqat kerak bo'lsagina ishga tushiriladi, funksiyalardan tortib hammasi shunaqa by default.

Aytamanu bekorga helm yeb yuribsilar deb :)

Hammasiga kulib qo’ydim :)

Xozir borayotgan gameclubimda serverlari ishlamayotgan ekan mezzami😂

Work life balanceni bilmadimu ammo otpusk olish mazza ekan. Koryeram davomida birinchi marotaba mehnat tatili. Tasklar yopilgan, xozir hechnarsa qilmaslik bilan ovoraman. Bugun faqat anime ko'ribman o'ziyam )) psychopassni qayta ko'ryabman. Aslida bugundan qattiq distiplina asosidagi kun bo'lishi kerak edi, lekin atayin dushanbada pofigizm bilan o'tkazishni hohladim )) Hullas dunyoni suv bossa o'rdakga nima g'am deydiku. O'rdak bo'lsak ham mudak bo'lmaylik, bugun bo'kib coffe ichadigan kun.

Xozirda UML kamaytirib ko’proq mathematical logic ustiga qurilgan toolar bilan TZ va doc yozishni, shu bilan proof qilishni tajriba qilyabman. Bu tillar juda oson va qulay ammo katta impact beradi. Izlaniahlar xozircha biroz sekin ammo endi ko’p nuanslar chiqib jarayon qiziqlashyabti. Agar hammasini eplasam Qo’l olstimdagi projectlarni shunga olib o’taman.

Borgan sari tushunib yetyabman. Biz nimadirni yaxshiroq bo’lishini istasak ko’proq alturism kerak! Masalan FP job yoqmi ? Demak biror projectlarda FP sinashimiz kerak! Hullas bu hamma narsaga tegishli. Sizga Rust qiziq ammo ish yoqmi ? Projectga qoshing ! Faqat eplaydigan qismlarga, imkon qadar project sizga boglanib qolmaydigan bo’lsin.

To'y qachon ?

esdan chiqibti😒

Nix uchun eng muhim narsa bu internet. Nega buildlarim bunzqa uzoq bo'lyabti desam internetchamizda ping yana oshib ketibti. Hullas bazida internet tezligi ko'p kerak bo'ladigan narsalarni kaprizi ko'p qizlarga o'xshataman🤔 O'zi nima bo'lyabti internega man 512kb/s da mazza qilib yashar, bemalol youtubedan videolar ko'ra olar edimku 7-8 yil oldin. Xozir 200/mbs da 40 daqiqadan buyon kutib o'tiribman.

Lekin bu drammaning muammosi shundaki, reallikda bunaqa narsaga mos kelmaydigan va to'sqinlik qiladigan juda ham ko'p narsalar bor. Chunki hammaning birinchi darsi oilada bo'ladi, shunday ekan o'ylaymanki bunaqa fikrlar hammaning miyyasiga keladi ammo hechkim qilmaydi. Bunaqa muammolarga yechim esa maktabdagi emas oiladagi yaqinlar orasidagi alturizmni rivojlantirish deb o'ylayman. Bu biroz real hayotga mos keladigan model. Nimadirni bilasizmi ? Ulashing ) Lekin oldin o'zingiz yaxshilab o'rganing. Bilimingizni 100% qismini ulasha olmaysiz shunday ekan siz 100 ta narsa bilsangiz hammasini ulashib bo'lmaydi. Agar siz 100 000 narsa bilsangiz demak ko'proq qiymatliroq narsalar ulashish imkoni mavjud bo'ladi. Shunday ekan man kattaroq qiymat berishni istasam demak o'zim ko'proq va qimmatliroq bilimga ega chiqishim kerak deb o'ylayman.

Mani fikrimcha bilimning qadrini yetkazgan bo'lardim. Masalan atrofga etiborli bo'lsak juda ham ko'plab muammolar mavjud. Manashularni hammasini bir joyga yegib kegin ma'lum semantik holatga keltirar edim. Ammo undan oldin o'quvchilar bilan turli muammolarga birgalkda yechim izlar edim va shu narsalarni imkon qadar real hayotga tadbiq qilardim. Shu bahonada ular bilan suxbat va turli comunication culturesni ko'rib chiqardik va o'rganar edik. Har qanaqa muammo bo'lishi mumkin. Texnik, sotsial, Iqtsodiy vaxakazo. Shularni ma'lum ro'yxatini qilib muammolarni izohlab o'quvchilarga taqdim qilar edim. O'quvchilar esa o'zlari izlanish qilib manashu muammolarni hal etsinlar. O'ylaymanki shunda agar kimdir biror iqtsodiy muammoni hal etish uchun kerak bo'lsa Iqtsod o'qituvchilarini boshlarini og'ritadilar. Shu orqali ularda ma'lum fanlarga yuqori muhabbat paydo bo'ladi deb o'ylayman.

aka o'zizga maktabda dars berish imkoniyati paydo bo'lsa, qanday uslubda dars o'tgan bo'lardingiz?

Bu savol juda o'ylantirib qo'ydi. Sababi hammamiz vaqti kelib Oilada dars beramiz, oila azolarimizga.

Matematika, Fizika kabi fanlar va ularni ichidagi turli bo'limlarni o'rganishdan maqsad qanaqadir univerga kirish bo'lmasligi kerak. Bu fanlar lifestylega aylanishi kerak deb o'ylayman. Huddi sport kim uchundir lifestyle huddi shunday matematika ham.