Pontifications

"There are a lot of languages and tools that can be used for data science. Why should you choose F#? A two-word answer to the question is type providers. However, there are other reasons." <- From Tomas Petricek: Analyzing and visualizing data with F#
F#’s type providers sound great!
I’m intrigued by F# and the fact that there is a verified implementation of TLS in F# and F7, miTLS