functional-programming - Purescriptで暗黙のプログラミングは可能ですか?

Question

暗黙のプログラミングは、ポイントフリー スタイルとしても知られています。

Answer 1

PureScript Prelude のソースを見ると、次のように言えます。

instance functorFn :: Functor ((->) r) where
  map = compose  -- point-free!

http://try.purescript.org/?session=3538ae1c-eece-8f50-ad0c-e1504846a793の例:

foldr f z Nil = z
foldr f z (x:xs) = f x (subfold xs)
  where subfold = foldr f z

sum = foldr (+) 0

main = trace $ show $ sum (1:2:3:4:Nil)  -- prints: 10

（モジュールをインポートできなかったため、自分でfoldrを定義する必要がありました）