在 C# 中实现 Apply for Either 时遇到问题答案

【问题标题】：Trouble Implementing Apply for Either in C#在 C# 中实现 Apply for Either 时遇到问题
【发布时间】：2018-09-26 20:00:03
【问题描述】：

我正在处理Functional Programming in C# by Enrico Buonanno

如何在 C# 中实现 Apply for the Either monad？我尝试了以下不类型检查：

using System;
using Xunit;
using LaYumba.Functional;
using static LaYumba.Functional.F;

namespace ch8
{
    public class UnitTest1
    {
        [Fact]
        public void Ex1()
        {
            Func<int, int, int> add = (x, y) => x + y;

            var option = Some(add)
              .Apply(3)
              .Apply(2);

            Assert.Equal(Some(5), option);

            var either = Left(add)
              .Apply(3) // does not type check
              .Apply(2);

            Assert.Equal(Left(5), either);
        }
    }

    public static class Ext
    {
        public static Either<L, R> Apply<L, R>(
            this Either<L, Func<R, R>> source, Either<L, R> target)
          => source.Match(
              l => Left(l),
              f => target.Match<Either<L, R>>(
                  l => Left(l),
                  r => Right(f(r))
              ));
    }
}

我收到以下错误：

watch : Started
Build started, please wait...
UnitTest1.cs(22,16): error CS1061: 'Either.Left<Func<int, int, int>>' does not contain a definition for 'Apply' and no extension method 'Apply' accepting afirst argument of type 'Either.Left<Func<int, int, int>>' could be found (are you missing a using directive or an assembly reference?) [/ch8/ch8/ch8.csproj]
UnitTest1.cs(25,26): error CS1503: Argument 1: cannot convert from 'LaYumba.Functional.Either.Left<int>' to 'string' [/ch8/ch8/ch8.csproj]
UnitTest1.cs(25,35): error CS1503: Argument 2: cannot convert from 'LaYumba.Functional.Either<L, R>' to 'string' [/ch8/ch8/ch8.csproj]
watch : Exited with error code 1
watch : Waiting for a file to change before restarting dotnet...

我做错了什么？

【问题讨论】：

标签： c# functional-programming monads either

【解决方案1】：

我是这本书的技术校对者，所以如果其中有任何错误，那都是我的错 :) 书中的很多内容都是基于我的库 language-ext 和一般的函数式编程技术。如果您需要，那里有一个成熟的 Either 实现。

但是，对于您的示例，您几乎可以肯定（目前无法检查，我在火车上）应该使用Right(add) 而不是Left(add)，因为Right 是成功路线，而@ 987654326@ 是失败路由。

因此，您应该断言结果等于Right(5)

我已经有一段时间没有看这本书了，但我假设Left 返回的Either.Left<L> 没有与“成功”路由相同的 API。

如果你将Left(add) 转换为Either<L, R>，那么你会发现库打开了。

Left 和Right 构造函数必须处理Either 需要两种类型的事实。所以他们在隐式转换为Either<L, R>之前创建Left<L>或Right<R>的中间值——这通常会让你不必编写Left<L, R>(l)和Right<L, R>(r)，但有时这些类型会自己绊倒.

无论如何，当我手头有调试器时，我会仔细看看

【讨论】：