haskell - 如何使用重复变量以无点样式重写？

Question

如何以无点样式重写以下表达式？

p x y = x*x + y

使用 lambda 演算我做了以下事情:

p = \x -> \y -> (+) ((*) x x) y
  = \x -> (+) ((*) x x) -- here start my problem
  = \x -> ((+) . ((*) x )) x
  ... ?

Answer 1

我问 lambdabot

<Iceland_jack> @pl p x y = x*x + y
<lambdabot> p = (+) . join (*)

join 来自 Control.Monad并且通常有这种类型

join :: Monad m => m (m a) -> m a

但使用 instance Monad ((->) x) (如果我们可以 left section types 这可以写成 (x ->) )我们得到以下类型/定义

join :: (x -> x -> a) -> (x -> a)
join f x = f x x

让我们让 GHCi 确认类型:

>> import Control.Monad
>> :set -XTypeApplications 
>> :t join @((->) _)
join @((->) _) :: (x -> x -> a) -> x -> a