Erlang Forums
types
Topic
Replies
Views
Activity
Cure, Four Releases Deep: From FSMs to Furniture
Blog Posts
types
,
via-devtalk
,
blog-post
,
cure
,
blogs-by-mudasobwa
0
75
April 18, 2026
EEP: Singleton Binary Literal Types
Proposals: RFC
erlang
,
types
,
eep
,
binary
0
133
March 8, 2026
Recommended way to do somethink like subtyping?
Questions / Help
best-practices
,
types
,
inheritance
7
181
December 25, 2025
Cure - a new language compiled to BEAM
Cure Forum
beam-languages
,
static-typing
,
types
,
fsm
22
1228
November 29, 2025
Why is the documentation I write missing from my types? (OTP25, rebar3_ex_doc)
Questions / Help
erlang
,
documentation
,
types
,
edoc
4
136
February 22, 2025
Binary literals as types
Questions / Help
erlang
,
types
,
dialyzer
,
typespec
7
167
September 20, 2024
EEP 71: Clarification of Type Documentation and Type Variables
Proposals: RFC
erlang
,
types
,
typespec
4
279
September 5, 2024
Gleam: Past, Present, Future! - Louis Pilfold @ FOSDEM 2024
Talks
gleam
,
talks
,
types
0
316
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
742
February 8, 2023
Post-doc project for polymorphic records in dynamic languages (Erlang/Elixir)
Chat / Discussions
types
1
600
October 5, 2022
WhatsApp releases eqWAlizer - A type-checker for Erlang
Chat / Discussions
types
,
erlang-otp
,
eqwalizer
0
1301
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
703
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
4151
December 27, 2021