Sur la JVM tu n'as pas ca, car la vision boxée / unboxée est faite au niveau du système de type (ce qui est une horreur). Si tu veux comprendre un peu mieux ce genre de problème tu peux regarder là: http://cr.openjdk.java.net/~jrose/values/values-0.html. En pratique ça pose de vrai problèmes, et toutes les plateformes ont a peut près les mêmes problème, même si les réponses ne sont pas exactement les mêmes. Mais à un moment, tu as besoin d'avoir des types structs, un layout mémoire propre et échapper au coup des GC par un moyen ou un autre.
[^] # Re: suckless !! More is less !
Posté par ckyl . En réponse au journal Pourquoi un PC ralentit-il ?. Évalué à 4.
Le runtime a besoin de savoir si dans la case memoire tu as une valeur unboxée ou un pointeur vers une valeur boxée. Tu peux trouver l'explication des représentation mémoire d'Ocaml ici: https://realworldocaml.org/v1/en/html/memory-representation-of-values.
Sur la JVM tu n'as pas ca, car la vision boxée / unboxée est faite au niveau du système de type (ce qui est une horreur). Si tu veux comprendre un peu mieux ce genre de problème tu peux regarder là: http://cr.openjdk.java.net/~jrose/values/values-0.html. En pratique ça pose de vrai problèmes, et toutes les plateformes ont a peut près les mêmes problème, même si les réponses ne sont pas exactement les mêmes. Mais à un moment, tu as besoin d'avoir des types structs, un layout mémoire propre et échapper au coup des GC par un moyen ou un autre.