Устранение двусмысленностей для перегруженных функций

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

{-# LANGUAGE FlexibleInstances #-} 
class Foo a where 
    foo :: a 

instance Foo (String -> Int) where 
    foo = length 

instance Foo String where 
    foo = "world"

Однако такая перегрузка очень плохо связана с неоднозначными типами. print $ foo "hello" приведет к ошибке, а print $ length "hello" работает нормально. Однако при условии, что мой список экземпляров исправлен, не должно быть технической причины, по которой Haskell не может понять, что единственным экземпляром foo :: String -> a является foo :: String -> Int. Могу ли я сделать Haskell для этой реализации?

источник

2015-06-05 Karolis Juodelė

Является ли это действительно то, что вы хотите сделать? Но на вопрос: нет, я не думаю, что это может быть сделано этим генералом. – Carsten

@Carsten, я мог бы жить с функциями 'fooLen' и' fooStr', но я думаю, что перегрузка намного удобнее. –

Проблема заключается в том, что, возможно, вы экспортируете свою функцию ('printFoo' или что-то еще), а затем, если кто-то ее использует и добавляет экземпляр' instance Foo (String -> Double) 'он будет в затруднении – Carsten

В этом конкретном случае это легко сделать. Просто:

instance a ~ Int => Foo (String -> a) where foo = length

источник

2015-06-05 08:41:29

+1 конечно * doh * не сделал этого - хороший * обходной путь * - конечно, я все еще думаю, что класс, подобный 'Foo', здесь является лишь симптомом для другой проблемы;) – Carsten

как боковое примечание, просто ограничивающее' Num 'и использование' genericLength' должно работать также: 'instance Num a => Foo (String -> a), где foo = genericLength', возможно, это легче понять, поскольку я считаю, что * ограничения равенства * широко известны (по крайней мере, начинающие) – Carsten

Отлично. Хотя мне пришлось добавить * IncoherentInstances *, чтобы заставить второй экземпляр работать. Где я могу узнать, почему это работает? –

В вашем случае GHCI знает, что foo :: String -> ??

Мы собираемся изменить подпись String -> Int:

print (foo "hello" :: Int)

источник

2015-06-05 09:07:12 viorior

Я думаю, вопрос в том, почему это необходимо;) (и если вы можете заставить компилятор найти его сам по себе) – Carsten

Устранение двусмысленностей для перегруженных функций

ответ

Смежные вопросы