Functional Programming & Proofs
Trees and languages
- How to run
dotnet
interpreter ?
- (
let
, fun
ctions, type
s'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)
.
- How to define
boolean
set in F#
?
- (match) How to define standard booleans' operator (
not
, and
, etc.) ?
- (trees, abstract syntax) How to define set of boolean
expressions
?
- How to
print
or evaluate
boolean expressions ?
- (parametric types) How to generalize boolean expressions into any kind of expressions with, for instance, float expressions used in fuzzy logic ?
- (lists) How to model
streams
that can be either empty or composed with a value nd another stream ?
- (map) How to apply a function
f
to all the value of a stream ?
- (filter) How to select the element of a stream having a property
p
?
- (map2) How to compose two streams having the same size with a function/operator
g
?
- (reduce/fold) How to "merge" of tha values of a stream with a function/operator
o
?
1 - 10
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