Topics tagged type-checking

Topic	Replies	Views	Activity
Dialyzer warning from hell: no_return when calling erl_tar.create Questions / Help type-checking	10	67	November 6, 2024
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	100	13255	October 21, 2024
TypeResolver - parse and resolve spec types into convenient structs Libraries types , typespecs , macros , type-checking	0	75	July 19, 2024
Typing violation warning when comparing atoms Questions / Help types , static-types , type-checking	13	450	July 1, 2024
"The pattern can never match the type." error from dialyzer Questions / Help learning-elixir , type-checking , dialyzer	12	336	June 1, 2024
Better to use t vs t() for type specifications? Questions / Help types , algebraic_data_type , type-checking	4	297	April 6, 2024
Difference between test and running code for controllers Questions / Help static-types , type-checking , phoenix	0	201	January 29, 2024
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls types , static-types , type-checking , typespecs	21	3289	May 2, 2023
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	922	December 29, 2022
Domo - model a business domain with type-safe structs and field type range checks Libraries structs , typespecs , constraint , ddd , type-checking , types , domo	27	4548	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
Eqwalizer: A Type-Checker for Erlang Chat / Discussions type-checking	5	1336	August 8, 2022
TypeScript, but for Elixir? Chat / Discussions type-checking , types	23	5564	February 21, 2022
Dialyzer cannot recognize error in function using polymorphic types Questions / Help dialyzer , static-types , type-checking	10	2421	February 18, 2022
Cannot understand warnings in Gradient Questions / Help static-types , type-checking , gradient	4	1354	February 7, 2022
Dialyzer woes: How to ignore certain warnings in macro-generated code? Questions / Help macros , dialyzer , type-checking	3	2255	January 23, 2022
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	1022	August 26, 2021
Typechecker for Elixir Chat / Discussions static-types , type-checking	14	4116	July 7, 2021
Looking for codebases having lots of structs (to measure custom compiler times) Questions / Help structs , type-checking , domo	2	824	June 8, 2021
Why does dialyzer overlook this spec miss-match? Questions / Help ecto , dialyzer , type-checking	1	706	April 29, 2021
Closest thing to static type checking? Questions / Help type-checking	10	2715	March 3, 2021
Caramel: an OCaml to Erlang compiler Chat / Discussions (archived) compiler , ocaml , static-types , type-checking	5	2078	January 26, 2021
"Strongly-typed" Phoenix channel messages Chat / Discussions channels , phoenix , type-checking	1	869	November 6, 2020
Typespecing a map of arbitrary integer keys? Questions / Help static-types , type-checking , types	6	1353	October 27, 2020
Dialyzer - Function foo/1 has no local return Chat / Discussions dialyzer , type-checking	5	17412	October 13, 2020
Nice overview of Clojure Spec Chat / Discussions clojure , type-checking	2	879	September 11, 2020
Tyyppi — bringing erlang typespecs to runtime Libraries dialyzer , typespecs , type-checking , tyyppi	0	726	July 23, 2020
User defined tags and type-safe structs for domain modelling (Domo library) Libraries dialyzer , algebraic_data_type , typespecs , static-types , type-checking , types	12	2475	June 1, 2021
Why type-check functions do not end with a question mark? Questions / Help type-checking , types	2	780	February 27, 2020