TypeCheck with Wiebe-Marten Wijnja

Thinking Elixir Podcast

Контент предоставлен ThinkingElixir.com. Весь контент подкастов, включая выпуски, графику и описания подкастов, загружается и предоставляется непосредственно ThinkingElixir.com или его партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.

2+ y ago 46:20

MP3•Главная эпизода

Архивные серии ("Канал не активен" status)

When? This feed was archived on January 07, 2023 01:18 (1+ y ago). Last successful fetch was on October 24, 2022 11:28 (1+ y ago)

Why? Канал не активен status. Нашим серверам не удалось получить доступ к каналу подкаста в течении длительного периода времени.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

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 эпизодов

#News #Tech News #ThinkingElixir.com #Prog Languages #Tech #Podcasting Education #News Talk