| > If we were talking about the first person to discover monads, Wadler clearly would not be he. We are not. Remember what the OP stated, to which I originally replied: Funnily enough, Go's generics were designed by the same guy
who introduced monads to computer science.
This is demonstrably incorrect, as Wadler did not "introduce monads to computer science" and is what I disagreed with alone.Did Wadler take monads to new and important levels in both computer science and software engineering? Absolutely! > It would even appear from the previous comment that you only came to learn about Moggi because of Wadler making his introduction, which echos Moggi not being particularly influential socially. I quoted the Moggi attribution due to it being present in the paper you kindly provided. Whether Moggi has any influence socially is irrelevant as it pertains to the original thesis discussed above. > If you have evidence to suggest that Moggi played a bigger role in introducing (not inventing) the concepts, I am definitely keen to learn about it. Again, this is not germane to the aforementioned OP statement. |