CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity
6e0a3ee5ed
catala/french_law
History
Louis Gesbert d93b699a4c Forward types in the Expr.make_* constructors 
Also add some safeguards against bad propagation of types (e.g. checking the
arrow type of functions upon application); partly disabled at the moment since
they don't pass yet but that'll be further work.
2022-10-04 14:50:37 +02:00
..
catala_legifrance Update assets and rename executable 2022-09-08 15:16:39 +02:00
js Forward types in the Expr.make_* constructors 2022-10-04 14:50:37 +02:00
ocaml Forward types in the Expr.make_* constructors 2022-10-04 14:50:37 +02:00
python Forward types in the Expr.make_* constructors 2022-10-04 14:50:37 +02:00
README.md feat(runtime): clean parse_raw_events + add documentation 2022-06-16 11:39:37 +02:00

README.md

French Law Libraries

This folder presents a working example of how Catala could be distributed and deployed inside existing applications. Each sub-folder is specialized for a particular programming language, and features a ready-to-use library of all the French public algorithms coded up using Catala so far.

General principles

Let us say you want to deploy a Catala program inside an application written in programming language X. The Catala compiler will translate the source Catala program into X, yielding a new .x source code file. This .x file will export functions corresponding to the scopes of the original Catala program. You can then reuse those exported functions in your application written in X.

OCaml

To see how to deploy Catala programs as an OCaml library, see the dedicated readme.

JS

To see how to deploy Catala programs as a JS library, see the dedicated readme.

Python

To see how to deploy Catala programs as a Python library, see the dedicated readme.