高阶类型模拟：用泛型构造类型构造器

C# 本身不支持高阶类型（higher-kinded types），但可以通过泛型参数和静态接口模拟。本教程展示如何用泛型工厂模式实现类似 Haskell 中 Functor 的映射操作。 · 难度：入门 · +10XP

高阶类型模拟

高阶类型允许类型构造器接受另一个类型构造器作为参数。C# 缺乏此特性，但我们可以利用泛型定义接口 IContainer，其中 TCont 代表容器类型。通过静态工厂方法创建具体的容器实例（如 Option、List），并在扩展方法中实现 Map 操作。这种方法可在保持类型安全的前提下模拟出类似 HKT 的模式，用于函数式编程库的底层设计。

public interface IContainer { T Value { get; } }
public class Some<T> : IContainer<Some<T>, T> { public T Value { get; }
  public Some(T v) => Value = v; }
public static class HktExtensions {
  public static IContainer<TCont, TResult> Map<TCont, T, TResult>(
      this IContainer<TCont, T> container, Func<T, TResult> f) {
    return new Some<TResult>(f(container.Value));
  }
}