gradient

Gradient is a static typechecker for Elixir (by esl)

Gradient Alternatives

Similar projects and alternatives to gradient

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better gradient alternative or higher similarity.

gradient reviews and mentions

Posts with mentions or reviews of gradient. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-13.
  • How to Sell Elixir Again (2023)
    7 projects | news.ycombinator.com | 13 May 2023
    If you're into trying out static typing in Elixir, please check out https://github.com/esl/gradient. It's still experimental, but already functional. We're happy to get any feedback or, better yet, contributions.
  • [New] How do you verify program correctness in Elixir?
    6 projects | /r/elixir | 23 Sep 2022
    [Gradient](https://github.com/esl/gradient) and [Gradualizer](https://github.com/josefs/Gradualizer) offer exhaustiveness checking for Elixir and Erlang, respectively. The projects are in development, there are known issues so YMMV, but we're working on them.
    6 projects | /r/elixir | 23 Sep 2022
    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.
  • A note from our sponsor - SaaSHub
    www.saashub.com | 28 Mar 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Stats

Basic gradient repo stats
4
424
5.4
9 months ago

esl/gradient is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of gradient is Elixir.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com