mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
197 lines
7.7 KiB
Markdown
197 lines
7.7 KiB
Markdown
<div align="center">
|
||
<img src="https://github.com/CatalaLang/catala/raw/master/doc/images/logo.png" alt="Catala logo" width="120"/>
|
||
<h3 align="center">
|
||
<big>Catala</big>
|
||
</h3>
|
||
<p align="center">
|
||
<a href="https://catala-lang.org/ocaml_docs/"><strong>Explore the docs »</strong></a>
|
||
<br/>
|
||
<a href="https://catala-lang.org/en/examples/tutorial">View Tutorial</a>
|
||
•
|
||
<a href="https://github.com/CatalaLang/catala/issues">Report Bug</a>
|
||
•
|
||
<a href="https://github.com/CatalaLang/catala/blob/master/CONTRIBUTING.md">Contribute</a>
|
||
•
|
||
<a href="https://zulip.catala-lang.org/">Join Zulip Chat</a>
|
||
</p>
|
||
|
||
![CI][ci-link] [![Opam][opam-link]](https://opam.ocaml.org/packages/catala/) [![Licence][licence-link]](https://www.apache.org/licenses/LICENSE-2.0) ![Tag][tag-link] ![LoC][loc-link] ![Language][language-link] [![Issues][issues-link]](https://github.com/CatalaLang/catala/issues) [![Contributors][contributors-link]](https://github.com/CatalaLang/catala/graphs/contributors) [![Activity][activity-link]](https://github.com/CatalaLang/catala/pulse)
|
||
|
||
Catala is a domain-specific language for deriving
|
||
faithful-by-construction algorithms from legislative texts. To learn quickly
|
||
about the language and its features, you can jump right to the official
|
||
[Catala tutorial](https://catala-lang.org/en/examples/tutorial).
|
||
You can join the Catala community on [Zulip][chat-link]!
|
||
|
||
</div>
|
||
|
||
<br>
|
||
|
||
<details>
|
||
<summary>Table of Contents</summary>
|
||
|
||
<!-- vim-markdown-toc GitLab -->
|
||
|
||
- [Concepts](#concepts)
|
||
- [Building and installation](#building-and-installation)
|
||
- [Usage](#usage)
|
||
- [Examples](#examples)
|
||
- [API](#api)
|
||
- [Contributing](#contributing)
|
||
- [Test suite](#test-suite)
|
||
- [Documentation](#documentation)
|
||
- [Formal semantics](#formal-semantics)
|
||
- [Compiler documentation](#compiler-documentation)
|
||
- [License](#license)
|
||
- [Limitations and disclaimer](#limitations-and-disclaimer)
|
||
- [Pierre Catala](#pierre-catala)
|
||
|
||
<!-- vim-markdown-toc -->
|
||
|
||
</details>
|
||
|
||
## Concepts
|
||
|
||
Catala is a programming language adapted for socio-fiscal legislative literate
|
||
programming. By annotating each line of the legislative text with its meaning
|
||
in terms of code, one can derive an implementation of complex socio-fiscal
|
||
mechanisms that enjoys a high level of assurance regarding the code-law
|
||
faithfulness.
|
||
|
||
Concretely, you have to first gather all the laws, executive orders, previous
|
||
cases, etc. that contain information about the socio-fiscal mechanism that
|
||
you want to implement. Then, you can proceed to annotate the text article by
|
||
article, in your favorite text editor :
|
||
|
||
<div align="center">
|
||
<img src="https://github.com/CatalaLang/catala/raw/master/doc/images/ScreenShotVSCode.png" alt="Screenshot" height="350"/>
|
||
</div>
|
||
|
||
Once your code is complete and tested, you can use the Catala
|
||
compiler to produce a lawyer-readable PDF version of your
|
||
implementation. The Catala language has been specially designed
|
||
in collaboration with law professionals to ensure that the code
|
||
can be reviewed and certified correct by the domain experts, which
|
||
are in this case lawyers and not programmers.
|
||
|
||
<div align="center">
|
||
<img src="https://github.com/CatalaLang/catala/raw/master/doc/images/CatalaScreenShot.png" alt="Screenshot" height="350"/>
|
||
</div>
|
||
|
||
The Catala language is special because its logical structure mimics
|
||
the logical structure of the law. Indeed, the core concept of
|
||
"definition-under-conditions" that builds on default logic has been formalized
|
||
by Professor Sarah Lawsky in her article
|
||
[A Logic for Statutes](https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3088206).
|
||
The Catala language is the only programming language to our knowledge that
|
||
embeds default logic as a first-class feature, which is why it is the only
|
||
language perfectly adapted to literate legislative programming.
|
||
|
||
## Building and installation
|
||
|
||
Catala is available as an [opam package](https://opam.ocaml.org/packages/catala/)!
|
||
If opam is installed on your machine, simply execute:
|
||
|
||
opam install catala
|
||
|
||
To get the cutting-edge, latest version of Catala, you
|
||
can also do
|
||
|
||
opam pin add catala --dev-repo
|
||
|
||
However, if you wish to get the latest developments of the compiler, you probably
|
||
want to compile it from the sources of this repository or use nix. For that, see
|
||
[the dedicated readme](INSTALL.md).
|
||
|
||
## Usage
|
||
|
||
### Catala
|
||
|
||
Use `catala --help` if you have installed it to get more information about the command line
|
||
options available. To get the development version of the help, run `make help_catala`
|
||
after `make build`. The `catala` binary corresponds to the Catala compiler.
|
||
|
||
The top-level `Makefile` contains a lot of useful targets to run. To display
|
||
them, use
|
||
|
||
make help
|
||
|
||
### Clerk
|
||
|
||
Use `clerk --help` if you have installed it to get more information about the command line
|
||
options available. To get the development version of the help, run `make help_clerk`
|
||
after `make build`. The `clerk` binary corresponds to the Catala build system,
|
||
responsible for testing among other things.
|
||
|
||
## Examples
|
||
|
||
To explore the different programs written in Catala, see
|
||
[the dedicated readme](examples/README.md).
|
||
|
||
## API
|
||
|
||
To know how to use the code generated by the Catala compiler in your favorite
|
||
programming language, head to the [readme of the French law library](french_law/README.md)
|
||
|
||
## Contributing
|
||
|
||
To know how you can contribute to the project, see
|
||
[the dedicated readme](CONTRIBUTING.md).
|
||
|
||
## Test suite
|
||
|
||
To know how to run or improve the Catala reference test suite,
|
||
see [the dedicated readme](tests/README.md).
|
||
|
||
## Documentation
|
||
|
||
### Formal semantics
|
||
|
||
To audit the formal proof of the partial certification of the Catala compiler,
|
||
see [the dedicated readme](doc/formalization/README.md).
|
||
|
||
### Compiler documentation
|
||
|
||
The compiler documentation is auto-generated from its source code using
|
||
`dune` and `odoc`. Use
|
||
|
||
make doc
|
||
|
||
to generate the documentation, then open the `doc/odoc.html` file in any browser.
|
||
The documentation is also accessible [online](https://catala-lang.org/ocaml_docs/).
|
||
|
||
## License
|
||
|
||
The compiler and all the code contained in this repository is released under
|
||
the [Apache license (version 2)](LICENSE.txt) unless another license is explicited
|
||
for a sub-directory.
|
||
|
||
## Limitations and disclaimer
|
||
|
||
Catala is a research project from Inria, the French National
|
||
Research Institute for Computer Science. The compiler is yet
|
||
unstable and lacks some of its features.
|
||
|
||
## Pierre Catala
|
||
|
||
The language is named after Pierre Catala, a professor of law who
|
||
pionneered the French legaltech by creating a computer database of law cases,
|
||
Juris-Data. The research group that he led in the late 1960s, the
|
||
Centre d’études et de traitement de l’information juridique (CETIJ),
|
||
has also influenced the creation by state conselor Lucien Mehl of the
|
||
Centre de recherches et développement en informatique juridique (CENIJ),
|
||
which eventually transformed into the entity managing the LegiFrance website,
|
||
acting as the public service of legislative documentation.
|
||
|
||
[chat-image]: https://img.shields.io/badge/zulip-join_chat-blue.svg?style=social&logo=zulip&color=5c75a2
|
||
[chat-link]: https://zulip.catala-lang.org/
|
||
[ci-link]: https://github.com/catalalang/catala/actions/workflows/build.yml/badge.svg
|
||
[licence-link]: https://img.shields.io/github/license/catalalang/catala
|
||
[tag-link]: https://img.shields.io/github/v/tag/catalalang/catala
|
||
[loc-link]: https://img.shields.io/tokei/lines/github/catalalang/catala
|
||
[issues-link]: https://img.shields.io/github/issues/catalalang/catala
|
||
[opam-link]: https://img.shields.io/badge/Package-opam-orange?logo=OCaml&link=https://opam.ocaml.org/packages/catala/
|
||
[language-link]: https://img.shields.io/github/languages/top/catalalang/catala
|
||
[contributors-link]: https://img.shields.io/github/contributors/catalalang/catala
|
||
[activity-link]: https://img.shields.io/github/commit-activity/m/catalalang/catala
|