F# and The Elements of Computing Systems