deb12d2c4a
Changelog: --- A lot has been going on, with more than 530 patches and 70 PRs merged since 0.7.0 last summer. In summary: - Quite a lot of syntax improvements and changes. Checkout the latest [cheat-sheet](https://catalalang.github.io/catala/syntax.pdf) for an overview - Allow local `let ... equals ... in ...` definitions - Better error messages and positions throughout - Added the ability to directly call a scope and retrieve its outputs, like a function - Added disambiguation, allowing to access structure fields without specifying the structure type each time - Added automated resolution of operators, allowing e.g. to write just `+` in place of all the type-specific operators `+.`, `+$`, `+@`, `+^`, etc. - More consistent priority for operators. It is no longer allowed to write `a and b or c` without parenthesis. - Added and changed some operators (`date + duration` now allowed either way, `int / int` now returns a decimal, added `duration / duration`) - Added the ability to have variables and functions defined at top-level (outside of any scope). See annex A of the tutorial for details. - Added support for functions with multiple arguments - Some big refactors in the compiler, allowing much better code sharing between the different passes, and making it much easier to extend. Also added the possibility to run the type-checker earlier, etc. - Countless bug-fixes - Improvements to our proof backend with Z3 - A tool to automatically synchronise with the upstream French law from Legifrance |
||
---|---|---|
.. | ||
cnaf_cross_tester | ||
src | ||
.gitignore | ||
main.py | ||
Makefile | ||
README.md | ||
requirements.txt |
Python French Law Library
This folder contains a ready-to-use Python library featuring French public algorithms coded up in Catala.
The Python version expected to run the Python code is above 3.6. For the
commands noted below to run, you are expected to setup a virtual Python
environment: run make dependencies-python
from the root of the Catala
repository.
Then activate the environment (needs to be done every time you open a new shell session). From the root of the Catala repository, run the following command:
. _python_venv/bin/activate
Organization
Law source
The src/
folder contains the Python files generated by the Catala compiler.
To update them from the Catala sources, invoke this command from the root
of the repository:
make generate_french_law_library_python
The Python files generated by the Catala compiler depends on the catala.runtime
package, whose source doe can be found in runtimes/python/catala
from the
root of the Catala repository.
All theses Python files feature type annotations which can be checked against
using the following command inside this directory (french_law/python
):
make type
API
To use the algorithms of this library, you can take a look at the example provided in
main.py
. All the algorithms are centralized with wrappers in api.py
, as it is
very important internally to wrap all of the input parameters using src/catala.py
conversion functions.
You can benchmark the computation using the following command inside this
directory (french_law/python
):
make bench
Logging
The generated Catala code also features a logging feature that let you inspect
each step of the computation, as well as the values flowing through it. You can
directly retrieve a list of log events just after using a Catala-generated
function, and display this list as you wish. An example of such a display can
be showcases by using the following command inside this directory (french_law/python
):
make show_log