Sébastien Boisgérault

> So such pattern-matching would be unsafe ... We could consider making an instance check on a `Typedef` throw an exception, instead of allowing a construct which won't do what...

Well actually there are two sides to this: - pattern matching on typedefs is a lousy, unsafe practice, so that pleads for an error on isinstance, - but an isinstance...

The underyling logic should already be present in the `typecheck` branch actually.

Présenter exemples de nature diverse/large pouvant avec profit être analysés dans un cadre probabiliste: phénomène "vraiment" aléatoire (aléa/hasard inscrit dans la nature du phénomène), cadre proba comme "fallback" après renoncement...

I have uploaded a 1.1.0 version to pypi where the `definitions` directory should not be an issue.

Thanks for the feedback @dfandrich ! I have changed the issue title to encompass both issues.

Sur le même sujet, voir aussi "Deterministic Seirs Epidemic Model for Modeling Vital Dynamics, Vaccinations, and Temporary Immunity" (https://www.mdpi.com/2227-7390/5/1/7). Il semble y avoir des éléments sur l'étude des équilibres et...

Suite (tjs aggrégation de matériaux pertinents). J'aime bien : https://threadreaderapp.com/thread/1348710099225894912.html L'idée qui me semble intéressante pédagogiquement : en utilisant un modèle très simple (SIR, cf. https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology) de l'épidémie de COVID,...

Je viens de réaliser que je suis un peu gêné avec la modélisation directe par les modèles d'équa diffs et plus précisément les modèles par compartiment (vs par agent) "macro",...

Voir aussi https://www.nature.com/articles/s41592-020-0856-2