kanishka
Current prospect for typed replacement? (gleam doesn't support elixir macros)
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).
Most Liked
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.
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:
Last Post!
kanishka
Popular in Discussions
Other popular topics
Chat & Discussions>Discussions
Latest on Elixir Forum
Sponsor Spotlight
Deploy Phoenix to your own VPS with PaaS ease: push-to-deploy, zero downtime, auto SSL, managed Postgres. 14-day free trial at potions.io
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #elixirconf-us
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #security
- #hex
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
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.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Producing high quality Elixir screencasts since 2017.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"