Topics tagged types

Topic	Replies	Views	Activity
Full static type inference of set theoretic types Chat / Discussions static-types , types	48	1590	September 22, 2023
:mnesia.table() and :mnesia.create_option() types not recognized Questions / Help types , mnesia	2	112	September 21, 2023
Types 'n' Testing Chat / Discussions types , testing	66	1210	August 28, 2023
Converting an enumerated type from swift into an equivalent in elixir Questions / Help typespecs , types , beginners-questions	2	178	July 3, 2023
Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game Blogs & Podcasts in-the-news , podcasts-by-brainlid , via-devtalk , static-typing , types , podcasts , dialyzer	0	184	June 27, 2023
How to typespec a float range in Elixir? Questions / Help types , typespecs	20	519	June 22, 2023
Create @behaviour and @type with macro Questions / Help types , behaviour	5	269	June 21, 2023
Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc \| ElixirConf EU 2023 Talks types , type-checking , static-types	6	1534	June 8, 2023
Podcast: Elixir Wizards Podcast - Interview with José, Guillaume, & Giuseppe - [S10E12] Blogs & Podcasts podcasts , phoenix , podcasts-by-sundi , via-devtalk , types	5	380	June 8, 2023
Resources for how types are implemented in Elixir? Chat / Discussions types	0	239	May 5, 2023
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls types , typespecs , static-types , type-checking	21	1835	May 2, 2023
Any update on the Set theoretic types? Chat / Discussions types	3	1272	April 27, 2023
Get types from struct in compilation time Questions / Help compiling , typedstruct , vex , defstruct , types	2	296	April 24, 2023
How to convert a typed definition to a typedstruct? Questions / Help typedstruct , types , typespecs	6	458	January 26, 2023
Domo - model a business domain with type-safe structs and field type range checks Libraries type-checking , constraint , typespecs , structs , domo , types , ddd	27	3811	December 8, 2022
Set-theoretic types across process boundaries? Chat / Discussions types , processes , type-checking	1	481	October 12, 2022
Weird behavior in a test case Questions / Help testing , unit-testing , type-checking , types , test	7	401	August 11, 2022
Do these type make any sense? Questions / Help types	6	337	August 8, 2022
Adapting to Elixir, coming from C# and Typescript Questions / Help types , ide , workflow	13	1497	July 21, 2022
Build a union type from a list? Questions / Help typespecs , types	5	781	July 19, 2022
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries validation , property-testing , dialyzer , typespecs , type-checking , types , type_check	98	10831	June 19, 2022
A gradual type system for Elixir (ScienceDirect) - has anyone seen this paper on static typing for Elixir? Other Resources types	2	1141	April 29, 2022
Zero-cost abstraction for NewTypes in Elixir Chat / Discussions wrapper , typespecs , static-types , types	28	2534	April 7, 2022
How to define Macro for a new Type? Questions / Help algebraic_data_type , defmacro , types , macro	9	1198	April 6, 2022
Incorrect dialyzer warning with defguard Questions / Help types , dialyzer , algebraic_data_type , defguard	1	527	April 6, 2022
TypeScript, but for Elixir? Chat / Discussions types , type-checking	23	4341	February 21, 2022
Can an elixir comprehensions return something other than a List? Questions / Help types , list-comprehension , comprehensions	11	1039	February 15, 2022
How to combine @type? Questions / Help types	7	1007	February 8, 2022
Ivoking a macro within a @type on the right side of `::` Questions / Help metaprogramming , macros , typespecs , types	1	449	January 13, 2022
Wheres the idiomatic place to add type specs? Chat / Discussions types	4	458	November 5, 2021