Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

TypeCheck Effortless Runtime Type Checking | Wiebe-Marten Wijnja | ElixirConf EU 2022

Автор: Code Sync

Загружено: 2023-01-18

Просмотров: 2213

Описание:

This video was recorded at ElixirConf EU 2022 - https://www.elixirconf.eu/

TypeCheck Effortless Runtime Type Checking | Wiebe-Marten Wijnja - Hammock-driven Developer

ABSTRACT
Marten loves conceiving things that just keep working. A Computing Scientist in body and mind. Marten has 14+ years of practical web-development experience. In 2012, he started to specialise in working with decentralised, distributed and fault-tolerant systems. Marten is an enthusiastic open sourcerer, a long-time developer using the Elixir programming language, known for maintaining some Elixir libraries, playing advocate of the devil on the elixir-lang-core mailing list and as a moderator on the Elixir Forum. In his spare time, Marten loves making music (piano, marimba), running, dancing and being excited by new discoveries.

Talk:
TypeCheck - Effortless runtime type-checking
TypeCheck is an Elixir library that takes your existing Elixir types + specs and builds runtime type-checks, clear error messages, improved documentation and automated property-based ‘spectests’ on top of them! In this talk, Marten will explain how simple it is to use TypeCheck in your projects and why and when you’d want to. Also, he will give a small peek behind the curtain of the extensive not-so-simple metaprogramming required to make all of this happen ;-).

Talk objectives:
Explain to people the pros (and some cons) of using runtime type-checking to improve their codebase’s code clarity, testability and resilience.

• Timecodes:
00:00 - 02:31 - Intro
02:32 - 13:10 - What is Typechecking and What is a Type?
13:11 - 21:23 - The Contract of a Function
21:24 - 24:36 - How Readable are the Error Messages?
24:37 - 31:54 - Advanced Features
31:55 - 36:13 - Conclusion & QnA

• Follow us on social:
Twitter:   / elixirconfeu  
LinkedIn:   / 27159258  

• Looking for a unique learning experience?
Attend the next Code Sync conference near you!
See what's coming up at: https://codesync.global

• SUBSCRIBE TO OUR CHANNEL
   / @codesync  

TypeCheck   Effortless Runtime Type Checking | Wiebe-Marten Wijnja | ElixirConf EU 2022

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

"config.exs is Simple" and Other Lies | Łukasz Niemier | ElixirConf EU 2022

Не помещайте типы в файлы .d.ts

Не помещайте типы в файлы .d.ts

Testing Asynchronous OTP | AndreaLeopardi | ElixirConf EU 2021

Testing Asynchronous OTP | AndreaLeopardi | ElixirConf EU 2021

TigerBeetlex an Elixir and Zig Love Story - Riccardo Binetti | ElixirConf EU 2025

TigerBeetlex an Elixir and Zig Love Story - Riccardo Binetti | ElixirConf EU 2025

Системы управления в реальных условиях с использованием Nerves - Пауэлл Кинни | NervesConf US 2025

Системы управления в реальных условиях с использованием Nerves - Пауэлл Кинни | NervesConf US 2025

Сокращения в IT. Пузырь лопнул

Сокращения в IT. Пузырь лопнул

Why Static Typing Came Back • Richard Feldman • GOTO 2022

Why Static Typing Came Back • Richard Feldman • GOTO 2022

👣 Ш!УМ. Грязные ноги Давоса: метла Зе, рука Трампа, полная панамка Европе. КОНЕЦ ВОЙНЫ, СВЕТА, ТЕПЛА

👣 Ш!УМ. Грязные ноги Давоса: метла Зе, рука Трампа, полная панамка Европе. КОНЕЦ ВОЙНЫ, СВЕТА, ТЕПЛА

Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023

Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023

Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?

Сисадмины больше не нужны? Gemini настраивает Linux сервер и устанавливает cтек N8N. ЭТО ЗАКОННО?

Update from the Elixir Core Team - José Valim | Code BEAM Europe 2023

Update from the Elixir Core Team - José Valim | Code BEAM Europe 2023

Secrets of the GHC Typechecker in 100 Type Declarations - Simon Peyton Jones

Secrets of the GHC Typechecker in 100 Type Declarations - Simon Peyton Jones

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

ElixirConf 2022 - Mark Ericksen - Going Global with a Normal Phoenix App

ElixirConf 2022 - Mark Ericksen - Going Global with a Normal Phoenix App

Кто пишет код лучше всех? Сравнил GPT‑5.2, Opus 4.5, Sonnet 4.5, Gemini 3, Qwen 3 Max, Kimi, GLM

Кто пишет код лучше всех? Сравнил GPT‑5.2, Opus 4.5, Sonnet 4.5, Gemini 3, Qwen 3 Max, Kimi, GLM

Будущее Без РАБОТЫ и ДЕНЕГ | Либерманы

Будущее Без РАБОТЫ и ДЕНЕГ | Либерманы

🔥 Европа ВОЕТ! ЕС рухнет в ближайшие годы. Экономике ХАНА!

🔥 Европа ВОЕТ! ЕС рухнет в ближайшие годы. Экономике ХАНА!

Lightning Talk: Elixir v1.17 and Types - José Valim | ElixirConf EU 2024

Lightning Talk: Elixir v1.17 and Types - José Valim | ElixirConf EU 2024

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

The Architecture of Oban Web  - Shannon Selbert & Parker Selbert | ElixirConf EU 2025

The Architecture of Oban Web - Shannon Selbert & Parker Selbert | ElixirConf EU 2025

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: infodtube@gmail.com