type-checking
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Typespecing a map of arbitrary integer keys? |
![]() ![]() ![]() ![]() |
6 | 1360 | October 27, 2020 |
Dialyzer - Function foo/1 has no local return |
![]() ![]() ![]() ![]() |
5 | 18084 | October 13, 2020 |
Nice overview of Clojure Spec |
![]() ![]() ![]() |
2 | 881 | September 11, 2020 |
Tyyppi — bringing erlang typespecs to runtime |
![]() |
0 | 728 | July 23, 2020 |
User defined tags and type-safe structs for domain modelling (Domo library) |
![]() ![]() ![]() ![]() ![]() |
12 | 2484 | June 1, 2021 |
Why type-check functions do not end with a question mark? |
![]() ![]() ![]() |
2 | 783 | February 27, 2020 |
Macro idea: total case statements |
![]() ![]() ![]() ![]() |
3 | 1268 | March 14, 2019 |