Issues in the blog

[vlad2048]

First, thank you very much for the high quality blog: https://paullouth.com/
After learning Haskell for a while and not managing to ascend much past monads, I'm hopeful I'll be able to using your blog and powerful & familiar C# abstractions. Definitely a big step up in v5, I hope it'll get merged.

Sorry if this is not the right place to post these, but I thought these could be helpful

• Higher Kinds in C# with language-ext [Part 5 - validation]
  Just after you wrote:

I won't test this, because it's obvious it will work!

static Validation<Error, int> ValidateInt(string value) =>
    ValidateAllDigits(value).Map(_ => int.Parse(value));

This function throws an Exception when given an empty string.
(this being a bug is debatable I guess - but quite ironic nonetheless)

• Higher Kinds in C# with language-ext [Part 10- ReaderT monad transformer]:

ReaderM<*,*> should be Readable<*,*> I believe

[louthy]

Thanks for that. I am reviewing the articles, as the beta has moved on since I wrote them. I'm about half way through! So will get to this soon... although ... I'm away for a few weeks, so I'll review when I'm back 👍