Erlang Forums
types
Topic
Replies
Views
Activity
EEP: Singleton Binary Literal Types
Proposals: RFC
erlang
,
types
,
eep
,
binary
0
110
March 8, 2026
Recommended way to do somethink like subtyping?
Questions / Help
best-practices
,
types
,
inheritance
7
178
December 25, 2025
Cure - a new language compiled to BEAM
Cure Forum
beam-languages
,
static-typing
,
types
,
fsm
22
1179
November 29, 2025
Why is the documentation I write missing from my types? (OTP25, rebar3_ex_doc)
Questions / Help
erlang
,
documentation
,
types
,
edoc
4
131
February 22, 2025
Binary literals as types
Questions / Help
erlang
,
types
,
dialyzer
,
typespec
7
153
September 20, 2024
EEP 71: Clarification of Type Documentation and Type Variables
Proposals: RFC
erlang
,
types
,
typespec
4
277
September 5, 2024
Gleam: Past, Present, Future! - Louis Pilfold @ FOSDEM 2024
Talks
gleam
,
talks
,
types
0
314
February 11, 2024
Documentation for types similar to Elixir's `@typedoc`
Questions / Help
erlang
,
documentation
,
types
,
edoc
1
618
March 25, 2023
How to parse type specifications?
Questions / Help
types
,
spec
3
738
February 8, 2023
Post-doc project for polymorphic records in dynamic languages (Erlang/Elixir)
Chat / Discussions
types
1
599
October 5, 2022
WhatsApp releases eqWAlizer - A type-checker for Erlang
Chat / Discussions
types
,
erlang-otp
,
eqwalizer
0
1300
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
701
June 16, 2022
25-rc-x: JIT and Types - any further info?
Questions / Help
types
,
jit
2
854
March 24, 2022
Erlang type system efforts
BEAM Chat / Discussions
static-typing
,
types
15
4148
December 27, 2021
