dialyxir
classes
| dialyxir | classes | |
|---|---|---|
| 4 | 4 | |
| 1,657 | 641 | |
| - | 0.3% | |
| 7.4 | 2.0 | |
| 4 months ago | 11 months ago | |
| Elixir | Python | |
| Apache License 2.0 | BSD 2-clause "Simplified" 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.
dialyxir
-
Elixir – Why the dot (when calling anonymous functions)?
For those of you who are interested by Elixir but find the lack of static typing an issue here are somethings to be aware of:
1. Static Typing is planned and currently the top priority of the team
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 that a typical dynamic typed language.
-
Beginner DX Questions
There's the combo typespecs, dialyzer and dialixyr, with heavy emphasis on "optional". It's polarizing and imperfect and currently the best we've got. Many community hex packages including some of the ones you're interested in don't really make use of them, which reduces some of the utility.
- Elixir Circuits.I2C with Mox
-
Typeclasses in Python
The thing with Elixir's Protocols is that it is not currently possible to express that some type does support our Greet.greet for Elixir's type checker. But, this is not a big deal for Elixir, which is 100% dynamically typed.
classes
-
Typeclasses in Python
Today I am going to introduce a new concept for Python developers: typeclasses. It is a concept behind our new dry-python library called classes.
- dry-python/classes: Smart, pythonic, ad-hoc, typed polymorphism for Python. Also known as singledispatch on steroids
- Smart, pythonic, ad-hoc, typed polymorphism for Python
What are some alternatives?
credo - A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
Deal - 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
excoveralls - Coverage report tool for Elixir with coveralls.io integration.
fn.py - Functional programming in Python: implementation of missing features to enjoy FP
exprof - A simple code profiler for Elixir using eprof.
Toolz - A functional standard library for Python.
dogma - :closed_lock_with_key: A code style linter for Elixir
effect - effect isolation in Python, to facilitate more purely functional code
coverex - Coverage Reports for Elixir
returns - Make your functions return something meaningful, typed, and safe!
belvedere - An example of CircleCI integration with Elixir
Coconut - Simple, elegant, Pythonic functional programming.