haskell?
- How To Implement Subst And Subst Exp Functions In Haskell 1 (51.44 KiB) Viewed 52 times
How to implement "subst" and "subst_exp" functions in haskell?
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
How to implement "subst" and "subst_exp" functions in haskell?
How to implement "subst" and "subst_exp" functions in
haskell?
79 substVars :: [Var] => [Var] -> Base -> Base 80 81 substVars vs' vs phi : = foldi ((flip.uncurry) subst) phi (zip vs' vs) 82 83 subst phi y x = phi[y/x] 84 subst :: Exp -> Var -> Base -> Base 85 86 87 subst yxf = error "TODO" 88 89 90 91 subst_exp :: Exp -> Var -> Exp -> Exp 92 subst_exp el x e2 = error "TODO: FILL THIS IN" רח
haskell?
79 substVars :: [Var] => [Var] -> Base -> Base 80 81 substVars vs' vs phi : = foldi ((flip.uncurry) subst) phi (zip vs' vs) 82 83 subst phi y x = phi[y/x] 84 subst :: Exp -> Var -> Base -> Base 85 86 87 subst yxf = error "TODO" 88 89 90 91 subst_exp :: Exp -> Var -> Exp -> Exp 92 subst_exp el x e2 = error "TODO: FILL THIS IN" רח
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!