Functional Programming & Proofs
Sample Applications
1. Excel-like applications
How to ...
- Represent the following
t
able in F#
?
bill | 14
kate | 18
john | 7
... | ..
- Add
(+1)
to the values ?
- Select the elements having a value
(<10)
after the transformation ?
- Get the
mean
of the values ?
- Add a third columns composed with
[13;17;20]
?
- Add a fourth column composed with the mean of each line ?
- Append the following data ?
mike | 15 | 13
bob | 16 | 18
- Gives some properties of
map
, @
and filter
.
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide