Hello,
on my journey through Haskell I've hit a problem where I don't know any
further and would greatly appreciate your help.
I've got this code so far:
data Value a e = VConst a
| VFunc (e -> a)
evalV :: Value a e -> e -> a
evalV (VConst x) = const x
evalV (VFunc f) = f
liftV :: (a -> a -> t) -> (Value a e) -> (Value a e) -> e -> t
liftV f x y e = (evalV x e) `f` (evalV y e)
(.==.), (./=.) :: (Eq a) => (Value a e) -> (Value a e) -> e -> Bool
(.==.) = liftV (==)
(./=.) = liftV (/=)
(.&&.), (.||.) .... some more operators
This allows me to write client code like this:
data Person = Person {
personName :: String
, personAge :: Int
}
deriving (Show)
exampleExpr :: Bool
exampleExpr = (VConst 99) .==. (VFunc personAge) $ Person "pete" 99
I was wondering, whether it'd be possible to enable defining expression
without the Value data constructors, i.e.
99 .==. personAge $ Person "pete" 99
I've tried using a type class to have a function for lifting different
types into Values.
class ToValue a e | a -> e where
valueLift :: a -> Value a e
then I tried defining an instance for functions:
instance ToValue ((->) Person a) Person where
valueLift f = undefined
in ghci:
> :t valueLift personName
valueLift personName :: Value (Person -> String) Person
and suddenly I realized this will not work because I would need the type
`Value String Person'.
Now, I'm stuck and don't know which path to take in order to come closer
to being able writing "99 .==. personAge" or "personAge .==. 99". Maybe
I'm approaching it in a completely wrong way or it's simply not
possible. Do you have any ideas, hints?
Many thanks in advance for any kind of feedback,
pete.
