Programming ∀

Haskelldan yaxshi tillar faqat Lean4 yoki Agda bo'lishi mumkin ! Qolganlari aniq ustun bo'lolmaydi. Manashuni ohiriga yetkazib olsam kegin haskelldan yaxshiroq tillarda yozib ko'raman 🤓

Mezzami ? Church numeralsni yozib ko'rdim 😎 Addition va type familyda Kei yordam berdi(Rahmat !) https://en.wikipedia.org/wiki/Church_encoding#Church_numerals

Juda qiziq conversations topdim stackoverflowda: Savol manosi va context: Monadlar qoidalari bo'yicha hammasini tadbiq qilish kerakmi ? Bu haskellda monadning 3 qoidasi haqida gapirilgan: Javobda esa monadlar qonunlariga bo’ysunishni ta’minlash engineer qo’lida. Qonunlar buzulganida esa sizni aniq biror yoqimsiz holatlar kutyabti )) Manashu narsa tufayli manga FP yoqadi. Qonunlarga amal qilish hayotingizni osonlashtiradi. https://stackoverflow.com/questions/37124471/are-monad-laws-enforced-in-haskell

Har kuni kechga yengilgina biror meva yoki snekni ovolib mana bunaqa narsalar o'qish kerakda. Haskell weekly juda zo'r joy 😎 Sizlarni platformda shunday narsalar bormi ? Bo'lsa share qilinglar PS: Nodejs yoki JS related bunaqa narsalarni bazilarini topgan edim ammo qiziq bo'lmagan. https://haskellweekly.news/newsletter.html

Shu bola starga to’ysin ! Bosvorilar )) https://github.com/ismoilovdevml/devops-journey

Topdim! Nima ish qilasiz ? Deb so’rashsa manashuni share qilaman.

How I Experience Web Today https://how-i-experience-web-today.com/

The open-source alert management and AIOps platform #AlertManagement #AIOps #OpenSource https://github.com/keephq/keep

Endi bu communityni biroz tartiblasak yanayam ko’proq foyda bo’ladi hammaga )) 4 yilda shuncha member yomon emas. Endi ikki narsani yo’lga qo’yishni o’ylayabman. 1. Job review - vakansiyalarni review qilish kerak, kompaniya qanaqa nima sharoitlar vaxakazolar bo’yicha. 2. Blacklist - hamma infosigan kurslar qallob qaroqchilarni. Chetga suramiz, qiziqqanlar o’zlari community ko’magi bilan o’rganadilar.

Vlad amakining postlari juda ajoyibda. https://serokell.io/blog/why-dependent-haskell

💩Bosadiganlar o'z fikrlaringizni bemalol ochiqchasiga izohlashingiz va muhokama qilishimiz mumkin. Discussionlar aynan shu narsa uchun ochiq, kimdirni birinchi ekanini bilgani emas.

Ideal til yo'q

Mani fikrimcha ideal, yaxshi, yomon degan primitiv ta'riflar doyim subyektiv bo'lib qolaveradi. Ideallik parametrlari nima ? Inson ongi ideallikga yetmaydi chunki ideal fikrlay olmaydi xatolari bor va xato qiladi. Ideallik bizga emas, shu sababdan biz ishlab chiqgan narsalar ham ideal bo'lolmaydi(Sho'lpillab qoladi) Biz aniq parametrlar asosidagi talablarga javob bergan holatda biror narsani boshqasidan ustunroq qilishimiz mumkin. Biror complex narsaga nisbatan primitiv tarif, o'lchov bera olmaymiz. Shu sabab ideallik haqida o'ylash emas, aniq context va parametrlarda o'ylash kerak. Masalan: Imperativ tillarning ko'pida controlflow if,else bilan bo'ladi asosan ammo bu hamma invariantlarni handle qilib bo'lmaydi. Kegin turli maummolar kelib chiqadi lekin FPda pattern matching va ADT aynan shunday masalalar bilan ishlashga juda zo'r yechim bera oladi. Yoki bo'lmasa imperativlarga ham bularni qo'shish kerak yaqool misol esa Rust. Ammo rust ham aralash paradigma man o'zimcha rustional paradigm deyman )).

Biz java8ni xozir hate qila olamiz chunki xozirgi versiyalari ancha yaxshi, yoki undan ham yaxshi tillar bor 🤷 Ammo zamonidagi java8ni shunchaki hate qilolmaymiz. Huddi shunday zamonasidagi Bob Martin ideologiyasini to’laqonli rad eta olmaymiz !

Yuqorida aytib o’tganlarimni sababi. Ikki masalada ham hate qilinadi, ammo tanqid aynan holat, makon va zamonga nisbatan bo’lishi kerak. Kei Java8 paytidagi texnalogiyalar orasida lider ekanini aytdi, boshqasi bo’lsa dalil so’radi. Ammo sog’lomroq miyya bilan qarasak tog’ri fikr. Yegor amaki quality haqida 20 yil oldin faqat Bob Martining resurslari bo’lganini aytdi. Agar tarixga qarasak ayni bu payitlar hamma qualityga tupurgan edi. Demak sog’lom miyya bilan qarasak o’rinli fikr!

Bob Martin haqida Yegor amaki juda qiziq fikr bildiribti. B.Martin eng birinchi bo’lib sifatli code yozish haqidagi mavzuga qo’l urgan. 20 yil oldin bu mavzuda hech qanday adabiyot yo’q edi, barcha adabiyotlarda code base kasha edi. Sohamizda aynan software qualityni targ’ib qilgan inson! U payitlar insonlar CI yoki testlar haqida umuman o’ylamagan! Hullas bu point of view bazi fikrlarimni tog’irlab olishimga katta turtki bo’ldi: Biror narsaga ayni o’sha zamondagi holatdan ham qarash kerak. Kecha yana bir qiziq suhbat bo’lgan edi. @keilambda Java o’z vaqtidagi eng normal tillardan bo’lgan undan yaxshisi bo’lmaganini aytgan edi. Aynan o’sha zamonga qarasak rostdan ham Kei juda tog’ri aytyabti. Bu gaplarni man qilgan trollinglarga nisbatan aytudi )) Hullas: Biror narsaga fikr bildirishdan oldin tarixga ham nazar solish kerak ! Undan kegin esa xozir va kelajak haqida!

Benchmark bo'lsa shunaqa easy bo'lsada 🤩 http://www.serpentine.com/criterion/