Sử dụng Typeable để áp dụng một phần chức năng tại thời gian chạy (bất kỳ loại thời gian nào phù hợp)

Question

Thời gian lập trình chung!

Nếu tôi có một chức năng:

f :: a1 -> a2 -> a3 -> ... -> an 

và một giá trị

v :: aX -- where 1 <= x < n 

Mà không biết tại thời gian biên dịch mà trong những lập luận của f giá trị v là loại phù hợp với (nếu có) , tôi có thể áp dụng một phần f cho v không? (sử dụng Typeable, Data, TH hoặc bất kỳ mẹo nào khác)

Hơi chắc chắn hơn, tôi có thể xây dựng hàm g (bên dưới) tại thời gian chạy không? Nó không thực sự phải là đa hình, tất cả các loại của tôi sẽ là đơn hình!

g :: (a1 -> a2 -> a3 -> a4 -> a5) -> a3 -> (a1 -> a2 -> a4 -> a5) 
g f v = \x y z -> f x y v z 

Tôi biết rằng, sử dụng Typeable (typeRepArgs cụ thể), v là đối số thứ 3 của f, nhưng điều đó không có nghĩa là tôi có một cách để một phần áp dụng f.

Mã của tôi có lẽ sẽ giống như sau:

import Data.Typeable 

data Box = forall a. Box (TyRep, a) 

mkBox :: Typeable a => a -> Box 
mkBox = (typeOf a, a) 

g :: Box -> Box -> [Box] 
g (Box (ft,f)) (Box (vt,v)) = 
    let argNums = [n | n <- [1..nrArgs], isNthArg n vt ft] 
    in map (mkBox . magicApplyFunction f v) argNums 

isNthArg :: Int -> TyRep -> TyRep -> Bool 
isNthArg n arg func = Just arg == lookup n (zip [1..] (typeRepArgs func)) 

nrArgs :: TyRep -> Int 
nrArgs = (\x -> x - 1) . length . typeRepArgs 

Có điều gì mà có thể thực hiện magicApplyFunction?

EDIT: Cuối cùng tôi đã trở lại để chơi với điều này. Chức năng ma thuật áp dụng là:

buildFunc :: f -> x -> Int -> g 
buildFunc f x 0 = unsafeCoerce f x 
buildFunc f x i = 
     let !res = \y -> (buildFunc (unsafeCoerce f y) x (i-1)) 
     in unsafeCoerce res 

Answer 1

Tôi sẽ không viết toàn bộ giải pháp ở đây bây giờ, nhưng tôi chắc chắn điều này có thể được thực hiện hoàn toàn với Data.Dynamic và Typeable. Nguồn tin cho dynApply và funResultTy nên cung cấp các yếu tố chính:

dynApply :: Dynamic -> Dynamic -> Maybe Dynamic 
dynApply (Dynamic t1 f) (Dynamic t2 x) = 
    case funResultTy t1 t2 of 
    Just t3 -> Just (Dynamic t3 ((unsafeCoerce f) x)) 
    Nothing -> Nothing 


funResultTy :: TypeRep -> TypeRep -> Maybe TypeRep 
funResultTy trFun trArg 
    = case splitTyConApp trFun of 
     (tc, [t1,t2]) | tc == funTc && t1 == trArg -> Just t2 
     _ -> Nothing 

Để giữ cho mọi thứ đơn giản, tôi muốn có type Box = (Dynamic, [Either TypeRep Dynamic]). Sau đó bắt đầu như một danh sách các typereps của các đối số. magicApply sẽ tìm TypeRep khớp đầu tiên trong hộp và thay thế Dynamic của giá trị. Sau đó, bạn có thể có một extract được gán Box mà tất cả các đối số đã được ảo hóa, thực sự thực hiện các cuộc gọi dynApply để tạo kết quả động.

Answer 2

Hm .. Chỉ có thể nhập? Làm thế nào về OverlappingInstances cũ tốt?

{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, TypeFamilies, 
UndecidableInstances, IncoherentInstances, ScopedTypeVariables #-} 

class Magical a b c where 
    apply :: a -> b -> c 

instance (AreEqual a c e, Magical' e (a -> b) c r) => Magical (a -> b) c r where 
    apply f a = apply' (undefined :: e) f a 


class Magical' e a b c where 
    apply' :: e -> a -> b -> c 

instance (r ~ b) => Magical' True (a -> b) a r where 
    apply' _ f a = f a 

instance (Magical b c d, r ~ (a -> d)) => Magical' False (a -> b) c r where 
    apply' _ f c = \a -> apply (f a) c 


data True 
data False 

class AreEqual a b r 
instance (r ~ True) => AreEqual a a r 
instance (r ~ False) => AreEqual a b r 


test :: Int -> Char -> Bool 
test i c = True 

t1 = apply test (5::Int) 
t2 = apply test 'c'