# Erlang type system efforts

**URL:** <https://erlangforums.com/t/erlang-type-system-efforts/749>\
**Category:** BEAM Chat / Discussions\
**Tags:** static-typing, types\
**Created:** [December 6, 2021, 1:50pm UTC](https://erlangforums.com/t/erlang-type-system-efforts/749 "2021-12-06T13:50:30Z")\
**Posts on this page:** 1\
**Showing post:** 5

<div class="post-metadata">

**Author:** ![AstonJ](https://erlangforums.com/user_avatar/erlangforums.com/astonj/32/9_2.png) [@AstonJ](https://erlangforums.com/u/AstonJ)\
**Post date:** [December 6, 2021, 3:04pm UTC](https://erlangforums.com/t/erlang-type-system-efforts/749/5 "2021-12-06T15:04:36Z")

</div>

> [@kaashyapan](#):
>
> What’s going on with the Erlang typing efforts ?  
> Last I heard, Whatsapp had an internal project which was subsequently shelved.

I believe @alavrik was the lead for that project but it was dropped - perhaps Anton or @max-au might be able to shed some light as to why 😊

There were a few threads about it:

> **[Facebook is writing a new, statically typed language to run on the BEAM?!](https://elixirforum.com/t/facebook-is-writing-a-new-statically-typed-language-to-run-on-the-beam/29829)**
>
> I stumbled upon this tweet by @devonestes and I find this information very interestnig. I hope we could discuss it a bit more here. What do you think about it?

> **[Statically Typed Erlang by Whatsapp in November!](https://elixirforum.com/t/statically-typed-erlang-by-whatsapp-in-november/34291)**
>
> I wonder how/if Elixir (and Gleam) can build on top of that!

> **[Scaling Erlang Developer Experience at WhatsApp \[pdf\]](https://forum.devtalk.com/t/scaling-erlang-developer-experience-at-whatsapp-pdf/2061/3?u=astonj)**
>
> Hi @Aston, this is not a new language. I’d love to share more, but I don’t wan to cause confusion before we are ready to share details properly in November.

> [@kaashyapan](#):
>
> Are there any other ongoing projects other than the Elixir ones (Typecheck, Norm etc…) ?

I was going to link to @Qqwy’s [TypeCheck](https://elixirforum.com/t/typecheck-fast-and-flexible-runtime-type-checking-for-your-elixir-projects/32886) but you’ve already mentioned it.

Aside from that and in terms of a full language, currently Gleam looks like it might be the best fit as Louis is keen on BEAM/Erlang/Elixir interop from what I gather from his posts 😃

> [@What do we need for better BEAM interop?](https://erlangforums.com/t/what-do-we-need-for-better-beam-interop/245/24):
>
> Love this thread, I’ve been thinking about this a lot over the years, and much of Gleam’s design was made with this in mind. Gleam’s standard library is on Hex, largely so Hex can be used to manage all deps rather than needing the OS package manager for that. I’ve not yet done the plumbing for this yet but soon published Gleam Hex packages will include the precompiled Erlang output and typespecs, so if you’re an Erlang or Elixir user you won’t need to install the Gleam compiler to make use o…

---

_[View the full topic](https://erlangforums.com/t/erlang-type-system-efforts/749)._