Lien F*: langage orienté vers la preuve Posté par abriotde (site web personnel, Mastodon) le 19 mai 2024 à 12:14. Étiquettes : preuves langage 1 19mai2024 https://programmation.developpez.com/actu/357982/Presentation-de-F-etoile-un-langage-de-programmation-polyvalent-oriente-vers-la-preuve-prenant-en-charge-a-la-fois-la-programmation-purement-fonctionnelle-et-la-programmation-avec-effet/?amp
# Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet
Posté par TBTB . Évalué à 8.
J'ai fini par réussir à trouver :
https://www.fstar-lang.org/
[^] # Re: Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet
Posté par ted (site web personnel) . Évalué à 8.
La graphie me fait instinctivement penser à f-word, je me demande si c'est voulu
Un LUG en Lorraine : https://enunclic-cappel.fr
[^] # Re: Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet
Posté par qui . Évalué à 3.
F*, c'est pour cacher un gros mot qui commence par F ?
[^] # Re: Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet
Posté par Donk . Évalué à 2.
Fonctionnalisassions ?
[^] # Re: Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet
Posté par Burps . Évalué à 1.
F* est une suite de F7, qui est une surcouche à F#. L'étoile est en référence à celle des globs. Cependant, je ne me souviens plus du pourquoi de F7.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.