Retourner au contenu associé (lien : F*: langage orienté vers la preuve)
Posté par Burps le 21 mai 2024 à 15:40. En réponse au lien F*: langage orienté vers la preuve. É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.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Encore un langage au nom peu pratique pour faire des recherches sur le web à son sujet
Posté par Burps . En réponse au lien F*: langage orienté vers la preuve. É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.