Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in dialyzer
Erlang Dialyzer PLT file portability between different architectures
Aug 02, 2026
erlang
dialyzer
Dialyzer warnings about pattern_match_cov on Gettext module
Jul 22, 2026
elixir
phoenix-framework
dialyzer
Dialyzer says function will never be called, even though it is
Jul 07, 2026
erlang
elixir
dialyzer
Is casting to `any()` a good solution for having Dialyzer accept ETS match patterns?
May 09, 2026
erlang
dialyzer
dialyzer fails to recognise elixir functions with error :0:unknown_function
Dec 22, 2025
elixir
dialyzer
asdf-vm
What does PLT stand for?
Sep 15, 2025
erlang
dialyzer
Having Dialyzer support Custom Behaviours
Feb 18, 2023
erlang
dialyzer
Can I tell Dialyzer to ignore some modules?
Dec 22, 2022
erlang
dialyzer
Why does Dialyzer believe specs with too-specific return types?
Dec 20, 2022
erlang
dialyzer
Is there any efficiency difference between using Dialyzer on Erlang beam and source code?
Dec 17, 2022
erlang
dialyzer
Erlang: dialyzer is dead slow for a big project
Oct 08, 2022
erlang
dialyzer
Why does Dialyzer not catch this simple error?
Dec 05, 2021
erlang
dialyzer
Dialyzer warns about no_exit on bad record construction - is this a bug?
Feb 19, 2022
erlang
dialyzer
Specifying a string value in the type definition for the Elixir typespecs
Jul 05, 2022
erlang
elixir
static-analysis
typechecking
dialyzer
Dialyzer misses error with type specification
Jan 24, 2022
erlang
dialyzer
Elixir type specs and parameterized type variables
Sep 14, 2022
types
elixir
dialyzer
Type of non-terminating function in Erlang
Sep 10, 2022
types
erlang
dialyzer
static analysis vs static typing
Nov 05, 2022
erlang
reduce
elixir
dialyzer
Erlang: NIFs and dialyzer warning
Sep 12, 2022
erlang
dialyzer
erlang-nif
Does Dialyzer analyze anonymous functions?
Dec 14, 2020
elixir
dialyzer
Older Entries »