Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
aronisstav
aronisstav has asked
4
questions and find answers to
32
problems.
Stats
1.2k
EtPoint
463
Vote count
4
questions
32
answers
About
I am a:
holder of a PhD degree in Computer Science from Uppsala University, with a dissertation titled "Effective Techniques for Stateless Model Checking"
developer/maintainer of tools that detect errors in Erlang code, such as Dialyzer and Concuerror
regular participant in Google Code Jam and ICFP Contest
Greek
aronisstav questions
Erlang: no match of right hand side value
Jekyll post not generated
aronisstav answers
Why does Dialyzer believe specs with too-specific return types?
Is there any efficiency difference between using Dialyzer on Erlang beam and source code?
Erlang: dialyzer is dead slow for a big project
Why does Dialyzer not catch this simple error?
Dialyzer misses error with type specification
Elixir type specs and parameterized type variables
Why doesn't Dialyzer find this code wrong?
Erlang: no match of right hand side value
Why Dialyzer tells me that this fun contract has overlapping domains?
How do I match multiple atoms in Erlang?