Why Typing Erlang is Hard: Standard Erlang

Re:Why Typing Erlang is Hard: Standard Erlang by Snitch-Thursday on Friday November 06, 2020 @10:49AM (#25008447)

I'm watching Gleam[1] for my 'I want to learn Erlang but dont want to deal with having to do runtime type checks so I wish there was a Statically-Typed Erlang' dreams.

[1] https://gleam.run/news/gleam-v0.12-and-gleam-otp-v0.1-releas...

[ Parent | on HN ]

Re:Why Typing Erlang is Hard: Standard Erlang by mastermind1014 on Friday November 06, 2020 @01:17PM (#25009826)

Check out Caramel [1] as well -

[1] https://github.com/AbstractMachinesLab/caramel

[ Parent | on HN ]

Re:Why Typing Erlang is Hard: Standard Erlang by mikhailfranco on Sunday November 08, 2020 @08:13PM (#25030534)

and Hamler too ...

https://www.hamler-lang.org

https://github.com/hamler-lang

https://news.ycombinator.com/item?id=23491516

[ Parent | on HN ]

Re:Why Typing Erlang is Hard: Standard Erlang by dnautics on Friday November 06, 2020 @11:13AM (#25008680)

I think that devon estes has a point that it is likely that trying to graft a foreign typesytem onto the BEAM is not a good idea.

I'm glad someone is trying, though.

[ Parent | on HN ]

Re:Why Typing Erlang is Hard: Standard Erlang by modernerd on Friday November 06, 2020 @02:34PM (#25010414)

I think the tweet was deleted but it's cached here, for others like me who had not seen Devon's take:

https://webcache.googleusercontent.com/search?q=cache:JkQRku...

[ Parent | on HN ]

Re:Why Typing Erlang is Hard: Standard Erlang by tym0 on Saturday November 07, 2020 @06:30AM (#25014491)

Thanks for sharing. To save people a click the author of the tweet is opposed to adding a type system to Elixir not the BEAM, he seems to be seeing project like Gleam in a positive light.

[ Parent | on HN ]

Re:Why Typing Erlang is Hard: Standard Erlang by flubert on Friday November 06, 2020 @06:11PM (#25012005)

Maybe also add Idris?

https://github.com/chrrasmussen/Idris2-Erlang

[ Parent | on HN ]