Hacker News new | ask | show | jobs
by bordercases 3859 days ago
Yeah, Bayes, Monads, and Types: things that every programmer uses "intuitively" but for some reason end up being difficult to grasp when explicitly formalized. At least speaking for myself. You're not alone. Hopefully it will get better for the both of us.