Le vérificateur d'emprunts inévitable dans Inko : compromis entre l'allocation sur la pile et les vérifications à la compilation

Le concepteur du langage Inko explore les solutions optimales pour l'allocation sur la pile et la vérification des emprunts. Par défaut, les types Inko sont alloués sur le tas, offrant de la flexibilité mais entraînant une surcharge de performance. Pour améliorer les performances, un modificateur `inline` est introduit pour prendre en charge l'allocation sur la pile, mais cela pose de nouveaux défis : comment gérer les emprunts et la sémantique de déplacement tout en garantissant la sécurité de la mémoire. L'article explore plusieurs solutions, notamment la possibilité d'autoriser les affectations de champs, l'introduction de types uniques et l'analyse d'échappement, en concluant que la vérification des emprunts au moment de la compilation est la meilleure approche, mais sa complexité d'implémentation est élevée et elle ne sera pas implémentée à court terme. Actuellement, Inko utilise toujours une stratégie qui n'autorise pas la réaffectation des champs de types inline.