josefs/Gradualizer
View on GitHub ↗ ★ 618 Erlang
A Gradual type system for Erlang
8 mentions on Hacker News by 6 people: 0 stories, 8 comments · first 2018-11-29 · latest 2022-06-27
20082026
-
I'm hoping that https://github.com/josefs/Gradualizer and its Elixir counterpart get us closer to what "I" want. I find dialyzer often inscrutable compared to something like OCaml's or Haskell's type errors. I do still use it and…
comment by franz_kafkaagh · 2022-06-27 · in OCaml Programming: Correct and Efficient and Beautiful -
…a gradual type system for Erlang call Gradualizer, which should also make its way over to Elixir. https://github.com/josefs/Gradualizer https://github.com/OvermindDL1/gradualixir
comment by kuiro5 · 2021-02-19 · in Gleam 0.14 – Type-safe language for the Erlang VM -
…[2] 3. Haven't encountered a problem with this yet with gradualizer, would need to test. [1] https://github.com/josefs/Gradualizer [2] https://github.com/josefs/Gradualizer/blob/master/priv/prelu...
comment by FrankBro · 2020-11-06 · in Why Typing Erlang is Hard: Standard Erlang -
…use it on their codebase and can find any bugs they have with it so it can be improved further. [1] https://github.com/josefs/Gradualizer
comment by FrankBro · 2020-11-06 · in Why Typing Erlang is Hard: Standard Erlang -
We're working on a gradual type system for Erlang which also works quite okay for Elixir: https://github.com/josefs/Gradualizer/ .
comment by Zalastax · 2020-04-17 · in Phoenix LiveDashboard -
…stuff about "gradulizer" though. It uses a gradual type system instead of dialyzers success typing. https://github.com/josefs/Gradualizer
comment by dranka · 2019-10-21 · in Python at Scale: Strict Modules -
https://github.com/josefs/Gradualizer already introduced above by Zalastax is one project which shows how to do it. It implements the gradual typing model, which merges static typing a'la ML/Haskell, with dynamic typing of Erlang. Other…
comment by erszcz · 2018-11-29 · in Erlang/OTP 21's new logger -
…with the Gradualizer project. It's not ready for prime time yet but I find it very promising. https://github.com/josefs/Gradualizer
comment by Zalastax · 2018-11-29 · in Erlang/OTP 21's new logger