4

我尝试将traverse/翻译sequenceA成 Javascript。现在 Haskell 实现的以下行为给我带来了麻烦：

traverse (\x -> x) Nothing -- yields Nothing
sequenceA Nothing -- yields Nothing
traverse (\x -> x) (Just [7]) -- yields [Just 7]
sequenceA (Just [7]) -- yields [Just 7]

作为一个 Haskell 新手，我想知道为什么第一个表达式完全有效：

instance Traversable Maybe where
    traverse _ Nothing = pure Nothing
    traverse f (Just x) = Just <$> f x

pure Nothing在这种情况下不应该工作，因为没有可以放入值的最小应用上下文。似乎编译器懒惰地检查这个表达式的类型，并且由于映射 id 函数Nothing是一个 noop，它只是“忽略”类型错误，可以这么说。

这是我的 Javascript 翻译：

（请注意，由于 Javascirpt 的原型系统不足以支持几个类型类，并且无论如何也没有严格的类型检查，所以我使用 Church 编码并将类型约束显式传递给函数。）

// minimal type system realized with `Symbol`s

const $tag = Symbol.for("ftor/tag");
const $Option = Symbol.for("ftor/Option");

const Option = {};

// value constructors (Church encoded)

const Some = x => {
  const Some = r => {
    const Some = f => f(x);
    return Some[$tag] = "Some", Some[$Option] = true, Some;
  };

  return Some[$tag] = "Some", Some[$Option] = true, Some;
};

const None = r => {
  const None = f => r;
  return None[$tag] = "None", None[$Option] = true, None;
};

None[$tag] = "None";
None[$Option] = true;

// Traversable

// of/map are explicit arguments of traverse to imitate type inference
// tx[$Option] is just duck typing to enforce the Option type
// of == pure in Javascript

Option.traverse = (of, map) => ft => tx =>
 tx[$Option] && tx(of(None)) (x => map(Some) (ft(x)));

// (partial) Array instance of Applicative

const map = f => xs => xs.map(f);
const of = x => [x];

// helpers

const I = x => x;

// applying

Option.traverse(of, map) (I) (None) // ~ [None]
Option.traverse(of, map) (I) (Some([7])) // ~ [Some(7)]

显然，这个翻译偏离了 Haskell 的实现，因为我得到了一个[None]我应该得到一个None. 老实说，这种行为完全符合我的直觉，但我想直觉在函数式编程中并没有那么大的帮助。现在我的问题是

  • 我只是犯了一个菜鸟的错误吗？
  • 还是显式类型传递不等于类型推断（就表现力而言）？
4

1 回答 1

3

GHCi 不会忽略任何类型错误。它默认为不受约束Applicative，IO但您只能在 GHCi 提示符（而不是.hs源文件）中获得此行为。你可以检查

> :t pure Nothing
pure Nothing :: Applicative f => f (Maybe b)

但还是有

> pure Nothing
Nothing

您的 javascript 实现很好；你传入了一个Applicative数组实例并得到了预期的结果。

于 2017-06-13T10:38:01.723 回答