• code Haskell Спецолимпиада
    Есть плохая реализация fingerprint. Задача - придумать 2 разных типа, для которых fingerprint будет давать одинаковый результат:
    
     67 -- | The fingerprint of the typeRep of the argument
     68 fingerprint :: Typeable a => a -> Fingerprint
     69 fingerprint a =
     70     fingerprintFingerprints
     71       $ (fingerprintString $ module_ ++ "|" ++ name_)
     72       : map fingerprint args
     73   where
     74     tr = typeOf a
     75     (tycon, args) = splitTyConApp tr
     76     module_  = tyConModule tycon
     77     name_    = tyConName tycon
    
    
    я точно знаю:
    packageA:Foo.A
    packageB:Foo.B
    
    но есть ли что более интересное?

Replies (3)