Be the first to like this
We live in an information-rich world that provides huge opportunities for programmers to explore and create exciting applications. Traditionally, statically typed programming languages have not been aware of the data types that are implicitly available in the outer world such as the web, databases and semi-structured files. This tutorial presents the recent work on F# Type Providers - a language mechanism that enables a smooth integration of diverse data sources into an ML-style programming language. As a case study, we look at a type provider for accessing the world development indicators from the World Bank and we will discuss some intriguing research problems associated with mapping real-world data into an ML-style type system.