Hacker GitHub

← All repos

jeremyjh/dialyxir

View on GitHub ↗ ★ 1,796 Elixir

Mix tasks to simplify use of Dialyzer in Elixir projects.

17 mentions on Hacker News by 14 people: 0 stories, 17 comments · first 2015-04-23 · latest 2023-08-14

Mentions per year 17 mentions · busiest year 2020 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi... 2. There is a type checking tool https://github.com/jeremyjh/dialyxir 3. You can go a long way with pattern matching and guides in the meantime and have alot more guarantees…
    comment by bnchrch · 2023-08-14 · in Elixir – Why the dot when calling anonymous functions?
  2. …incremental Dialyzer! I'm hoping to work on adding support for the new mode in Dialyxir as well! https://github.com/jeremyjh/dialyxir/issues/498
    comment by Nezteb · 2023-05-16 · in Erlang/OTP 26 Highlights
  3. You might also be interested in https://github.com/jeremyjh/dialyxir I use both dialyxir and Credo in my projects
    comment by deallocator · 2020-09-07 · in Elixir Is Erlang, not Ruby
  4. …well thought out, that I've been okay with that! [0] https://hexdocs.pm/elixir/typespecs.html [1] https://github.com/jeremyjh/dialyxir [2] https://github.com/keathley/norm/ [3] https://github.com/witchcrafters/type_class [4]…
    comment by QuinnWilton · 2020-04-22 · in Build a real-time Twitter clone with LiveView and Phoenix 1.5
  5. Erlang's type checker Dialyzer has an Elixir wrapper called Dialyxir ( https://github.com/jeremyjh/dialyxir ). As someone coming from C++, Dialyzer leaves a lot to be desired—I still miss C++ type checking—but it's better than nothing. The…
    comment by s3cur3 · 2020-01-27 · in Elixir v1.10
  6. …typed language. I use it at work, and it catches a lot of inconsistencies at runtime. [1]: https://github.com/jeremyjh/dialyxir
    comment by ashton314 · 2020-01-27 · in Elixir v1.10
  7. …communication (AST instead of string communication, e.g., and direct diffs between types). [0] https://github.com/jeremyjh/dialyxir/blob/master/lib/dialyxi... [1] https://github.com/asummers/erlex
    comment by _asummers · 2019-06-19 · in Clojerl – Clojure for the Erlang VM
  8. …can be dealt with individually when the errors are poor. [0] https://github.com/asummers/erlex [1] https://github.com/jeremyjh/dialyxir
    comment by _asummers · 2018-11-17 · in Ask HN: What's the hardest problem you've ever solved?
  9. …I'm working on making the dialyzer error messages better, too, in Dialyxir[0] and Erlex[1] =). [0] https://github.com/jeremyjh/dialyxir [1] https://github.com/asummers/erlex
    comment by _asummers · 2018-10-21 · in Erlang/OTP by Example
  10. …parsing it, then pretty printing the IR back into Elixir, then running through the formatter. [0] https://github.com/jeremyjh/dialyxir
    comment by _asummers · 2018-06-09 · in The Hardest Program I've Ever Written (2015)
  11. …way it'll be more approachable. Also there's a wrapper for it, which helps in the process.[0] [0] - https://github.com/jeremyjh/dialyxir
    comment by Kexoth · 2017-02-11 · in The State of Go
  12. …the theory behind the tool. That's from the Dialyxir (for using Dialyzer w/Elixir) github page: https://github.com/jeremyjh/dialyxir More: http://learnyousomeerlang.com/dialyzer (Perhaps this should be read first:…
    comment by qohen · 2017-01-19 · in Ask HN: Most productive functional languages?
  13. …call it something differently (Optional Static Typing). Elixir has a wrapper around it, it seems: https://github.com/jeremyjh/dialyxir but never used it (I user Erlang mostly).
    comment by rdtsc · 2016-11-09 · in Beyond 10,000 Lines: Lessons Learned from a Large Phoenix Project
  14. …[1] http://erlang.org/doc/apps/dialyzer/dialyzer_chapter.html [2] https://github.com/jeremyjh/dialyxir
    comment by vertex-four · 2016-08-02 · in I Love Go; I Hate Go
  15. …3 year old links to the blog post are now dead, sigh) For anyone (like me) who is hooked on Elixir, https://github.com/jeremyjh/dialyxir provides a bit of easier Dialyzer management Elixir (and I suppose Erlang) has this concept of "specs"…
    comment by lectrick · 2015-06-02 · in Rules for Writing Safety Critical Code
  16. …which makes this easy(2) 1) http://www.erlang.org/doc/apps/dialyzer/dialyzer_chapter.htm... 2) https://github.com/jeremyjh/dialyxir
    comment by rozap · 2015-05-31 · in Monads in Elixir
  17. You can use Dialyzer, not perfectly (yet) but it works. [1-2] [1] https://github.com/jeremyjh/dialyxir [2] https://groups.google.com/forum/#!topic/elixir-lang-talk/yDX...
    comment by djm_ · 2015-04-23 · in Elixir vs. Erlang: a question of momentum