The Soft Side of Software

Post by ktRolster » Sat, May 13, 2017, 5:24 AM UTC

interfixus wrote: post #20

zengid wrote: post #2

I know it's easy (and fun) to hate on Microsoft, but damn do they employ some great engineers/researchers: Erik Meijer, Anders Hejlsberg, Simon Peyton Jones, etc..

Hejlsberg did amazing work on Turbo Pascal/Delphi, which were basically his personal inventions. He then crossed over, and got himself lost in the C#/.net universe - technology some of us wouldn't touch with the proverbial ten foot pole, or one of any length, for that matter. Considering that his (and my) compatriots Stroustrup and Lerdorf did C++ and PHP repsectively, a national apology might sort of be in order.

Post by UK-AL » Sat, May 13, 2017, 8:11 AM UTC

interfixus wrote: post #20

zengid wrote: post #2

I know it's easy (and fun) to hate on Microsoft, but damn do they employ some great engineers/researchers: Erik Meijer, Anders Hejlsberg, Simon Peyton Jones, etc..

Hejlsberg did amazing work on Turbo Pascal/Delphi, which were basically his personal inventions. He then crossed over, and got himself lost in the C#/.net universe - technology some of us wouldn't touch with the proverbial ten foot pole, or one of any length, for that matter. Considering that his (and my) compatriots Stroustrup and Lerdorf did C++ and PHP repsectively, a national apology might sort of be in order.

Post by MarisaKirisame » Sat, May 13, 2017, 12:49 PM UTC

tempodox wrote: post #24

> ... prove that this type forms a monad. How do I “prove” a type forms a monad? I only have to implement `lift` and `bind` with the correct behavior, and I have a monadic interface. Did I prove then that the type forms a monad?