Rust types from JSON samples. Approximating type providers with procedural macros in Rust

When programmers access external data in a statically typed programming language, they often face a dilemma between convenient and type-safe access to the data.


In the programming language F#, a concept called type providers has been proposed as a solution to this problem by having compiler support for libraries with the capability to generate types at compile time.


This thesis presents json_typegen, a project which aims to show the feasibility of similar solutions in the RUSTprogramming language. The project uses compile-time meta-programming along with alternative interfaces to the same code generation implementation to achieve convenient, type-safe access in the JSON data format. While JSON is chosen as a format for the presented library, the approach  also applies to other data formats and sources

Tags: learning of types, Rust, programming languages, type providers, type safety, JSON By Eric Vesteraas
Published Aug. 21, 2017 3:05 PM - Last modified Aug. 21, 2017 3:07 PM