Bosque

Microsoft Research expérimente le futur du développement avec les langages Bosque et F*
22 Juin 2021
Recherche - Innovation
Le laboratoire Microsoft Research travaille à plusieurs projets visant à faire progresser le domaine du développement de logiciels, notamment en automatisant et rationalisant des tâches de...
Microsoft présente Bosque, un nouveau langage fonctionnel
23 Avril 2019
Langages
La semaine dernière, Mark Marron, de Microsoft Research, a présenté Bosque, un nouveau langage de programmation, dans un court billet : Le langage de programmation Bosque est conçu pour écrire du...