The blog post is the author’s impressions of Gleam after it released version 1.4.0. Gleam is an upcoming language that is getting a lot of highly-ranked articles.
It runs on the Erlang virtual machine (BEAM), making it great for distributed programs and a competitor to Elixir and Erlang (the language). It also compiles to JavaScript, making it a competitor to TypeScript.
But unlike Elixir, Erlang, and TypeScript, it’s strongly typed (not just gradually typed). It has “functional” concepts like algebraic data types, immutable values, and first-class functions. The syntax is modeled after Rust and its tutorial is modeled after Go’s. Lastly, it has a very large community.
Strongly typed is not an opposite of gradually typed. I think you mean statically typed. Strong / Weak refers to how type casts are possible.