Topics tagged types

Topic	Replies	Views	Activity
Domo - model a business domain with type-safe structs and field type range checks Libraries structs , typespecs , constraint , ddd , type-checking , types , domo	26	3030	November 16, 2022
Set-theoretic types across process boundaries? Chat / Discussions processes , type-checking , types	1	195	October 12, 2022
Weird behavior in a test case Questions / Help testing , unit-testing , type-checking , types , test	7	208	August 11, 2022
Do these type make any sense? Questions / Help types	6	239	August 8, 2022
Adapting to Elixir, coming from C# and Typescript Questions / Help workflow , ide , types	13	910	July 21, 2022
Build a union type from a list? Questions / Help typespecs , types	5	309	July 19, 2022
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	98	9317	June 19, 2022
A gradual type system for Elixir (ScienceDirect) - has anyone seen this paper on static typing for Elixir? Other Resources types	2	644	April 29, 2022
Zero-cost abstraction for NewTypes in Elixir Chat / Discussions typespecs , static-types , types , wrapper	28	1777	April 7, 2022
How to define Macro for a new Type? Questions / Help algebraic_data_type , macro , types , defmacro	9	630	April 6, 2022
Incorrect dialyzer warning with defguard Questions / Help dialyzer , algebraic_data_type , defguard , types	1	242	April 6, 2022
TypeScript, but for Elixir? Chat / Discussions type-checking , types	23	3226	February 21, 2022
Can an elixir comprehensions return something other than a List? Questions / Help comprehensions , list-comprehension , types	11	682	February 15, 2022
How to combine @type? Questions / Help types	7	564	February 8, 2022
Ivoking a macro within a @type on the right side of `::` Questions / Help metaprogramming , macros , typespecs , types	1	264	January 13, 2022
Wheres the idiomatic place to add type specs? Chat / Discussions types	4	337	November 5, 2021
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	596	August 26, 2021
Podcast: ElixirMix 141 - Domo and Type Validations ft. Ivan Rublev Blogs & Podcasts podcasts , ddd , types , podcasts-by-wolf4earth	0	307	August 19, 2021
Podcast: Podcast: ElixirMix 139 - Gleam and Typing ft. Louis Pilfold Blogs & Podcasts beam , podcasts , types , gleam , podcasts-by-wolf4earth	0	402	August 11, 2021
Typespec for a type implementing behaviour Questions / Help behaviours , types	6	1435	July 25, 2021
What does this Erlang type syntax for a map mean? Questions / Help erlang , types	3	404	June 23, 2021
Parametric generics, shrinking and negation in typespecs Questions / Help typespecs , types , help , generics , parametricity	3	444	March 23, 2021
Macro to generate record and matching @type Questions / Help macros , records , types	0	312	February 17, 2021
Explanatinos about `use Ecto.Type` and `@behaviour Ecto.Type` Questions / Help ecto , behaviours , use , types	3	1518	February 6, 2021
Can you define spec for function with specific arity? Questions / Help typespecs , types	9	983	January 30, 2021
Please help me understand the following typespec Questions / Help types	4	431	November 15, 2020
Typespec for any struct with required key Questions / Help struct , types	1	457	November 13, 2020
Typespecing a map of arbitrary integer keys? Questions / Help static-types , type-checking , types	6	685	October 27, 2020
Stories of success or despair when foregoing typespecs in Elixir/Erlang Chat / Discussions types , static-typing	14	1498	August 24, 2020
What exactly is t() (except type specification) Questions / Help types	4	1301	August 18, 2020