How I grew to love Erlang type specs - Marc Sugiyama | Code BEAM Europe 2023
Рет қаралды 878
29 күн бұрын"✨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 "
@carnelyve866 27 күн бұрын
Great talk. 🔥
@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 25 күн бұрын
The equivalent Rust code would result in a compilation error
@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
Code Sync
Рет қаралды 19 М.
Code Sync
Рет қаралды 4,3 М.
Code Sync
Рет қаралды 1,1 М.
Code Sync
Рет қаралды 625
Sameer Gaming
Рет қаралды 2,6 МЛН
Павел Хмурчик
Рет қаралды 63 М.
Мозголом
Рет қаралды 302 М.
spline
Рет қаралды 521 М.