任何人都知道如何使用部分应用的三参数函数中缀haskell

如何解决任何人都知道如何使用部分应用的三参数函数中缀haskell

|| 我想基于布尔值(参数之一)以不同的方式应用3参数函数。 我希望能够以infix的方式应用它,因此我可以将其链接(下面的示例)。类似于以下内容,但实际上可行。
f :: Bool -> a -> a -> a

f True  i j = i
f False i j = j

... y `(f True)` z `(f False)` b
我需要将布尔作为第二个变量吗?或者是其他东西?我有点迷路。 附言我要这样做的原因是具有可选的附加功能     

解决方法

        具有两个以上参数的函数的中缀表示法是可能的,但不是很好。在你的情况下,给定
f :: Bool -> a -> a -> a
f True i j = i
f False i j = j
你可以写
(True `f` 1) 3
编写(如其他人所建议的)要容易得多:
let ft = f True
let ff = f False
那你可以做
1 `ft` 3 `ff` 5
如果要使用
f
,请输入:
(False `f` ((True `f` 1) 3)) 5
您可以验证
1 `ft` 3 `ff` 5 == (False `f` ((True `f` 1) 3)) 5
    ,        您可以使用反向应用程序运算符来达到类似的效果。但是,对于每个操作员固定性,您都必须定义自己的一对操作员。 这有效:
infixl 5 -|
(-|) :: a -> (a -> b) -> b
(-|) = flip ($)

infixl 5 |-
(|-) :: (a -> b) -> a -> b
(|-) = ($)

infixr 5 =|
(|=) :: (a -> b -> c) -> b -> (a -> c)
(|=) = flip

infixr 5 |=
(=|) :: a -> (a -> c) -> c
(=|) = (-|)

f b x y = if b then x else y

main = do
    putStrLn $ \"qwe\" -| f True |- \"asd\" -| f False |- \"kojo\"
    putStrLn $ \"qwe\" =| f True |= \"asd\" =| f False |= \"kojo\"
并打印:
kojo
qwe
这里的“ 10”和“ 11”括号括起了左联想表达式,而“ 12”和“ 13”括起来了右联想表达式。 请注意,由于这些只是一对独立的运算符,因此在滥用它们时出现的错误消息可能非常晦涩。     ,        据我所知,虽然已提出了中缀表达式语法,但尚未采用它们。 您可以考虑使用
if then else
三元函数,如下所示:
infix 0 ?
(?) :: Bool -> (t,t) -> t
c ? (t,e) = if c then t else e
    ,        好吧,一件事,
f
将是
f :: Bool -> a -> a -> a
有关在前缀设置中使用前缀功能的更多信息,请参见http://www.haskell.org/haskellwiki/Infix_operator#Using_prefix_functions_with_infix_notation。 希望别人更聪明,可以解释为什么
1 `f True` 3 
不起作用,因为
ft = f True
1 `ft` 3
工作正常,这似乎违反了参照透明性... 似乎没有一个“不错”的简单方法,但是我敢肯定有一些适合的高级模式,或者您可以用do20ѭ或折叠...     ,        为什么根本需要布尔函数?如果从未使用过该值,为什么不将f定义为
f :: a -> a -> a  
f i j  
i `f` j
如果确实需要布尔值,则按照Pvital的建议,创建一个ftrue和ffalse并使用它们。     

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


依赖报错 idea导入项目后依赖报错,解决方案:https://blog.csdn.net/weixin_42420249/article/details/81191861 依赖版本报错:更换其他版本 无法下载依赖可参考:https://blog.csdn.net/weixin_42628809/a
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下 2021-12-03 13:33:33.927 ERROR 7228 [ main] o.s.b.d.LoggingFailureAnalysisReporter : *************************** APPL
错误1:gradle项目控制台输出为乱码 # 解决方案:https://blog.csdn.net/weixin_43501566/article/details/112482302 # 在gradle-wrapper.properties 添加以下内容 org.gradle.jvmargs=-Df
错误还原:在查询的过程中,传入的workType为0时,该条件不起作用 <select id="xxx"> SELECT di.id, di.name, di.work_type, di.updated... <where> <if test=&qu
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct redisServer’没有名为‘server_cpulist’的成员 redisSetCpuAffinity(server.server_cpulist); ^ server.c: 在函数‘hasActiveC
解决方案1 1、改项目中.idea/workspace.xml配置文件,增加dynamic.classpath参数 2、搜索PropertiesComponent,添加如下 <property name="dynamic.classpath" value="tru
删除根组件app.vue中的默认代码后报错:Module Error (from ./node_modules/eslint-loader/index.js): 解决方案:关闭ESlint代码检测,在项目根目录创建vue.config.js,在文件中添加 module.exports = { lin
查看spark默认的python版本 [root@master day27]# pyspark /home/software/spark-2.3.4-bin-hadoop2.7/conf/spark-env.sh: line 2: /usr/local/hadoop/bin/hadoop: No s
使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams['font.sans-serif'] = ['SimHei'] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -> systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping("/hires") public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate<String
使用vite构建项目报错 C:\Users\ychen\work>npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-