Topics tagged type-checking

Topic	Replies	Views	Activity
Way to selectively ignore elixir warnings (use case: tests in a library) Questions type-checking	4	297	June 6, 2026
What should I do to my library so that Elixir 1.19 and 1.20 do not produce warnings on libraries that implement behaviours? Troubleshooting behaviours , warnings , behaviour , type-checking	2	309	June 5, 2026
Cure - a new language compiled to BEAM Discussions static-types , type-checking , types , fsm	68	4585	April 23, 2026
Missing compilations on 1.20.0 rc.3 Questions compiling , type-checking	8	380	March 23, 2026
Type Checking macros with defoverrideable? Questions type-checking	3	149	March 16, 2026
Typechecking - connect the dots to verify routes? Questions type-checking	2	203	March 16, 2026
Static Type Checking on guards Questions type-checking	4	177	March 16, 2026
Warning about missing pattern match, despite pattern matching Questions type-checking	11	390	November 15, 2025
Typing violation because of `Application.compile_env/2` Questions type-checking , types	6	264	September 27, 2025
Are typespecs deprecated? (Reddit thread answer from Jose) Discussions type-checking	11	678	January 27, 2025
How to make a module depend on a behaviour? Questions dialyzer , type-checking	10	343	January 23, 2025
How to fix type violation warning from a macro in Elixir 1.18 Questions macros , type-checking	2	269	January 22, 2025
Why parentheses after nullary gradual types? Proposals: Ideas static-types , type-checking , types , set-theoretic-types	3	277	December 22, 2024
Credo check for encouraging pattern matching by struct in the parameters Questions pattern-matching , structs , credo , type-checking	1	185	December 20, 2024
How will Ash integrate the new Set Theoretic Type System? Questions type-checking , types , ash	2	215	December 17, 2024
Dialyzer warning from hell: no_return when calling erl_tar.create Questions type-checking	10	206	November 6, 2024
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Announcing library , dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	100	14534	October 21, 2024
TypeResolver - parse and resolve spec types into convenient structs Announcing macros , library , typespecs , type-checking , types	0	140	July 19, 2024
Typing violation warning when comparing atoms Questions static-types , type-checking , types	13	795	July 1, 2024
"The pattern can never match the type." error from dialyzer Questions dialyzer , learning-elixir , type-checking	12	665	June 1, 2024
Better to use t vs t() for type specifications? Questions algebraic_data_type , type-checking , types	4	392	April 6, 2024
Difference between test and running code for controllers Questions phoenix , static-types , type-checking	0	231	January 29, 2024
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls typespecs , static-types , type-checking , types	21	3645	May 2, 2023
String text = ”data type in Elixir”; Discussions macros , syntax , typespecs , type-checking	8	1043	December 29, 2022
Domo - model a business domain with type-safe structs and field type range checks Announcing library , structs , typespecs , constraint , ddd , type-checking , types , domo	26	4949	December 8, 2022
Set-theoretic types across process boundaries? Discussions processes , type-checking , types	1	773	October 12, 2022
Weird behavior in a test case Questions testing , unit-testing , type-checking , types , test	7	750	August 11, 2022
Eqwalizer: A Type-Checker for Erlang Discussions type-checking	5	1448	August 8, 2022
TypeScript, but for Elixir? Discussions type-checking , types	23	6115	February 21, 2022
Dialyzer cannot recognize error in function using polymorphic types Questions dialyzer , static-types , type-checking	10	2596	February 18, 2022