TGViewer
Programming ∀ Programming ∀ @programming_everyone · 1.35K subscribers
Post #4178 690
"Five-Point Haskell": Total Depravity (and Defensive Typing)


https://blog.jle.im/entry/five-point-haskell-part-1-total-depravity.html
in Code "Five-Point Haskell": Total Depravity (and Defensive Typing) I have thought about distilling the principles by which I program Haskell, and how I’ve been able to steer long-lived projects over years of growth, refactorings, and changes in demands. I find myself coming back to a few distinct and helpful “points” (“doctrines”…
Open in Telegram All posts from @programming_everyone
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 →