6

ジェネリックプログラミングの時間！

関数がある場合：

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

と値

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

コンパイル時にf、値のどの引数がv（もしあれば）正しいタイプであるかを知らなくても、部分的に適用できますfかv？（Typeable、Data、TH、またはその他のトリックを使用）

もう少ししっかりと、g実行時に関数（以下）を作成できますか？実際には多型である必要はありません。私のタイプはすべて単型になります。

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

Typeable（typeRepArgs具体的には）を使用することvがの3番目の引数であることは知っていますがf、それは部分的に適用する方法があるという意味ではありませんf。

私のコードはおそらく次のようになります。

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

実装できるものはありmagicApplyFunctionますか？

編集：私はついにこれで遊ぶことに戻りました。魔法の適用機能は次のとおりです。

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
4

2 に答える 2

2

今のところ、ここでソリューション全体を書くつもりはありませんが、これは純粋にとで実行できると確信していData.DynamicますTypeable。重要な要素のソースdynApplyと提供する必要があります。funResultTy

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

物事を単純にするために、私は持っているでしょうtype Box = (Dynamic, [Either TypeRep Dynamic])。後者は、引数のtyperepのリストとして始まります。magicApplyボックス内で最初に一致するTypeRepを探しDynamic、値のを置き換えます。次に、すべての引数がマジックアプライされextractたaを指定して、実際に呼び出しを実行して、結果の動的な結果を生成することができます。BoxdynApply

于 2011-04-21T15:14:15.793 に答える
1

うーん..入力のみ？古き良きOverlappingInstancesはどうですか？

{-# 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'
于 2011-04-21T15:45:10.713 に答える