FP Laboratory 9 - Revision history

Fai0013: /* Additional exercises */

2023-08-21T08:12:14Z

Additional exercises

Fai0013: /* Additional exercises */

2023-08-21T08:10:00Z

Additional exercises

Fai0013: /* Additional exercises */

2023-08-18T10:01:31Z

Additional exercises

Fai0013 at 09:58, 18 August 2023

2023-08-18T09:58:48Z

Fai0013: /* Additional exercises */

2023-08-18T09:52:33Z

Additional exercises

Fai0013 at 09:39, 18 August 2023

2023-08-18T09:39:58Z

Fai0013: /* Additional exercises */

2023-08-18T09:05:40Z

Additional exercises

Fai0013: /* Additional exercises */

2023-08-18T08:45:30Z

Additional exercises

Fai0013 at 11:14, 17 August 2023

2023-08-17T11:14:19Z

Fai0013 at 11:04, 17 August 2023

2023-08-17T11:04:06Z

@@ Line 179: / Line 179: @@
 </syntaxhighlight>
 * It is possible to extend the type Expr so that it contains conditional expressions. Consider the following representation of boolean expressions:
 <syntaxhighlight lang="Haskell">
 data BExpr = Val Bool
@@ Line 189: / Line 191: @@
 </syntaxhighlight>
 * Define a function that evaluates boolean expressions.
 <syntaxhighlight lang="Haskell">
 bEval :: BExpr -> Bool
@@ Line 201: / Line 205: @@
 </syntaxhighlight>
 * Define a function that shows a boolean expression as a string. Use symbols "/\","!","=",">" for logical conjunction, negation, equality, and comparison respectively.
 <syntaxhighlight lang="Haskell">
 showBExpr :: BExpr -> String
@@ Line 213: / Line 219: @@
 </syntaxhighlight>
 * Extend class Show to be usable with our boolean expressions.
 <syntaxhighlight lang="Haskell" class="myDark">
 *Main> (And (Val True) (Not (Greater (Num 5) (Num 1))))
@@ Line 221: / Line 229: @@
 </syntaxhighlight>
 * Extend the Expr type with the If-Then-Else statement as follows:
 <syntaxhighlight lang="Haskell">
 data Expr = Num Int
@@ Line 232: / Line 242: @@
 </syntaxhighlight>
 * Modify function eval to evaluate If-Then-Else statements.
 <syntaxhighlight lang="Haskell" class="myDark">
 *Main> eval (If (Greater (Num 5)(Num 1)) (Num 5) (Num 6))
@@ Line 240: / Line 252: @@
 </syntaxhighlight>
-* Modify function showExpr to show If-Then-Else statements as string.
+<translate>
 <syntaxhighlight lang="Haskell" class="myDark">
 *Main> showExpr (If (Greater (Num 5)(Num 1)) (Num 5) (Num 6))

@@ Line 208: / Line 208: @@
 <syntaxhighlight lang="Haskell" class="myDark">
 *Main> showBExpr((And (Val True) (Not (Greater (Num 5) (Num 1)))))
-"(True/\\~(5>1))"
+"(True/\\!(5>1))"
 *Main> showBExpr(And (Equal (Add (Num 1) (Num 4)) (Num 5)) (Greater (Num 5) (Num 1)))
 "(((1+4)=5)/\\(5>1))"
@@ Line 216: / Line 216: @@
 <syntaxhighlight lang="Haskell" class="myDark">
 *Main> (And (Val True) (Not (Greater (Num 5) (Num 1))))
-(True/\~(5>1))
+(True/\!(5>1))
 *Main> And (Equal (Add (Num 1) (Num 4)) (Num 5)) (Greater (Num 5) (Num 1))
 (((1+4)=5)/\(5>1))

@@ Line 233: / Line 233: @@
 * Modify function eval to evaluate If-Then-Else statements.
-<syntaxhighlight lang="Haskell">
+<syntaxhighlight lang="Haskell" class="myDark">
 *Main> eval (If (Greater (Num 5)(Num 1)) (Num 5) (Num 6))
 *Main> eval (Mul (If (Greater (Add (Num 0) (Num 1))(Num 1)) (Num 5) (Num 6)) (Num 7))
 </syntaxhighlight>

@@ Line 230: / Line 230: @@
            | If BExpr Expr Expr
   deriving (Eq)
 </syntaxhighlight>

@@ Line 219: / Line 219: @@
 *Main> And (Equal (Add (Num 1) (Num 4)) (Num 5)) (Greater (Num 5) (Num 1))
 (((1+4)=5)/\(5>1))
 </syntaxhighlight>

← Older revision		Revision as of 09:05, 18 August 2023
Line 179:		Line 179:
	</syntaxhighlight>		</syntaxhighlight>

−	* It is possible to extend the type Expr si that it contains conditional expressions.	+	* It is possible to extend the type Expr so that it contains conditional expressions. Consider the following representation of boolean expressions:
		+	<syntaxhighlight lang="Haskell">
		+	data BExpr = Val Bool
		+	\| And BExpr BExpr
		+	\| Not BExpr
		+	\| Equal Expr Expr
		+	\| Greater Expr Expr
		+	deriving (Eq)
		+	</syntaxhighlight>
		+
		+	* Define a function bEval that evaluates boolean expressions.
		+	<syntaxhighlight lang="Haskell">
		+	bEval :: BExpr -> Bool
		+	</syntaxhighlight>
		+
		+	<syntaxhighlight lang="Haskell" class="myDark">
		+	*Main> bEval (And (Equal (Num 4) (Num 5)) (Greater (Num 5) (Num 1)))
		+	False
		+	*Main> bEval (And (Equal (Add (Num 1) (Num 4)) (Num 5)) (Greater (Num 5) (Num 1)))
		+	True
		+	</syntaxhighlight>

← Older revision		Revision as of 08:45, 18 August 2023
Line 178:		Line 178:
	4		4
	</syntaxhighlight>		</syntaxhighlight>
		+
		+	* It is possible to extend the type Expr si that it contains conditional expressions.

@@ Line 135: / Line 135: @@
 <syntaxhighlight lang="Haskell">
-deriv :: Expr-> Char -> Expr
+deriv :: Expr -> Char -> Expr
 </syntaxhighlight>
 <syntaxhighlight lang="Haskell" class="myDark">
@@ Line 163: / Line 163: @@
 </div>
 <div style="clear:both"></div>