Erlang Solutions: Type-Checking Erlang and Elixir | Hacker News

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

		Erlang Solutions: Type-Checking Erlang and Elixir (erlang-solutions.com)
		5 points by PaulHoule on Oct 14, 2023 \| hide \| past \| favorite \| 1 comment

transfire on Oct 14, 2023 [–]

Maybe its not possible but wouldn’t it be best if the type system worked at the abstract format level, so then all Beam languages benefit?

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