At a glance the type system is quite barebones and nominative. I'd like to see G... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		lkjaldfwltjohw on Nov 8, 2023 \| parent \| context \| favorite \| on: Gleam: a type safe language on the Erlang VM 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

m8s on Nov 8, 2023 [–]

For what purpose? Is Gleam today unable to do things you’d like to be able to do?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact