如何在 fp-ts 中使用管道删除 if 语句

Question

我第一次在fp-ts查看pipe和Option 。

我有这段代码的类型很窄，但我确信它可以在没有if语句的情况下完成：

if (O.isNone(this.state)) {
  return undefined;
}

return this.lens.get(this.state.value);

Answer 1

您可以尝试将pipe与Option.fromNullable和Option.map结合使用：

import { pipe } from "fp-ts/function";
import * as O from "fp-ts/Option";

let obj = {
  state: {
    value: "test"
  }
};

function calculate(input: { value: string }) {
  return input.value;
}

console.log(
  pipe(
    obj.state,
    O.fromNullable,
    O.map((value) => calculate(value))
  )
);

所以对于你的例子，它会是这样的：

return pipe(
  this.state,
  O.fromNullable,
  O.map(state => this.lens.get(state.value))
);

Answer 2

通常，所有这些包装数据类型的想法是您不想过早解包。 在你的情况下，考虑到this.state是一个Option ，我会这样做：

import { option } from 'fp-ts';

pipe(
  this.state,
  option.map(state => this.lens.get(state)),
  option.toUndefined,
);