41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a07df2-bf8b-70b9-9612-6e509fe9211a

Type inference of all constructs and the next 15 months

Elixir · published 9 January 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at elixir-lang.org Wayback capture

1blogs citing

First cited: 5 Feb 2026
Most recent: 3 Mar 2026
Rank this month: not ranked
Links from this post: 14
Words captured: 2,328

Cited by

Blog

In the post

Date

Type systems are leaky abstractions: the case of Map.take!/2 Read at the source ↗

3 Mar 2026

Why Elixir is the best language for AI Read at the source ↗

5 Feb 2026

Links from this post

Link

Host

https://github.com/elixir-lang/elixir/commit/337c3f2d569a42ebd5fcab6fef18c5e012f9be5b

github.com

My Future with Elixir: set-theoretic types Read at the source ↗

elixir-lang.org

https://arxiv.org/abs/2306.06391

arxiv.org

Type system updates: moving from research into development Read at the source ↗

elixir-lang.org

Strong arrows: a new approach to gradual typing Read at the source ↗

elixir-lang.org

https://www.cnrs.fr/

cnrs.fr

https://remote.com/

remote.com

https://www.fresha.com/

fresha.com

https://tidewave.ai/

tidewave.ai

Lazier Binary Decision Diagrams (BDDs) for set-theoretic types Read at the source ↗

elixir-lang.org

http://elixirforum.com

elixirforum.com

http://hexdocs.pm/elixir/1.20.0-rc.0/gradual-set-theoretic-types.html

hexdocs.pm

https://hexdocs.pm/elixir/1.20.0-rc.0/types-cheat.html

hexdocs.pm

https://github.com/elixir-lang/elixir/blob/v1.20.0-rc.0/CHANGELOG.md

github.com