As of 0.9.5, you need to do a build (Ctrl+B) before type checking is initialized properly. Without such explicit build, you may face a whole host of errors while you edit your source files.

My favorite column in MSDN Magazine is Test Run; it was originally focused on testing, but the author, James McCaffrey, has been focusing lately on topics revolving around numeric optimization and machine learning, presenting a variety of methods and approaches. I quite enjoy his work, with one minor gripe –his examples are all coded in C#, which in my opinion is really too bad, because the algorithms would gain much clarity if written in F# instead. Back in June 2013, he published a piece on Amoeba Metho[...]

Microsoft Research are accepting applications for internships at our research lab in Cambridge, UK, for internships in Summer 2014. Applicants must currently be pursuing a Masters or PhD in Computer Science. More details on applying can be found here:http://research.microsoft.com/en-us/jobs/intern/about_uk.aspx This year, I personally am particularly interested in sponsoring internship applications in one or more of the following areas Applying experimental type systems and type-provider mechanisms to evo[...]

Microsoft Research are accepting applications for internships at our research lab in Cambridge, UK, for internships in Summer 2014. Applicants must currently be pursuing a Masters or PhD in Computer Science. More details on applying can be found here:http://research.microsoft.com/en-us/jobs/intern/about_uk.aspx This year, I personally am particularly interested in sponsoring internship applications in one or more of...