雑感・音楽等

音楽・数学・プログラミングに関する,思い付き・雑感を記す.

Haskell ポイントフリー

Prelude> (3*(4-))$ 2

:38:1: error:
? Non type-variable argument in the constraint: Num (a -> a)
(Use FlexibleContexts to permit this)
? When checking the inferred type
it :: forall a. (Num (a -> a), Num a) => a
Prelude> (3*).(4-)$ 2
6