Difference between revisions of "99 questions/54A to 60"
RossPaterson (talk | contribs) m (99 questions/51 to 60 moved to 99 questions/54A to 60) |
(Solve P54A) |
||
| Line 8: | Line 8: | ||
== Problem 54A == |
== Problem 54A == |
||
| + | (*) Check whether a given term represents a binary tree |
||
| − | <Problem description> |
||
| ⚫ | |||
<pre> |
<pre> |
||
| + | * (istree (a (b nil nil) nil)) |
||
| ⚫ | |||
| + | T |
||
| − | <example in lisp> |
||
| + | * (istree (a (b nil nil))) |
||
| − | |||
| + | NIL |
||
| − | Example in Haskell: |
||
| − | <example in Haskell> |
||
</pre> |
</pre> |
||
| + | The typical solution in Haskell is to introduce an algebraic data type: |
||
| − | Solution: |
||
<haskell> |
<haskell> |
||
| + | data Tree a = Leaf | Branch a (Tree a) (Tree a) |
||
| − | <solution in haskell> |
||
</haskell> |
</haskell> |
||
| + | The type system ensures that all terms of type <haskell>Tree a</haskell> are binary trees. Hence, it is redundant to introduce a predicate to check this property. |
||
| − | <description of implementation> |
||
== Problem 55 == |
== Problem 55 == |
||
Revision as of 20:09, 13 December 2006
These are Haskell translations of Ninety Nine Lisp Problems.
If you want to work on one of these, put your name in the block so we know someone's working on it. Then, change n in your block to the appropriate problem number, and fill in the <Problem description>,<example in lisp>,<example in Haskell>,<solution in haskell> and <description of implementation> fields.
Problem 54A
(*) Check whether a given term represents a binary tree
Example:
* (istree (a (b nil nil) nil)) T * (istree (a (b nil nil))) NIL
The typical solution in Haskell is to introduce an algebraic data type:
data Tree a = Leaf | Branch a (Tree a) (Tree a)
Tree a
Problem 55
<Problem description>
Example: <example in lisp> Example in Haskell: <example in Haskell>
Solution:
<solution in haskell>
<description of implementation>
Problem 56
<Problem description>
Example: <example in lisp> Example in Haskell: <example in Haskell>
Solution:
<solution in haskell>
<description of implementation>
Problem 57
<Problem description>
Example: <example in lisp> Example in Haskell: <example in Haskell>
Solution:
<solution in haskell>
<description of implementation>
Problem 58
<Problem description>
Example: <example in lisp> Example in Haskell: <example in Haskell>
Solution:
<solution in haskell>
<description of implementation>
Problem 59
<Problem description>
Example: <example in lisp> Example in Haskell: <example in Haskell>
Solution:
<solution in haskell>
<description of implementation>
Problem 60
<Problem description>
Example: <example in lisp> Example in Haskell: <example in Haskell>
Solution:
<solution in haskell>
<description of implementation>