Topics tagged type-checking

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	13100	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
"The pattern can never match the type." error from dialyzer Questions / Help learning-elixir , type-checking , dialyzer	12	288	June 1, 2024
Better to use t vs t() for type specifications? Questions / Help types , algebraic_data_type , type-checking	4	293	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	3226	May 2, 2023
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	911	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	4539	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
Eqwalizer: A Type-Checker for Erlang Chat / Discussions type-checking	5	1329	August 8, 2022
TypeScript, but for Elixir? Chat / Discussions type-checking , types	23	5511	February 21, 2022
Dialyzer cannot recognize error in function using polymorphic types Questions / Help dialyzer , static-types , type-checking	10	2393	February 18, 2022
Cannot understand warnings in Gradient Questions / Help static-types , type-checking , gradient	4	1346	February 7, 2022
Dialyzer woes: How to ignore certain warnings in macro-generated code? Questions / Help macros , dialyzer , type-checking	3	2229	January 23, 2022
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	1020	August 26, 2021
Typechecker for Elixir Chat / Discussions static-types , type-checking	14	4107	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	2658	March 3, 2021
Caramel: an OCaml to Erlang compiler Chat / Discussions (archived) compiler , ocaml , static-types , type-checking	5	2069	January 26, 2021
"Strongly-typed" Phoenix channel messages Chat / Discussions channels , phoenix , type-checking	1	863	November 6, 2020
Typespecing a map of arbitrary integer keys? Questions / Help static-types , type-checking , types	6	1344	October 27, 2020
Dialyzer - Function foo/1 has no local return Chat / Discussions dialyzer , type-checking	5	16789	October 13, 2020
Nice overview of Clojure Spec Chat / Discussions clojure , type-checking	2	877	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	2466	June 1, 2021
Why type-check functions do not end with a question mark? Questions / Help type-checking , types	2	778	February 27, 2020
Macro idea: total case statements Chat / Discussions typespecs , macros , case , type-checking , discussion	3	1265	March 14, 2019