Tellement impossible qu'il existe un portage de SOS en Ada ?
Plus sérieusement, c'est vrai que le runtime Ada est assez important, mais rien n'empêche d'en implémenter un pour un kernel (et pas seulement pour des choses simples comme les exceptions, mais aussi pour des choses moins évidentes comme les tâches, les objets protected, etc). Ça n'est pas plus déraisonnable que de faire une implémentation de la libC.
Cela étant dit, il est également possible d'écrire un kernel en s'imposant quelques Pragma Restrictions pour être sûr de ne rien utiliser qui nécessite le runtime. Ça laisse quand même pas mal de choses sympas (le système de types et les clauses de représentation par exemple, très utiles pour un kernel). Il ne faut pas beaucoup plus d'une dizaine de minutes pour écrire from scratch un kernel en Ada minimaliste (i.e. qui boote) compilé avec gnat
[^] # Re: nouveau langage ?
Posté par pini . En réponse à la dépêche Entretien avec Linus Torvalds sur ZEIT ONLINE. Évalué à 1.
Tellement impossible qu'il existe un portage de SOS en Ada ?
Plus sérieusement, c'est vrai que le runtime Ada est assez important, mais rien n'empêche d'en implémenter un pour un kernel (et pas seulement pour des choses simples comme les exceptions, mais aussi pour des choses moins évidentes comme les tâches, les objets protected, etc). Ça n'est pas plus déraisonnable que de faire une implémentation de la libC.
Cela étant dit, il est également possible d'écrire un kernel en s'imposant quelques Pragma Restrictions pour être sûr de ne rien utiliser qui nécessite le runtime. Ça laisse quand même pas mal de choses sympas (le système de types et les clauses de représentation par exemple, très utiles pour un kernel). Il ne faut pas beaucoup plus d'une dizaine de minutes pour écrire from scratch un kernel en Ada minimaliste (i.e. qui boote) compilé avec gnat