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.
Трек «Новый бизнес». Интервью с Егором Дроздовым (руководителем проектов ДИТ г.Москвы) и Дмитрием Рыжковым (директором по развитию бизнеса, Altarix). Ведущий -- Валерий Истишев (ведущий программы "Цифра", Москва 24 и сооснователь Droider.ru).
WinJS offers a very flexible and productive programming model for UI. C++ offers the most power and flexibility when it comes to developing Windows Runtime components. Put WinJS and C++ together and you have a highly productive toolset to build engaging applications for Windows, Windows Phone, and Xbox One. In this session, the speaker will take you through the steps to run the same code on all three platforms. Attend this session to learn how to build a flexible UI that is easily adaptable to the 1ft, 2ft, and 10ft user experience.