April 28, 2024

Guillaume Duboc's PhD Thesis: Introducing a Type System to Elixir

210

clicks

Guillaume Duboc's PhD Thesis: Introducing a Type System to Elixir

Source: youtube.com

This talk, presented by Guillaume Duboc at Code BEAM Europe 2023, outlines the current state of his PhD thesis work on developing a type system for Elixir. Duboc explores set-theoretic types, explaining their unique suitability for Elixir programs. The presentation covers several critical areas of this type system, including the detection of common bugs, enforcing function interfaces, and the benefits of gradual typing that allows mixing typed and untyped code. Duboc also provides insights into the new syntax for types and discusses the potential challenges and forthcoming work in collaboration with Giuseppe Castagna and José Valim. The talk emphasizes the practical application of the type system, particularly in pattern matching and protocol implementation within Elixir.

Continue reading

Related posts

Exploring Best Practices for Deploying Erlang Applications Using Docker and Ansible

Jade Allen discusses the challenges and lessons learned while deploying Erlang applications in operational environments, focusing on Docker containers and Ansible scripting.

May 01, 2024

Enhancing Distributed Systems Programming

Mae Milano presents ideas for improving distributed systems programming by integrating concepts from programming languages into system design, aimed at reducing common errors and enhancing the effectiveness of programming at scale.

Mar 28, 2024

Understanding Elixir's Beautiful Abstractions and Frameworks

Bruce Tate delivers a keynote discussing how Elixir's frameworks and tools like Nerves, LiveView, NX, and LiveBook provide a natural and coherent development experience. He explores OTP behaviors, the use of macros in Phoenix and LiveView, and the overall elegance of Elixir's tooling in managing complexity and concurrency.

Apr 09, 2024

© HashMerge 2024