ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909723865907200 |
|---|---|
| author | Widemann, Baltasar Trancón y Lepper, Markus |
| author_facet | Widemann, Baltasar Trancón y Lepper, Markus |
| contents | Random experiments that are simple and clear enough to be performed by human agents feature prominently in the teaching of elementary stochastics as well as in games. We present Alea, a domain-specific language for the specification of random experiments. Alea code can either be analyzed statically to obtain and inspect probability distributions of outcomes, or be executed with a source pseudo-randomness for simulation or as a game assistant. The language is intended for ease of use by non-expert programmers, in particular students of elementary stochastics, and players and designers of games of chance, by focusing on concepts common to functional programming and basic mathematics. Both the design of the language and the implementation of runtime environments are work in progress.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_11794 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments Widemann, Baltasar Trancón y Lepper, Markus Programming Languages Probability Random experiments that are simple and clear enough to be performed by human agents feature prominently in the teaching of elementary stochastics as well as in games. We present Alea, a domain-specific language for the specification of random experiments. Alea code can either be analyzed statically to obtain and inspect probability distributions of outcomes, or be executed with a source pseudo-randomness for simulation or as a game assistant. The language is intended for ease of use by non-expert programmers, in particular students of elementary stochastics, and players and designers of games of chance, by focusing on concepts common to functional programming and basic mathematics. Both the design of the language and the implementation of runtime environments are work in progress. |
| title | ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments |
| topic | Programming Languages Probability |
| url | https://arxiv.org/abs/2506.11794 |