mmoskal

20 ms·

1. 271.▲
   by mmoskal 7y ago

   There are also efforts at ETH to verify Rust using SMT solvers using methods similar to VCC and Dafny, see https://www.pm.inf.ethz.ch/research/prusti.html Adding verification once you have code is generally more diffic
2. 272.▲
   by mmoskal 7y ago

   Exactly. 'Static' refers to control flow which is static (no eval etc.). Handling of data is dynamic, with static types used as hints. It's also meant to run on a very constrained microcontrollers (think a few kB of RAM), a
3. 273.▲
   by mmoskal 8y ago

   In fact there is more dynamic features in now, including accessing arbitrary fields through 'any' type and typeof expression. What's missing is mostly eval and prototype inheritance (instead we use classes). There's also
4. 274.▲
   by mmoskal 8y ago

   Well, it actually runs on low end hardware with that resolution. It's also meant as educational tool, and for kids creating small pixel sprites is certainly easier than high res high quality graphics.
5. 275.▲
   by mmoskal 9y ago

   You can now also use Minecraft for Windows 10, see https://minecraft.makecode.com/setup
6. 276.▲
   by mmoskal 11y ago

   Chrome is certainly one of the supported browsers, and we do use TouchDevelop on desktop all the time. This is actually fixed in our beta version, see https://www.touchdevelop.com/app/beta
7. 277.▲
   by mmoskal 11y ago

   This paper: http://research.microsoft.com/en-us/um/people/moskal/pdf/bey... describes the basic idea behind integrating an IDE, GitHub-like collaboration, and an app store. The main thing about the