Discussion on TypeCheck Library for Elixir

In this episode, the hosts of the Thinking Elixir podcast talk with Wiebe-Marten Wijnja about his project TypeCheck. TypeCheck introduces a new kind of runtime type checking for Elixir applications, building upon existing spec types. It even integrates with Dialyzer and can generate property-based test data, through a feature called 'spectest'. Spectests provide automated checks similar to doctests, ensuring functions adhere to their specs. The conversation also covers how TypeCheck can write type declarations for libraries like Ecto and Plug. Wiebe-Marten provides insights on how contributing to the library can enhance its functionality. Additionally, the episode features Elixir community news, including updates about the new Erlang Forums, the release of Elixir 1.13 RC, the ability to globally customize inspect, and the release of Livebook 0.3.