Functional Programming & Proofs


Sample Applications

1. Excel-like applications
How to ...

  1. Represent the following table in F# ?
bill | 14
kate | 18
john |  7
...  | ..
  1. Add (+1) to the values ?
  2. Select the elements having a value (<10) after the transformation ?
  3. Get the mean of the values ?
  4. Add a third columns composed with [13;17;20] ?
  5. Add a fourth column composed with the mean of each line ?
  6. Append the following data ?
mike | 15 | 13
bob  | 16 | 18
  1. Gives some properties of map, @ and filter.