5 ms·

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'

• dnautics 6y ago
  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.
  • modernerd 6y ago
    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:JkQRkuQWRL8J:https://twitter.com/devoncestes/status/1307042045693956099+&cd=2&hl=en&ct=clnk&gl=at https://webcache.googleusercontent.com/search?q=cache:JkQRku...
    • tym0 6y ago
      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.
• mastermind1014 6y ago
  Check out Caramel [1] as well - [1] https://github.com/AbstractMachinesLab/caramel https://github.com/AbstractMachinesLab/caramel
  • mikhailfranco 6y ago
    and Hamler too ... https://www.hamler-lang.org https://www.hamler-lang.org https://github.com/hamler-lang https://github.com/hamler-lang https://news.ycombinator.com/item?id=23491516 https://news.ycombinator.com/item?id=23491516
• flubert 6y ago
  Maybe also add Idris? https://github.com/chrrasmussen/Idris2-Erlang https://github.com/chrrasmussen/Idris2-Erlang