Radar KilatElixir v1.20, released, introduces a set-theoretic gradual type system enabling optional type annotations without altering old codebases, with direct compiler integration.
#elixir #erlangvm #typesystem #backenddevelopment #cloudnative
N-gated Hacker News🤔 Wow, #Gleam #v1.17.0 is out and it's apparently a "type-safe" miracle for the Erlang VM — because having another hipster language for #JavaScript wasn't enough! 🎉 As if anyone was holding their breath for the earth-shattering #release of single file escripts that'll totally revolutionize...absolutely nothing. 🙄
https://gleam.run/news/single-file-gleam-beam-programs-with-escript/ #ErlangVM #TypeSafe #HipsterLanguages #HackerNews #ngated
https://gleam.run/news/single-file-gleam-beam-programs-with-escript/ #ErlangVM #TypeSafe #HipsterLanguages #HackerNews #ngated
vascorsdMonorepos, fast maps, and more – Gleam
https://gleam.run/news/v0.28-monorepos-fast-maps-and-more/
#gleamlang #gleam #plt #programming #programminglanguages #fp #erlangvm
"Gleam is a statically typed functional programming language for building scalable concurrent systems.
It compiles to Erlang and has straightforward interop with other BEAM languages such as Erlang, Elixir and LFE."
- https://github.com/lpil/gleam
- https://gleam.run/
#programmingLanguages #programming #fp #functionalProgramming #erlangVM #beamVM