Topics tagged types

Topic	Replies	Views	Activity
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	100	13237	October 21, 2024
How to prepare for new set-theoretic types syntax / signatures? Questions / Help types , static-types , set-theoretic-types	12	555	October 1, 2024
Best practice for reusing typespecs Questions / Help types , typespecs , learning-elixir	5	87	September 26, 2024
TypeResolver - parse and resolve spec types into convenient structs Libraries types , typespecs , macros , type-checking	0	74	July 19, 2024
Typing violation warning when comparing atoms Questions / Help types , static-types , type-checking	13	449	July 1, 2024
`:any` type for embedded schemas in non-virtual fields Questions / Help types , embedded_schema , ecto	7	332	April 10, 2024
Better to use t vs t() for type specifications? Questions / Help types , algebraic_data_type , type-checking	4	297	April 6, 2024
Elixir new type system helpful gist Chat / Discussions types	5	973	April 6, 2024
Do we have a way to suppress type warnings until they are robust? Chat / Discussions types	0	266	February 2, 2024
Full static type inference of set theoretic types Chat / Discussions types , static-types	57	3519	January 29, 2024
Type binary() vs String.t() Questions / Help types , typespecs	1	286	December 20, 2023
2023/11/08 - Elixir Meetup - Gent (Belgium) Events List types , ecto_sql	0	322	October 10, 2023
:mnesia.table() and :mnesia.create_option() types not recognized Questions / Help types , mnesia	2	301	September 21, 2023
Types 'n' Testing Chat / Discussions types , testing	66	2007	August 28, 2023
Converting an enumerated type from swift into an equivalent in elixir Questions / Help types , typespecs , beginners-questions	2	373	July 3, 2023
Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game Blogs & Podcasts via-devtalk , types , podcasts , dialyzer , static-typing , podcasts-by-brainlid	0	343	June 27, 2023
How to typespec a float range in Elixir? Questions / Help types , typespecs	20	1556	June 22, 2023
Create @behaviour and @type with macro Questions / Help types , behaviour	5	732	June 21, 2023
Podcast: Elixir Wizards Podcast - Interview with José, Guillaume, & Giuseppe - [S10E12] Blogs & Podcasts via-devtalk , phoenix , podcasts-by-sundi , types , podcasts	5	723	June 8, 2023
Resources for how types are implemented in Elixir? Chat / Discussions types	0	488	May 5, 2023
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls types , static-types , type-checking , typespecs	21	3281	May 2, 2023
Any update on the Set theoretic types? Chat / Discussions types	3	1763	April 27, 2023
Get types from struct in compilation time Questions / Help vex , typedstruct , types , defstruct , compiling	2	591	April 24, 2023
How to convert a typed definition to a typedstruct? Questions / Help typespecs , types , typedstruct	6	1072	January 26, 2023
Domo - model a business domain with type-safe structs and field type range checks Libraries structs , typespecs , constraint , ddd , type-checking , types , domo	27	4545	December 8, 2022
Set-theoretic types across process boundaries? Chat / Discussions processes , type-checking , types	1	739	October 12, 2022
Weird behavior in a test case Questions / Help testing , unit-testing , type-checking , types , test	7	704	August 11, 2022
Do these type make any sense? Questions / Help types	6	518	August 8, 2022
Adapting to Elixir, coming from C# and Typescript Questions / Help workflow , ide , types	13	2401	July 21, 2022
Build a union type from a list? Questions / Help typespecs , types	5	1279	July 19, 2022