Тёмный

How I grew to love Erlang type specs - Marc Sugiyama | Code BEAM Europe 2023 

Code Sync
Подписаться 12 тыс.
Просмотров 880
50% 1

"✨This talk was recorded at Code BEAM Europe 2023. If you're curious about our upcoming event, check codebebeameurope.com ✨
Abstract:
Erlang is a typeless language, but our programs have types. Large teams and long running projects need to communicate how our programs work. Typing structures and functions beyond the Erlang base types makes code easier to understand, change, and debug. This talk covers how I grew from finding type specs an annoyance to loving them.
Let's keep in touch! Follow us on:
💥 Twitter: / codebeamio
💥 Facebook: / codesyncglobal
💥 Linkedin: / code-sync
💥 Mastodon: genserver.social/codesync "

Наука

Опубликовано:

 

19 май 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 4   
@carnelyve866
@carnelyve866 28 дней назад
Great talk. 🔥
@violinalone
@violinalone 26 дней назад
as J.A. would sometimes insist: foo() -> {ok, A} = file:open("file.txt", read), ok = file:close(A), {ok, B} = file:read(A), {ok, B}. Not a single type-checker in the world would catch this.
@VonCarlsson
@VonCarlsson 25 дней назад
The equivalent Rust code would result in a compilation error
@lechindianer
@lechindianer 25 дней назад
​@@VonCarlssonI'm not proficient with Haskell or Idris but from what I've experienced during discussions with those devs I guess those 2 languages won't allow it either
Далее
heavy boot #tiktok
00:16
Просмотров 948 тыс.
Strong Arrows for Elixir Gradual Typing
4:30
Просмотров 1,1 тыс.
25 nooby Python habits you need to ditch
9:12
Просмотров 1,7 млн
Rust Functions Are Weird (But Be Glad)
19:52
Просмотров 126 тыс.
keren sih #iphone #apple
0:16
Просмотров 1,7 млн
keren sih #iphone #apple
0:16
Просмотров 1,7 млн