Topics tagged type-checking

Topic	Replies	Views	Activity
Credo check for encouraging pattern matching by struct in the parameters Questions / Help pattern-matching , structs , credo , type-checking	1	93	December 20, 2024
How will Ash integrate the new Set Theoretic Type System? Ash Questions / Help types , type-checking	2	134	December 17, 2024
Typing violation because of `Application.compile_env/2` Questions / Help types , type-checking	3	55	December 13, 2024
Dialyzer warning from hell: no_return when calling erl_tar.create Questions / Help type-checking	10	71	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	13324	October 21, 2024
TypeResolver - parse and resolve spec types into convenient structs Libraries types , typespecs , macros , type-checking	0	78	July 19, 2024
Typing violation warning when comparing atoms Questions / Help types , static-types , type-checking	13	483	July 1, 2024
"The pattern can never match the type." error from dialyzer Questions / Help learning-elixir , type-checking , dialyzer	12	380	June 1, 2024
Better to use t vs t() for type specifications? Questions / Help types , algebraic_data_type , type-checking	4	303	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	3332	May 2, 2023
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	926	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	4553	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	1341	August 8, 2022
TypeScript, but for Elixir? Chat / Discussions type-checking , types	23	5616	February 21, 2022
Dialyzer cannot recognize error in function using polymorphic types Questions / Help dialyzer , static-types , type-checking	10	2435	February 18, 2022
Cannot understand warnings in Gradient Questions / Help static-types , type-checking , gradient	4	1357	February 7, 2022
Dialyzer woes: How to ignore certain warnings in macro-generated code? Questions / Help macros , dialyzer , type-checking	3	2279	January 23, 2022
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	1025	August 26, 2021
Typechecker for Elixir Chat / Discussions static-types , type-checking	14	4128	July 7, 2021
Looking for codebases having lots of structs (to measure custom compiler times) Questions / Help structs , type-checking , domo	2	825	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	2777	March 3, 2021
Caramel: an OCaml to Erlang compiler Chat / Discussions (archived) compiler , ocaml , static-types , type-checking	5	2081	January 26, 2021
"Strongly-typed" Phoenix channel messages Chat / Discussions channels , phoenix , type-checking	1	876	November 6, 2020
Typespecing a map of arbitrary integer keys? Questions / Help static-types , type-checking , types	6	1358	October 27, 2020
Dialyzer - Function foo/1 has no local return Chat / Discussions dialyzer , type-checking	5	17893	October 13, 2020
Nice overview of Clojure Spec Chat / Discussions clojure , type-checking	2	880	September 11, 2020