kanishka
I think some people at work who enjoy our elm front end were waiting for gleam to emerge as the typed alternative to elixir, with the ability to gradually migrate. Given that gleam doesn’t support calling macros, that feels like a dead end.
Assuming that we will remain happy with ecto and absinthe for a long time, what typed replacement should the elm enthusiasts be watching?
My best guesses are:
- an eventual elixir type system
- the polishing of rust libraries
- a full gleam ecosystem
I think ocaml and haskell either will not reach ecosystem feature complete or simplicity any time soon. Too much churn in node for people to get excited about typescript. No one likes scala, too many concepts. There might be some interest in f# depending on .net core direction.
My best guess is (2) is ready today and then (3) and (1) will emerge after a while, so maybe our elm enthusiasts should focus on (2).
Where Next?
Trending in Discussions
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Producing high quality Elixir screencasts since 2017.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #ai
- #elixirconf-us
- #blog-post
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #hex
- #security
- #metaprogramming
Our Sponsors
Build Elixir applications with speed and confidence.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Producing high quality Elixir screencasts since 2017.
**Building the future of software with AI, trust, and human connection.**
The deployment platform built for Elixir: PaaS ease, VPS control.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 3- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
derpycoder
As Jose Valim iterated on his Keynote, there won’t be a type system, rather Set Theoretic types.
Checkout his talk, he explains his reasoning amicably:
kanishka
I watched the talk. I had also seen posts mentioning set theoretic types. I am unclear how this means there won’t be a type system. It sounds more like a particular variety of type system, if the research is fruitful and does not end up requiring restrictions on the language’s expressiveness.
I tried understanding the paper, but it will require more effort. We’ll need simpler explanations of set theoretic types so that everybody can have some understanding of the concept without investing days into the paper.
kanishka
I think I was wrong before. The latest gleam notes mention macro support.