拉姆达选择 fp-ts 选项/也许

Question

Using fp-ts.我有一个数组选项

const arrayofKeys: Option<Array<K>>, 

和记录选项

const record: Option<Record<K,V>>

我想选择 Ks 与数组相交的记录的 Vs 并将结果粘贴到选项中。

在拉姆达：R.pick(arrayOfKeys, record)

如何使用 fp-ts 或 fp-ts 生态系统中的其他软件包来解决这个问题？

Answer 1

我个人会避免使用Ramda等人，因为根据我的经验，它们不是很好。这是一个纯粹的fp-ts方法(Str.fromNumber来自fp-ts-std，被简单地替换)：

declare const arrayOfKeyNums: Option<Array<number>>
const arrayOfKeys = pipe(arrayOfKeyNums, O.map(A.map(Str.fromNumber)))
declare const record: Option<Record<string, number>>
const keyIntersectedVals: O.Option<Array<number>> = pipe(
sequenceT(O.Apply)(arrayOfKeys, record),
O.map(([ks, rec]) =>
pipe(
rec,
R.foldMapWithIndex(Str.Ord)(A.getMonoid<number>())((k, v) =>
A.elem(Str.Eq)(k)(ks) ? [v] : [],
),
),
),
)

由于需要传递类型类实例，它有点冗长。从好的方面来说，使用typeclass实例意味着可以简单地更新它以支持任何值类型，包括具有任何给定Eq的非基元类型。

以下是 Haskell 中用于比较的正文，其中不需要传递类型类实例：

keyIntersectedVals :: Maybe [Int]
keyIntersectedVals = uncurry (M.foldMapWithKey . intersectedToList) <$> sequenceT (mkeys, mmap)
where intersectedToList ks k v
| k `elem` ks = [v]
| otherwise   = []

例如，给定键O.some(["a", "c"])和记录O.some({ a: 123, b: 456, c: 789 })，我们得到O.some([123, 789])。

Answer 2

Ramda的lift在某些值上提升一个函数，以处理这些值的容器。所以lift (pick)可能会做你想做的事，只要fp-ts的Option支持FantasyLand Apply规范。

const {of} = folktale.maybe
const {lift, pick} = R
const keys = of (['k', 'e', 'y', 's'])  // Maybe (['k', 'e', 'y', 's'])
const record = of ({s: 1, k: 2, y: 3, b: 4, l: 5, u: 6, e: 7}) // Maybe ({s: 1, k: 2, ...})
console .log (lift (pick) (keys, record) .toString())

<script src="//cdnjs.cloudflare.com/ajax/libs/ramda/0.28.0/ramda.min.js"></script>
<script src="//cdnjs.cloudflare.com/ajax/libs/folktale/2.0.0/folktale.min.js"></script>

Answer 3

这是一个很好的用例traverseArray，traverse的优化版本。您还可以使用"执行符号"和apS来获得一个非常干净的monadic管道。如果这些操作中的任何一个返回None，整个流将提前终止(这很好！

此外，lookup是一个非常方便的函数，类似于Ramda/Lodash的get，但它返回一个选项。记录和数组模块都导出此函数的一个版本。

declare const arrayofKeys: O.Option<Array<string>>
declare const record: O.Option<Record<string, number>>
export const result: O.Option<ReadonlyArray<number>> = pipe(
O.Do,
O.apS('keys', arrayofKeys),
O.apS('rec', record),
O.chain(({ keys, rec }) =>
pipe(
keys,
O.traverseArray(key => pipe(rec, R.lookup(key)))
)
)
)

使用的功能：

1. https://gcanti.github.io/fp-ts/modules/Option.ts.html#do
2. https://gcanti.github.io/fp-ts/modules/Option.ts.html#aps
3. https://gcanti.github.io/fp-ts/modules/Option.ts.html#chain
4. https://gcanti.github.io/fp-ts/modules/Option.ts.html#traversearray
5. https://gcanti.github.io/fp-ts/modules/Record.ts.html#lookup