Topics tagged types

Topic	Replies	Views	Activity
Ivoking a macro within a @type on the right side of `::` Questions / Help metaprogramming , macros , typespecs , types	1	112	January 13, 2022
Domo - model a business domain with type-safe structs and field type range checks Libraries structs , typespecs , constraint , ddd , type-checking , types , domo	17	1708	January 3, 2022
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	87	6752	November 23, 2021
Wheres the idiomatic place to add type specs? Chat / Discussions types	4	201	November 5, 2021
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	403	August 26, 2021
Podcast: ElixirMix 141 - Domo and Type Validations ft. Ivan Rublev Blogs & Podcasts podcasts , ddd , types , podcasts-by-wolf4earth	0	201	August 19, 2021
Podcast: Podcast: ElixirMix 139 - Gleam and Typing ft. Louis Pilfold Blogs & Podcasts beam , podcasts , types , gleam , podcasts-by-wolf4earth	0	274	August 11, 2021
Typespec for a type implementing behaviour Questions / Help behaviours , types	6	788	July 25, 2021
What does this Erlang type syntax for a map mean? Questions / Help erlang , types	3	264	June 23, 2021
Parametric generics, shrinking and negation in typespecs Questions / Help typespecs , types , help , generics , parametricity	3	284	March 23, 2021
TypeScript, but for Elixir? Chat / Discussions type-checking , types	20	1947	March 19, 2021
Macro to generate record and matching @type Questions / Help macros , records , types	0	212	February 17, 2021
Explanatinos about `use Ecto.Type` and `@behaviour Ecto.Type` Questions / Help ecto , behaviours , use , types	3	1038	February 6, 2021
Can you define spec for function with specific arity? Questions / Help typespecs , types	9	607	January 30, 2021
Please help me understand the following typespec Questions / Help types	4	289	November 15, 2020
Typespec for any struct with required key Questions / Help struct , types	1	282	November 13, 2020
Typespecing a map of arbitrary integer keys? Questions / Help static-types , type-checking , types	6	466	October 27, 2020
Stories of success or despair when foregoing typespecs in Elixir/Erlang Chat / Discussions types , static-typing	14	1285	August 24, 2020
What exactly is t() (except type specification) Questions / Help types	4	837	August 18, 2020
Static type casting instead of dynamic for code quality/readability/production Questions / Help phoenix , deployment , types	2	327	June 29, 2020
User defined tags and type-safe structs for domain modelling (Domo library) Libraries dialyzer , algebraic_data_type , typespecs , static-types , type-checking , types	12	1262	June 1, 2021
Why type-check functions do not end with a question mark? Questions / Help type-checking , types	2	340	February 27, 2020
Dialyzer Unknown type for struct Questions / Help dialyzer , defstruct , types	3	582	January 17, 2020
Which type would you define here? Questions / Help types	3	304	January 14, 2020
Loggable - protocol for custom views of data in logs (hide sensitive data etc) Libraries logging , protocols , privacy , types , sensitive-data	0	462	August 21, 2019
Calculus - New data types, private, immutable fields and smart constructors Libraries abstractions , types , smart-constructors , private-fields , encapsulation	16	1509	August 20, 2019
Equalable, Comparable, Readable - missing kernel protocols Libraries protocols , polymorphism , types , type-classes , n-ary-protocols	0	490	August 17, 2019