Congressman Mike Rogers was involved in the operation that killed Osama bin Laden, the debate surrounding NSA-leaker Edward Snowden, and the search for Malaysia Air 370. As Intelligence Committee Chairman, he led efforts to combat malicious cyber-attacks and developed policies to combat cyber-espionage. Hear this leader discuss how we can ensure security in a time of varied threats.
Windows Server and Microsoft Azure are ushering in the next generation of computing for modern apps and cloud infrastructure. What are Containers? Nano Server? New in Hyper-V? Azure Stack? How does this fit into Microsoft’s cloud strategy? Get the answers and see demos! Come learn about new software defined compute, software defined storage capabilities in Windows Server and Hyper-V.
Bleiben Sie auf dem Laufenden! Unsere kostenlosen Newsletter für Entwickler und IT-Professionals.
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.