Imperative Pseudocode to Pure Functional Algorithm with Gale-Shapely and F# (richardminerich.com)