Erlang Forums
types
Topic
Replies
Views
Activity
BEAM There, Done That with Annette Bieniusa & Guillaume Duboc - Typing Erlang & Elixir After 30 Years
Podcasts
beam-there-done-that
,
types
0
58
July 3, 2026
More parametric polymorphism in lists?
Chat / Discussions
types
,
dialyzer
,
elp
4
182
June 30, 2026
Cure, Four Releases Deep: From FSMs to Furniture
Blog Posts
types
,
blog-post
,
via-devtalk
,
cure
,
blogs-by-mudasobwa
0
89
April 18, 2026
EEP: Singleton Binary Literal Types
Proposals: RFC
erlang
,
eep
,
types
,
binary
0
155
March 8, 2026
Recommended way to do somethink like subtyping?
Questions / Help
types
,
inheritance
,
best-practices
7
208
December 25, 2025
Cure - a new language compiled to BEAM
Cure Forum
beam-languages
,
static-typing
,
types
,
fsm
21
1364
November 29, 2025
Why is the documentation I write missing from my types? (OTP25, rebar3_ex_doc)
Questions / Help
edoc
,
documentation
,
types
,
erlang
4
150
February 22, 2025
Binary literals as types
Questions / Help
typespec
,
types
,
dialyzer
,
erlang
7
199
September 20, 2024
EEP 71: Clarification of Type Documentation and Type Variables
Proposals: RFC
typespec
,
types
,
erlang
4
296
September 5, 2024
Gleam: Past, Present, Future! - Louis Pilfold @ FOSDEM 2024
Talks
gleam
,
talks
,
types
0
320
February 11, 2024
Documentation for types similar to Elixir's `@typedoc`
Questions / Help
erlang
,
documentation
,
types
,
edoc
1
627
March 25, 2023
How to parse type specifications?
Questions / Help
types
,
spec
3
758
February 8, 2023
Post-doc project for polymorphic records in dynamic languages (Erlang/Elixir)
Chat / Discussions
types
1
613
October 5, 2022
WhatsApp releases eqWAlizer - A type-checker for Erlang
Chat / Discussions
types
,
erlang-otp
,
eqwalizer
0
1309
August 2, 2022
Is it possible to import types so as to leave off `module_name` from `module_name:type_name()`?
Questions / Help
types
,
spec
4
715
June 16, 2022
25-rc-x: JIT and Types - any further info?
Questions / Help
types
,
jit
2
863
March 24, 2022
Erlang type system efforts
BEAM Chat / Discussions
static-typing
,
types
14
4223
December 27, 2021