> ends up being the same checks you would be doing with a dynamic language Sure ... | Hacker News

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

		folex 64 days ago \| parent \| context \| favorite \| on: The Gleam Programming Language > ends up being the same checks you would be doing with a dynamic language Sure thing. Unless dev forgets to do (some of) these checks, or some code downstream changes and upstream checks become gibberish or insufficient.

tombert 64 days ago [–]

I know everyone says that this is a huge issue, and I am sure you can point to an example, but I haven’t found that types prevented a lot of issues like this any better than something like Erlang’s assertion-based system.

instig007 63 days ago | [–]

When you say "any better than" are you referring to the runtive vs comptime difference?

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