caes005-introduction-to-functional-programming
proper
caes005-introduction-to-functional-programming | proper | |
---|---|---|
2 | 3 | |
108 | 877 | |
- | -0.1% | |
9.2 | 3.1 | |
6 months ago | 11 months ago | |
Elixir | Erlang | |
Creative Commons Zero v1.0 Universal | GNU General Public License v3.0 only |
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.
caes005-introduction-to-functional-programming
-
For, Map and Reduce in Elixir
One of the students in my Introduction to Functional Programming course recently submitted a code snippet. It became evident that they assumed Elixir's 'for' construct operates similarly to 'for' loops in non-functional programming languages. However, this is not the case, as Elixir's 'for' is fundamentally different in its behavior.
-
Laura Castro on Property-Based Testing in Elixir
Laura Castro, a Professor at University of A Coruña, gave a lecture to my Introduction to Functional Programming class at the Federal University of Technology - Paraná (UTFPR) on July 29th, 2021.
proper
-
How programmers make sure that their software is correct
> There are generally two main categories of tests. There are unit tests [and] Integration tests
Later on there is a mention of fuzzing. However, there is something better called property tests. Where the on failure there is automatic "shrinking" of input complexity to find a minimally failing test scenario.
For Erlang and Elixir I recommend https://propertesting.com/ book and the PropEr test framework https://github.com/proper-testing/proper.
As an example, here is the use of an advanced feature called targeted property based testing: https://proper-testing.github.io/tutorials/PropEr_testing_wi... used to test a labyrinth.
-
Laura Castro on Property-Based Testing in Elixir
[1] https://proper-testing.github.io/
What are some alternatives?
elixir-echo
StreamData - Data generation and property-based testing for Elixir. 🔮
analytic-tableaux-elixir
espec - Elixir Behaviour Driven Development
meck - A mocking library for Erlang
Quixir - Property-based testing for Elixir
espec_phoenix - ESpec for Phoenix web framework.
katt - KATT (Klarna API Testing Tool) is an HTTP-based API testing tool for Erlang.
hound - Elixir library for writing integration tests and browser automation
bypass - Bypass provides a quick way to create a custom plug that can be put in place instead of an actual HTTP server to return prebaked responses to client requests.
ex_parameterized - This library support parameterized test with test_with_params macro.
ex_machina - Create test data for Elixir applications