Yes. Thank you. Yes yay yes. I studied mathematics. I've been programming for 15 years, 10-or-so professionally. I've always wanted a "real math" explanation of monads.
They now make sense to me. Seeing why mu needs to go from T^2 -> T and the role it plays concretely WRT the list and IO examples makes it really clear to me.
God bless you for not using some crazy analogy like bacon or whatever.
They now make sense to me. Seeing why mu needs to go from T^2 -> T and the role it plays concretely WRT the list and IO examples makes it really clear to me.
God bless you for not using some crazy analogy like bacon or whatever.