Topics tagged types

Topic	Replies	Views	Activity
2023/11/08 - Elixir Meetup - Gent (Belgium) Events List ecto_sql , types	0	154	October 10, 2023
Full static type inference of set theoretic types Chat / Discussions static-types , types	55	2368	September 27, 2023
:mnesia.table() and :mnesia.create_option() types not recognized Questions / Help mnesia , types	2	165	September 21, 2023
Types 'n' Testing Chat / Discussions testing , types	66	1423	August 28, 2023
Converting an enumerated type from swift into an equivalent in elixir Questions / Help typespecs , beginners-questions , types	2	232	July 3, 2023
Podcast: Thinking Elixir 157 - Adding Dialyzer Late in the Game Blogs & Podcasts dialyzer , podcasts , types , static-typing , via-devtalk , podcasts-by-brainlid , in-the-news	0	236	June 27, 2023
How to typespec a float range in Elixir? Questions / Help typespecs , types	20	763	June 22, 2023
Create @behaviour and @type with macro Questions / Help behaviour , types	5	342	June 21, 2023
Podcast: Elixir Wizards Podcast - Interview with José, Guillaume, & Giuseppe - [S10E12] Blogs & Podcasts phoenix , podcasts , types , via-devtalk , podcasts-by-sundi	5	470	June 8, 2023
Resources for how types are implemented in Elixir? Chat / Discussions types	0	329	May 5, 2023
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls typespecs , static-types , type-checking , types	21	2188	May 2, 2023
Any update on the Set theoretic types? Chat / Discussions types	3	1436	April 27, 2023
Get types from struct in compilation time Questions / Help compiling , defstruct , types , typedstruct , vex	2	370	April 24, 2023
How to convert a typed definition to a typedstruct? Questions / Help typespecs , types , typedstruct	6	581	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	3968	December 8, 2022
Set-theoretic types across process boundaries? Chat / Discussions processes , type-checking , types	1	576	October 12, 2022
Weird behavior in a test case Questions / Help testing , unit-testing , type-checking , types , test	7	467	August 11, 2022
Do these type make any sense? Questions / Help types	6	377	August 8, 2022
Adapting to Elixir, coming from C# and Typescript Questions / Help workflow , ide , types	13	1708	July 21, 2022
Build a union type from a list? Questions / Help typespecs , types	5	948	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	11468	June 19, 2022
A gradual type system for Elixir (ScienceDirect) - has anyone seen this paper on static typing for Elixir? Other Resources types	2	1277	April 29, 2022
Zero-cost abstraction for NewTypes in Elixir Chat / Discussions typespecs , static-types , types , wrapper	28	2786	April 7, 2022
How to define Macro for a new Type? Questions / Help algebraic_data_type , macro , types , defmacro	9	1410	April 6, 2022
Incorrect dialyzer warning with defguard Questions / Help dialyzer , algebraic_data_type , defguard , types	1	636	April 6, 2022
TypeScript, but for Elixir? Chat / Discussions type-checking , types	23	4603	February 21, 2022
Can an elixir comprehensions return something other than a List? Questions / Help comprehensions , list-comprehension , types	11	1191	February 15, 2022
How to combine @type? Questions / Help types	7	1145	February 8, 2022
Ivoking a macro within a @type on the right side of `::` Questions / Help metaprogramming , macros , typespecs , types	1	492	January 13, 2022
Wheres the idiomatic place to add type specs? Chat / Discussions types	4	482	November 5, 2021