gradient
curriculum
Our great sponsors
gradient | curriculum | |
---|---|---|
4 | 7 | |
427 | 857 | |
0.7% | 8.2% | |
5.4 | 7.4 | |
10 months ago | 12 days ago | |
Elixir | Elixir | |
Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
gradient
- Gradient: A Gradual Typechecker for Elixir
-
How to Sell Elixir Again (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?
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.
curriculum
- Best Paths for Learning Elixir
- Are there any good and updated free resources to learn Phoenix framework?
-
Best free courses for learning elixir?
Look into https://github.com/DockYard-Academy/curriculum to learn with Livebook.
-
How to Sell Elixir Again (2023)
For someone completely new to development Dockyard academy course resources [0] are open source and an excellent showcase for livebook.
For an experienced dev wanting to pick up Elixir I would suggest picking up Elixir in Action [1]. The third edition is currently in MEAP. Much more concise and great discussion of some Erlang/OTP internals too.
[0] https://github.com/DockYard-Academy/curriculum
[1] https://www.manning.com/books/elixir-in-action-third-edition
-
What's your opinion on Dockyard Academy?
The content is 100% free to use and consume: https://github.com/DockYard-Academy/curriculum
-
Educative.io experience
Whether there are better learning resources. I think I bought a membership to educative.io not only for Elixir, but also for other topics such as Python, information security, cryptography, server management, data structures, etc. I can browse aimlessly on it. This is the main reason why I bought it. If educative.io only provided Elixir resources, I wouldn't have bought it. In fact, there are better and cheaper alternatives. For example, DockYard-Academy, they are now making their course content available for free!
- What resources does Elixir have for people that want to learn it but have never programmed before?
What are some alternatives?
eqwalizer - A type-checker for Erlang
elixirschool - The content behind Elixir School
otp - Erlang/OTP
joyofelixir - A gentle introduction to the Elixir programming language
Gradualizer - A Gradual type system for Erlang
githut - Github Language Statistics
ts-sql - A SQL database implemented purely in TypeScript type annotations.
bf - A Brainf*ck interpreter built in the TypeScript type system.
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Prisma - Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB