Functional Programming & Proofs


Sample Applications

Sets' logic
How to ...

  1. Find if an element is in a list ?
  2. Compute the common elements of 2 lists (i.e. set's intersection) ?
  3. Remove elements from a list (i.e. set's difference) ?
  4. Get the "union" of two sets ?
  5. Remove duplicate elements from a list (i.e. transform into a "set") ?
  6. Explain how to define map, filter or @ with reduce/fold ?
  7. Give some properties of reduce/fold.