Connaître les limites de Silex 0.44

Le compilateur garde volontairement une surface réduite. Les fonctionnalités suivantes ne sont pas implémentées :

• fichiers de verrouillage des packages ;
• interopérabilité C++ et interopérabilité C générale et publique ;
• déclarations d'opérateurs génériques ou portant sur ==, les comparaisons, %, les bits et la logique.

Annoter certains littéraux de listes

L'inférence d'un littéral de liste reste syntaxique. Une liste non vide dont le premier élément est une variable ou une expression sans type immédiatement visible demande une annotation :

let values:Pair<int>[] = [first, second]

Retirer cette annotation exigera de déplacer la création du type collection du parseur vers l'analyse typée.

Distinguer émission et exécution des cibles

Silex 0.44 distribue et vérifie nativement macos-arm64, macos-x64, linux-arm64, linux-x64, windows-arm64 et windows-x64. La chaîne de publication construit une archive autonome pour chaque cible, contrôle son architecture, la réinstalle par le script public dans un environnement vierge, puis exécute setup, compile, run et test sur l'hôte natif exact.

Cette matrice d'hôtes distribués ne promet pas une cross-compilation complète entre systèmes. En particulier, produire une application macOS depuis Linux ou Windows demanderait encore les SDK et conditions de diffusion d'Apple.

L'interpréteur reste le comportement de référence lorsque les deux chemins couvrent la même opération.

Garder l'implémentation privée

Le langage n'expose aucune ABI stable, disposition native, IR du compilateur, configuration de linker, allocation ni handle d'exécution. Les opérations C bas niveau restent réservées aux implémentations de frontière des packages.

Un fournisseur peut employer des bibliothèques système nommées ou des frameworks Apple sans archive. Une archive fournie doit correspondre à la cible — Mach-O ARM64, ELF X64, COFF X64 ou COFF ARM64. Les chemins arbitraires de bibliothèques et fournisseurs chargés à l'exécution restent absents.

Un adaptateur peut appeler une entrée de table déjà résolue avec C.call<func(...) T>, sans pour autant exposer le chargement dynamique ou des types C aux applications.

Revenir à la référence · Connaître les limites de l'interopérabilité