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	99	13094	July 19, 2024
TypeResolver - parse and resolve spec types into convenient structs Libraries types , typespecs , macros , type-checking	0	72	July 19, 2024
Typing violation warning when comparing atoms Questions / Help types , static-types , type-checking	13	441	July 1, 2024
`:any` type for embedded schemas in non-virtual fields Questions / Help types , embedded_schema , ecto	7	324	April 10, 2024
Better to use t vs t() for type specifications? Questions / Help types , algebraic_data_type , type-checking	4	292	April 6, 2024
Elixir new type system helpful gist Chat / Discussions types	5	948	April 6, 2024
Do we have a way to suppress type warnings until they are robust? Chat / Discussions types	0	264	February 2, 2024
Full static type inference of set theoretic types Chat / Discussions types , static-types	57	3479	January 29, 2024
Type binary() vs String.t() Questions / Help types , typespecs	1	283	December 20, 2023
2023/11/08 - Elixir Meetup - Gent (Belgium) Events List types , ecto_sql	0	321	October 10, 2023
:mnesia.table() and :mnesia.create_option() types not recognized Questions / Help types , mnesia	2	300	September 21, 2023
Types 'n' Testing Chat / Discussions types , testing	66	2001	August 28, 2023
Converting an enumerated type from swift into an equivalent in elixir Questions / Help types , typespecs , beginners-questions	2	370	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	1504	June 22, 2023
Create @behaviour and @type with macro Questions / Help types , behaviour	5	722	June 21, 2023
Podcast: Elixir Wizards Podcast - Interview with José, Guillaume, & Giuseppe - [S10E12] Blogs & Podcasts via-devtalk , phoenix , podcasts-by-sundi , types , podcasts	5	721	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	3220	May 2, 2023
Any update on the Set theoretic types? Chat / Discussions types	3	1758	April 27, 2023
Get types from struct in compilation time Questions / Help vex , typedstruct , types , defstruct , compiling	2	586	April 24, 2023
How to convert a typed definition to a typedstruct? Questions / Help typespecs , types , typedstruct	6	1050	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	4537	December 8, 2022
Set-theoretic types across process boundaries? Chat / Discussions processes , type-checking , types	1	738	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	2367	July 21, 2022
Build a union type from a list? Questions / Help typespecs , types	5	1265	July 19, 2022
A gradual type system for Elixir (ScienceDirect) - has anyone seen this paper on static typing for Elixir? Other Resources types	2	1565	April 29, 2022
Zero-cost abstraction for NewTypes in Elixir Chat / Discussions typespecs , static-types , types , wrapper	28	3374	April 7, 2022