Difference between revisions of "Remove First Assignment"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
+ | =Motivation= | ||
+ | Experience with equality types (along with more experience writing recursive functions with pattern matching). | ||
+ | |||
=Code to Implement= | =Code to Implement= | ||
{{SMLToImplement|remove_first|remove_first|warm_up_remove_first}} | {{SMLToImplement|remove_first|remove_first|warm_up_remove_first}} |
Revision as of 07:37, 2 February 2022
Motivation
Experience with equality types (along with more experience writing recursive functions with pattern matching).
Code to Implement
file: | src/main/sml/warm_up_remove_first/remove_first.sml | ![]() |
functions: | remove_first |
remove_first
fun remove_first(xs : ''a list, target : ''a) : ''a list = raise NotYetImplemented
Remove the first item which matches target
if it exists. For example, remove_first([1,2,3,4,5], 3)
should return the list [1,2,4,5]
.
If the target does not exist, return the complete list. For example, remove_first([1,2,3,4,5], 6)
should return the list [1,2,3,4,5]
.
Test
file: | unit_test_remove_first.sml | |
source folder: | src/test/sml/warmup_remove_first |