functional-programming 相关问题

函数式编程是一种基于使用函数构建抽象，避免副作用和状态变化的编程范例。纯函数编程是线程安全的。

Language-Ext-我如何从验证的错误类型中获取错误消息<Error,T>

我试图仅显示在 LanguageExt 中使用 Validation 验证失败的错误消息。但是，我得到以下字符串： ValidationData(失败, 0, [开始...

c# error-handling functional-programming language-ext language-extension

回答 1 投票 0

如何为反应状态构建良好的数据结构，使我能够轻松更新深度嵌套的对象数组？

我正在尝试实现一个房产（房地产）链每个链项目应该知道哪个链项目在它上面/下面一个链项可以有自己的子链，这又适用于它的子链...

javascript reactjs functional-programming

回答 1 投票 0

如何在 Haskell 中枚举递归数据类型？

这篇博文对如何使用 Omega monad 对角枚举任意语法进行了有趣的解释。他提供了一个示例来说明如何做到这一点，从而产生无限序列

haskell functional-programming grammar monads

回答 4 投票 0

使用管道函数时，typescript fp-ts 代码出现类型错误

我正在尝试使用 fp-ts 函数编程库编写代码并不断收到以下类型错误： TS2322：类型未知不可分配给类型 TaskEither 我尝试使用 fp-ts 函数编程库编写代码，但不断收到以下类型错误： TS2322：类型未知不可分配给类型 TaskEither 任务要么。 d. ts(1340, 42)：期望的类型来自该签名的返回类型。问题是什么，因为我不确定错误告诉我问题是什么？如何修复此错误？任何帮助将不胜感激。下面代码中突出显示的部分似乎是错误的来源： const findByUserAndGroup = groupMemberRepository.findByUserAndGroup(cancelGroupMembershipDTO.groupId); pipe( sequenceS(ApplyPar)({ user: findByUserAndGroup(cancelGroupMembershipDTO.userId), userToCancel: findByUserAndGroup(cancelGroupMembershipDTO.userToCancelId) }), chain(({ user, userToCancel }) => **pipe( user, isGroupOwner, fromEither, map(() => userToCancel) )** ), map((userToCancel) => ({ groupMemberId: userToCancel.groupMemberId, groupId: userToCancel.groupId, userId: userToCancel.userId, isGroupOwner: userToCancel.isGroupOwner })), chain((processedDetails) => userRepo.delete(processedDetails)) ) 按用户和组查找： const findByUserAndGroup = (groupMemberId: string) => (userId: string): TaskEither<ErrorBase, Option<GroupMember>> => { return pipe( tryCatch( () => pool.query( `select * from groupMember where groupMemberId = ${groupMemberId} and userId = ${userId} ` ), (error: any) => ({message: `Database error: ${String(error)}`, name: 'SystemError', details: 'Database Error.', innerError: error}) ), chain(result => right(none)) ); } IsGroupOwner 验证函数： export const isGroupOwner = (groupMember: GroupMember): TaskEither<ErrorBase, GroupMember> => { if (!groupMember.isGroupOwner) { return left({message: `You do not have the permissions necessary to perform this operation.`)}); } return right(groupMember); } 错误消息 Typeknown is not allocate to type TaskEither<ErrorBase, unknown> 表明 TypeScript 期望特定的返回类型 (TaskEither<ErrorBase, unknown>)，但它却接收到未知的类型。代码中的罪魁祸首很可能是由于 findByUserAndGroup 返回的 Option 类型造成的。当您从 findByUserAndGroup 返回包装在 TaskEither 中的 Option 时，它与您正在使用的功能链中的预期类型不直接匹配。当类型通过管道和链传递时，这种差异会导致问题。要解决此问题，您需要正确处理 Option 类型，将其转换为 TaskEither。以下是调整代码的方法：正确处理选项类型：当findByUserAndGroup返回选项时，您应该将其映射到管道内的Either。如果Option为None，则返回错误（使用fp-ts中的left）；否则，继续使用 Some 值。重构管道：您应该确保isGroupOwner接收到GroupMember并且所有返回的类型都对齐为TaskEither<ErrorBase, GroupMember>。修改 isGroupOwner 用法：使用 fromOption 将 Option<GroupMember> 转换为管道内的 Either。这将确保您在整个过程中获得一致的输入。 import { TaskEither, chain, map, left, right, fromEither } from 'fp-ts/TaskEither'; import { Option, fold as foldOption, some, none } from 'fp-ts/Option'; import { pipe } from 'fp-ts/function'; import { sequenceS } from 'fp-ts/Apply'; import { ApplyPar } from 'fp-ts/TaskEither'; import { fromOption } from 'fp-ts/Either'; import { ErrorBase } from './types'; // Assuming you have this type defined elsewhere // Adjusted `findByUserAndGroup` function to match the expected types const findByUserAndGroup = (groupMemberId: string) => (userId: string): TaskEither<ErrorBase, GroupMember> => { return pipe( tryCatch( () => pool.query( `select * from groupMember where groupMemberId = ${groupMemberId} and userId = ${userId} ` ), (error: any) => ({ message: `Database error: ${String(error)}`, name: 'SystemError', details: 'Database Error.', innerError: error }) ), chain(result => { // Assuming your query result parsing here to Option const groupMemberOption = some(result.rows[0]); // Replace with actual parsing logic return fromOption(() => ({ message: "Group member not found", name: "NotFoundError" }))(groupMemberOption); }) ); }; // The `isGroupOwner` function remains the same export const isGroupOwner = (groupMember: GroupMember): TaskEither<ErrorBase, GroupMember> => { if (!groupMember.isGroupOwner) { return left({ message: `You do not have the permissions necessary to perform this operation.` }); } return right(groupMember); }; // Main pipe function const result = pipe( sequenceS(ApplyPar)({ user: findByUserAndGroup(cancelGroupMembershipDTO.groupId)(cancelGroupMembershipDTO.userId), userToCancel: findByUserAndGroup(cancelGroupMembershipDTO.groupId)(cancelGroupMembershipDTO.userToCancelId) }), chain(({ user, userToCancel }) => pipe( user, fromEither(() => ({ message: 'User not found', name: 'NotFoundError' })), // Convert `Option` to `Either` chain(isGroupOwner), // Now `isGroupOwner` will work on `GroupMember` map(() => userToCancel) ) ), map((userToCancel) => ({ groupMemberId: userToCancel.groupMemberId, groupId: userToCancel.groupId, userId: userToCancel.userId, isGroupOwner: userToCancel.isGroupOwner })), chain((processedDetails) => userRepo.delete(processedDetails)) );

node.js typescript functional-programming fp-ts

回答 1 投票 0

如何在链接MapReduce过滤器时减少迭代？

我读了很多关于map、reduce和filter的文章，因为它们在react和FP中的使用量很大。如果我们写这样的东西：让 myArr = [1,2,3,4,5,6,7,8,9] 让

javascript functional-programming monads

回答 5 投票 0

JavaScript 中的 Scala View 的等价物

在 Scala 中，视图允许防止创建全新的集合。例如在Scala中，“视图”有什么作用？ JavaScript中有类似的东西吗？我的用例： x = inputValue.split(","...

javascript scala functional-programming lazy-evaluation lazy-sequences

回答 2 投票 0

Scala 中的时态

我正在学习递归模式，但我无法弄清楚未来态和组织态的用处。我发现的几个 Scala 示例看起来非常没有说服力。我还找到了 Haskell 的例子，...