Set-theoretic Types for Erlang · HackerPapers discussions

Set-theoretic Types for Erlang — mentioned by lkjaldfwltjohw

Wed, 08 Nov 2023 00:39:41 GMT

At a glance the type system is quite barebones and nominative. I'd like to see Gleam add support for structural types and maybe set theoretic [1] [1] https://arxiv.org/abs/2302.12783

Paper and discussion history. A mention is not an endorsement.

Set-theoretic Types for Erlang — mentioned by anne_biene

Fri, 16 Jun 2023 14:29:05 GMT

There is interest from the Erlang community. Etylizer is a set-theoretic type checker developed for Erlang. We have different objectives, though, as we try to remain backwards compatible with the existing type specs. https://arxiv.org/pdf/2302.12783.pdf

Paper and discussion history. A mention is not an endorsement.

Set-theoretic Types for Erlang — HN submission

Tue, 28 Feb 2023 01:58:29 GMT

Set-Theoretic Types for Erlang

3 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.