Y'avait quel compilateur Ada accessible librement quand OpenBSD a démarré ?
Loupé: OpenBSD date de fin 1995, la même année où il y a eu la première "validation officielle" de GNAT (dixit Wikipédia).
Bon ceci dit, OpenBSD est un fork de NetBSD qui est bien plus vieux que ça..
Ça ferait quelle quantité de code de reprendre tout ce qu'ils ont besoin en Ada ?
Mais n'oublions qu'OpenBSD c'est une distribution complète, donc ils pourraient remplacer progressivement des outils userspace du C en un langage plus sécurisé (en commençant par ceux qui sont suid root), ça serait déjà un bon début..
Pour ce qui est de la portabilité, certains langages compilent en C (par exemple Nim) donc ont -à priori- la même portabilité que le C.
NB: Nim était juste un exemple, la version 1.0 n'est pas encore sortie!
[^] # Re: Pas sûr que trouver des erreurs/la fiabilité soit si important pour la communauté libre..
Posté par reno . En réponse à la dépêche [code] Trouver les erreurs. Évalué à 1.
Loupé: OpenBSD date de fin 1995, la même année où il y a eu la première "validation officielle" de GNAT (dixit Wikipédia).
Bon ceci dit, OpenBSD est un fork de NetBSD qui est bien plus vieux que ça..
Mais n'oublions qu'OpenBSD c'est une distribution complète, donc ils pourraient remplacer progressivement des outils userspace du C en un langage plus sécurisé (en commençant par ceux qui sont suid root), ça serait déjà un bon début..
Pour ce qui est de la portabilité, certains langages compilent en C (par exemple Nim) donc ont -à priori- la même portabilité que le C.
NB: Nim était juste un exemple, la version 1.0 n'est pas encore sortie!