I wonder how/if Elixir (and Gleam) can build on top of that!
15 Likes
Fantastic!
1 Like
Exciting! Iām really curious what āa flavourā means in more technical terms. Didnāt catch the stream from Code BEAM, was anything more specific mentioned?
1 Like
Well I would assume its not so much elixir building on top of it, because I assume it is mostly at the compiler level and building to the same BEAM byte code. but I am now intereted
2 Likes
Wow this is very exciting! This is the first time Iāve seen such support for static typing from an enterprise level! Iāll be keeping an eye on this for sure.
Amazing! I wonder thenā¦ maybe there will be an Elixir 2 after all 
How to decipher the tweet?
Modern Erlang
I donāt like the word modern. What would a ātimeless erlang languageā look like? To me modern implies that in a couple of years it will not be modern. It will be dated.
My guess is that theyāve glanced at ReasonML and that it will look similar.
Integrated tooling
I donāt know what this mean. Perhaps compiler, linter, debugger, deploy tools, editor integration, build systems, live tracing, package repositories. Everything accessible programmatically in the core language? Anyone willing to make a guess?
Are there any languages that have got integrated tooling today? Smalltalk?
1 Like
So excited for this.
1 Like
Has there been any updates on this?
There was a notice mentioning that they had made good progress in some areas but that getting it to work with existing code was much harder than anticipated. This means that the release of the code has been delayed. I donāt think they mentioned a new date.
5 Likes
Still no news I assume?
2 Likes
I saw it mentioned on the erlang mailing list: http://erlang.2086793.n4.nabble.com/New-EEP-draft-Pinning-operator-in-patterns-td4728380i180.html#a4728685
I quote:
The main thing that the team focused on was trying to find a model of static typing that could work in practice for real Erlang code (of which WhatsApp has a lot) - one that could give you quick feedback (even in the editor) and complete certainty that all checked parts of the code had no type errors (thus not like dialyzer). As you may also have heard already, this direction was put on ice at the end of 2020, because it seemed like it couldnāt provide a transition route quickly enough. The project continues, but for now focusing on incremental improvements.
6 Likes
How disapointing ! It seems they underestimated the difficulty.
1 Like
Hereās an early prototype of ErlT.
3 Likes
Am I reading it correctly that integer and float are combined as number?
1 Like
Language overview seems to say so erlt/language_overview.md at master Ā· WhatsApp/erlt Ā· GitHub
1 Like
I was honestly a bit surprised that they made an attempt after other computer science greats like Simon Marlow or Philip Wadler had already tried their hand at it.
https://learnyousomeerlang.com/types-or-lack-thereof
1 Like
@b1az Do you know why itās archived?
1 Like
1 Like
Ah, Thnx @stefanluptak
1 Like
