Functional Programming & Proofs


Trees and languages

  1. How to run dotnet interpreter ?
  2. (let, functions, types'synonyms and unions)
    How to define pi in F# ? How to compute the area of a circle in F# ?
    What is the area of a circle having radius equals to 2 ?
    Define pi, the area function and the real numbers' type.
    Also explain how to deal with expression such as area (-1.0).
  3. How to define boolean set in F# ?
  4. (match) How to define standard booleans' operator (not, and, etc.) ?
  5. (trees, abstract syntax) How to define set of boolean expressions ?
  6. How to print or evaluate boolean expressions ?
  7. (parametric types) How to generalize boolean expressions into any kind of expressions with, for instance, float expressions used in fuzzy logic ?
  8. (lists) How to model streams that can be either empty or composed with a value nd another stream ?
  9. (map) How to apply a function f to all the value of a stream ?
  10. (filter) How to select the element of a stream having a property p ?
  11. (map2) How to compose two streams having the same size with a function/operator g ?
  12. (reduce/fold) How to "merge" of tha values of a stream with a function/operator o ?

1 - 10