Think you've got it?
SML & Types Implementation
1.Before looking at the solution, try writing an SML function to compute the length of a list.
2.Write the inferred type of an append function that concatenates two lists in SML. The function should work with lists of any type, so long as the list types are the same.
3.What are the benefits and drawbacks of using Maybe in SML
4.Explain what would cause a type conflict error in SML
5.What is the Racket equivalent of SML pattern matching _::t on a list myList?
6.What is the SML equivalent of the Racket function (define (myfun x) (+ (not x) 5))?
7.What is the type of an SML filter function that removes elements from a list matching a predicate?
8.What is the advantage of running a type checking algorithm at compile time?
9.What OOP concept is supported by SMLs type parameters?