创建infix函数

Question

我可以定义这样的函数

method1 :: Int -> Int -> Int
method1 a b = a + b

main = print $ 1 `method1` 2

如果我不想每次调用函数时都使用，但是我想在infix表单中使用它，我该如何做呢？

method1 :: Int -> Int -> Int
method1 a b = a + b

main = print $ 1 method1 2

Answer 1

简单的回答是，你不能。想象一下，如果a b c有潜在的缺陷，那么b的歧义是可怕的。但是你可以定义一个操作符来帮你做这件事。其中任何一个都能工作

a |+| b   = method1
(|+|) a b = method1 a b 
(|+|)     = method1

然后

a |+| b === a `method1` b === method1 a b

haskell's infix操作符的允许字符是有限的，可选

:|!@#$%^&*-+./<>?\~

一个常见的库，透镜，有许多操作符作为同义词的较长的名称。这很常见。不过，请使用判断，否则最终您将得到比Haskell更多的perl :)

Answer 2

对此，有一个卑鄙的、令人讨厌的“解决方案”--使用CPP宏。例：

{-# LANGUAGE CPP #-}

#define method1 `themethod`
module Main where

themethod x y = x + y

someValue = 3 method1 4

这是编译的，在ghci中，someValue将等于7。