The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Gradualizer Alternatives
Similar projects and alternatives to Gradualizer
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
vernemq
A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases. The VerneMQ mission is active & the project maintained. Thank you for your support!
Gradualizer reviews and mentions
-
eqwalizer VS Gradualizer - a user suggested alternative
2 projects | 17 Apr 2023
Gradualizer is a typechecker for Erlang. It's a bidirectional typechecker, which means it uses non-local type inference, i.e. a blend of typechecking with type inference. It aims to follow the principles of gradual typing, so that it's possible to add type annotations only to parts of your code, instead of the entire code base, and it's going to work with that. One of the eqwalizer authors, Ilya Klyuchnikov, contributed to Gradualizer in the past.
-
[New] How do you verify program correctness in Elixir?
If you're looking for compile-time (or actually check-time) feedback you might be interested in Gradient, a gradual type checker for Elixir and a frontend to Gradualizer. These tools, while experimental, allow for applying "making illegal states unrepresentable" principle thanks to exhaustiveness checking. In general, they are more akin to the ML-style type checking than Dialyzer is.
-
OCaml Programming: Correct and Efficient and Beautiful
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 typespecs, because it's better than no checking.
-
Elixir and Phoenix after two years
There's Gradualyzer with support for Gradual Typing on the way.
-
V0.14 of Gleam, a type safe language for the Erlang VM, has been released
There's an effort currently being led by Facebook to create gradual type system for Erlang call Gradualizer, which should also make its way over to Elixir.
https://github.com/josefs/Gradualizer
-
A note from our sponsor - WorkOS
workos.com | 25 Apr 2024
Stats
josefs/Gradualizer is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of Gradualizer is Erlang.
Sponsored