Consider a data type for logical expressions data Expr = Var String Or [Expr] And [Expr]...

Transcribed Image Text:

Consider a data type for logical expressions data Expr = Var String Or [Expr] And [Expr] -- A variable with given name | | | Not Expr deriving (Eq, Show) Write a function collect :: Expr -> ([String], Int), which col- lects a list of unique variable names in an expression, and the total number of times a "Not" appears. You may write helper functions if you wish. For example > expr = And [Var "a", Or [Var "a", Var "b"], Not (Var "c")] > collect expr ( ["a", "b", "c"], 1) Consider a data type for logical expressions data Expr = Var String Or [Expr] And [Expr] -- A variable with given name | | | Not Expr deriving (Eq, Show) Write a function collect :: Expr -> ([String], Int), which col- lects a list of unique variable names in an expression, and the total number of times a "Not" appears. You may write helper functions if you wish. For example > expr = And [Var "a", Or [Var "a", Var "b"], Not (Var "c")] > collect expr ( ["a", "b", "c"], 1)

Answer rating: 100% (QA)

To implement the collect function for the Expr data type you can use a recursive approach to travers... View the full answer