News for hackers. Stuff that matters.

A comment on Gleam 0.14 – Type-safe language for the Erlang VM. Parent comment

Re:Gleam 0.14 – Type-safe language for the Erlang VM by jolux on Thursday February 18, 2021 @07:51PM (#26188052)
>I don't have answers to everything; I don't know how to deal with a function that generates random numbers from 1 to 20 and crashes on 13, for example.

Most languages don't have a way to type that, I'm pretty sure it requires dependent types.

[ Parent | on HN ]

There are no comments on this comment yet.