Scala's Option monad versus null-conditional operator in C#

Re:Scala's Option monad versus null-conditional operator in C# by daxfohl on Sunday February 21, 2016 @09:20AM (#11144561)

Crazy, I'd always considered monad transformers a sore thumb on, well, all that stuff. The fact that monads weren't enough but then you had to go reproduce all that stuff in monad transformers as well. The whole thing just reeked of code duplication and bad smells so I didn't really look into it further.

Now looking at the Scalaz impl, the transformers are actually the core thing, and monads themselves are just transformers over Identity. So it all fits and isn't redundant. Certainly changes a lot of perspective.

[ Parent | on HN ]

Re:Scala's Option monad versus null-conditional operator in C# by daxfohl on Thursday March 03, 2016 @01:41PM (#11218889)

That said, I'd still put LINQ as 99% of "the deal" per the original comment. The extra abstractions allowed by HKT's, while "necessary" mathematically, still only save me about 1% of the work required to implement asyncSeq and asyncMaybe, and in 15 years of pro experience those are the only real uses of HKT's I've ever had the need for.

[ Parent | on HN ]