Есть ли способ перегрузить сопоставление в ghc?

Question

Я пытаюсь создать встроенный язык в Haskell, и, если возможно, я хотел бы дать настраиваемое значение для сопоставления, которое обычно обозначает приложение функции. Или, почти эквивалентно, я хотел бы определить оператор пробела, который имеет нормальный определяемый приоритет оператора.

Что-то вроде

() x y = x * y 

, который позволит затем записать умножение 3 * 4 в 3 4.

Есть ли какой-либо способ в GHC (с использованием любого расширения) для его реализации?

Answer 1

Собственно, да!

{-# LANGUAGE FlexibleInstances #-} 
module Temp where 

instance Num a => Num (a -> a) where 
    fromInteger n = (fromInteger n *) 
    n + m = \x -> n x + m x 
    -- ... 

Тогда в GHCI:

λ :l Temp 
... 
λ 3 (4 :: Int) :: Int 
12 
λ let _4 = 4 :: Int 
λ 3 _4 :: Int 
12 
λ (3 + 4) (2 :: Int) :: Int 
14 

Символы 0, 1 и т.д. в Haskell перегружены - 0 :: Num a => a - они могут представлять собой все, что имеет Num экземпляр. Поэтому, определив пример Num для функций Num a => a -> a, теперь у нас есть 3 :: Num a => a -> a