Pollux
:

et pour les librairies (il en faudra, c'est certain), je ne sais pas si je transformerai le pseudo-assembleur en bytecode (ça permettrait éventuellement certaines optimisations pour le 'linking') ou si je compilerai nativement, tout en gardant les infos de type (faut pouvoir utiliser la librairie après)

Linke le programme statiquement quand tu es encore en ta représentation intermédiaire, et convertis le tout en natif une fois le linking terminé.

On le changera jamais le Kevin ^^

Pourquoi éclates-tu de rire? À mon avis, c'est de loin le plus pratique. Ça permet d'éviter d'avoir à manier une représentation intermédiaire avec types etc. en temps d'exécution.