Naive Bayes classification in F#

Naive Bayes classification is a popular machine learning algorithm used to analyze text and decide which category it belongs to. This post presents an F# implementation of the algorithm, with a sample application demonstrating classification of questions submitted to StackOverflow and Programmers, based on their title only.