Given a sufficiently strong type system, you can model your problem domain in such a way that invalid states become unrepresentable. This is one of the corner stones of encapsulation, but requires a lot of effort in mainstream object-oriented languages. In functional languages like F# and Haskell, on the other hand, this is possible using a purely declarative approach to types. Once your types can guarantee that only valid states are representable, Property-Based Testing becomes a breeze.
In this talk, we'll look at using the powerful combination of F# types and properties to address an example problem.
In this report, we shall consider a new component in Azure—Azure Resource Manager—which allows you to work with your application as a whole, rather than as a collection of disparate services and components. In addition, Azure Resource Manager allows tagging of resources and performs automatic application deployment in a development or test environment, as well as provides for dependency tracking for settings and resources in these environments.
Hotspot 2.0 (HS2) is based on a new Wi-Fi standard aimed at making Wi-Fi connectivity more seamless and secure. No more sifting through various network names, trying to figure out which network is safe and secure. No more wasting time on login screens or captive portals! In this session, we’ll take a look at how Windows 10 detects and securely connects you to Hotspot 2.0 networks – automatically. Speaker: Jay Mahendru