Topics tagged algebraic_data

Topic	Replies	Views	Activity
Better to use t vs t() for type specifications? Questions algebraic_data_type , type-checking , types	4	411	April 6, 2024
Will the new type system allow defining Sum types? Questions algebraic_data_type , static-types , sum-types	17	2241	March 7, 2024
How to define Macro for a new Type? Questions algebraic_data_type , macro , types , defmacro	9	2212	April 6, 2022
Incorrect dialyzer warning with defguard Questions dialyzer , algebraic_data_type , defguard , types	1	883	April 6, 2022
User defined tags and type-safe structs for domain modelling (Domo library) Announcing library , dialyzer , algebraic_data_type , typespecs , static-types , type-checking , types	11	2682	June 12, 2020
Wonderland - functional programming library Announcing library , monads , algebraic_data_type , encapsulation , type-classes , wonderland , functors , applicatives	0	830	March 15, 2020
How to make Dialyzer more strict? Questions dialyzer , algebraic_data_type , typespecs	51	10857	January 13, 2020
Highly advanced type constructors in Elixir Questions syntax , algebraic_data_type	2	1049	May 17, 2018
How to declare type variables using elixir/dialyixir? Questions dialyzer , algebraic_data_type , typespecs , dialyxir	16	4693	May 4, 2018
Algebraic Data Types (Functors, Monads, etc) General Prog (Archived) monads , algebraic_data_type	2	5890	January 13, 2017