Answered in the Q&A video that followed the one you linked to. The project will be avoiding OS specific code as much as possible so I can't see a there being a dependency on visual studio. http://youtu.be/I5fNrmQYeuI?t=11m21s
pjungwir's example code is actually really close to what you'd see in F#. In F# you'd typically write it in a more functional way with say a recursive inner function but I'll leave it imperative for clarity's sake:
[<Measure>] type s
[<Measure>] type m
[<Measure>] type km
let mtokm (x:float<m>) = x * 1.<km>/1000.<m>
//the types of g and ground are inferred
let drop g ground (x0:float<m>) =
let mutable x = x0 //type inferred here
let mutable t = 0.0<s>
let mutable v = 0.0<m/s>
let dt = 0.01<s>
while x >= ground do
v <- v + g*dt
x <- x + v*dt
t <- t + dt
t
> drop -10.0<m/s^2> 0.<m> 50.<m>
val it : float<s> = 3.16
While VS 2013 has much better C++11 support it's not close to full compliance. The Visual C++ team have decided to work on C++11/C++14 together which is slowing C++11 a bit.
Here's a blog post laying out their plans.
http://blogs.msdn.com/b/somasegar/archive/2013/06/28/cpp-con...
