Some selected algorithms in F#