Thank you. The "sequential type" idea is new and I see the utility of that. (The goofy names are obfuscating factors for me. I should not need a graduate degree in math to understand programming concepts.) Functors, though, seem quite obvious; as I was reading I was thinking "yeah, so, this is just map()... what's the big deal?". Does that mean I missed something, or is that just background? (Though I grant that Future is a neat and novel concept that would make lots of ugly async code become more comprehensible.)
My first real programming language (as opposed to "used in university for classroom-sized projects") was LISP. That might have warped me. :-) I think of LISP as a functional language (I realize it can be used in other ways), but I don't think I'd ever heard the word "monad" until sometime in the last few years.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
Date: 2019-05-08 02:24 am (UTC)My first real programming language (as opposed to "used in university for classroom-sized projects") was LISP. That might have warped me. :-) I think of LISP as a functional language (I realize it can be used in other ways), but I don't think I'd ever heard the word "monad" until sometime in the last few years.