Topics tagged type-checking

Topic	Replies	Views	Activity
Better to use t vs t() for type specifications? Questions / Help algebraic_data_type , type-checking , types	4	243	April 6, 2024
Difference between test and running code for controllers Questions / Help phoenix , static-types , type-checking	0	152	January 29, 2024
What do you prefer to use for type checking Elixir/Erlang code? (poll) Polls typespecs , static-types , type-checking , types	21	2840	May 2, 2023
String text = ”data type in Elixir”; Chat / Discussions macros , syntax , typespecs , type-checking	8	811	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	4346	December 8, 2022
Set-theoretic types across process boundaries? Chat / Discussions processes , type-checking , types	1	694	October 12, 2022
Weird behavior in a test case Questions / Help testing , unit-testing , type-checking , types , test	7	636	August 11, 2022
Eqwalizer: A Type-Checker for Erlang Chat / Discussions type-checking	5	1259	August 8, 2022
TypeCheck - Fast and flexible runtime type-checking for your Elixir projects Libraries dialyzer , validation , typespecs , property-testing , type-checking , types , type_check	98	12419	June 19, 2022
TypeScript, but for Elixir? Chat / Discussions type-checking , types	23	5139	February 21, 2022
Dialyzer cannot recognize error in function using polymorphic types Questions / Help dialyzer , static-types , type-checking	10	2162	February 18, 2022
Cannot understand warnings in Gradient Questions / Help static-types , type-checking , gradient	4	1207	February 7, 2022
Dialyzer woes: How to ignore certain warnings in macro-generated code? Questions / Help macros , dialyzer , type-checking	3	2036	January 23, 2022
Bidirectional Typing for Erlang (prototype) Chat / Discussions (archived) erlang , typespecs , static-types , type-checking , types , static-typing	1	943	August 26, 2021
Typechecker for Elixir Chat / Discussions static-types , type-checking	14	3931	July 7, 2021
Looking for codebases having lots of structs (to measure custom compiler times) Questions / Help structs , type-checking , domo	2	762	June 8, 2021
Why does dialyzer overlook this spec miss-match? Questions / Help ecto , dialyzer , type-checking	1	657	April 29, 2021
Closest thing to static type checking? Questions / Help type-checking	10	2343	March 3, 2021
Caramel: an OCaml to Erlang compiler Chat / Discussions (archived) compiler , ocaml , static-types , type-checking	5	2005	January 26, 2021
"Strongly-typed" Phoenix channel messages Chat / Discussions channels , phoenix , type-checking	1	801	November 6, 2020
Typespecing a map of arbitrary integer keys? Questions / Help static-types , type-checking , types	6	1203	October 27, 2020
Dialyzer - Function foo/1 has no local return Chat / Discussions dialyzer , type-checking	5	15128	October 13, 2020
Nice overview of Clojure Spec Chat / Discussions clojure , type-checking	2	850	September 11, 2020
Tyyppi — bringing erlang typespecs to runtime Libraries dialyzer , typespecs , type-checking , tyyppi	0	694	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	2340	June 1, 2021
Why type-check functions do not end with a question mark? Questions / Help type-checking , types	2	729	February 27, 2020
Macro idea: total case statements Chat / Discussions macros , discussion , typespecs , case , type-checking	3	1191	March 14, 2019