Weekly panel discussion about Javascript on the front and back ends. This show is primarily focused on the web ecosystem, but also covers NodeJS, mobile, and language features.
TypeCheck with Wiebe-Marten Wijnja
MP3•Главная эпизода
Fetch error
Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on March 17, 2022 17:33 ()
What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.
Manage episode 306696678 series 2711529
Сделано ThinkingElixir.com и найдено благодаря Player FM и нашему сообществу. Авторские права принадлежат издателю, а не Player FM, и аудиоматериалы транслируются прямо с его сервера. Нажмите на кнопку Подписаться, чтобы следить за обновлениями через Player FM или скопируйте и вставьте ссылку на канал в другое приложение для подкастов.
We talk with Wiebe-Marten Wijnja about his project TypeCheck that provides a new kind of runtime type checking for Elixir applications. The syntax builds on your existing spec types so it still works for dialyzer but adds additional compile time created checks. It also works for generating property based test data. This feature comes out in a new ability called "spectest". Like doctests, you can have automated checks that verify the function adheres to the spec! We also cover how TypeCheck allows writing type declarations for other libraries like Ecto and Plug. There are some interesting ways for people to contribute! A very interesting library! Show Notes online - https://thinkingelixir.com/podcast-episodes/072-typecheck-with-wiebe-marten-wijnja
76 эпизодов