software.wikisort.org - Язык_программирования

Search / Calendar

F * (произносится как F star) — функциональный язык программирования, основанный на ML и ориентированный на формальную верификацию разрабатываемых на нём программ.

F*
Класс языка

мультипарадигменный: функциональное, объектно-ориентированное, обобщённое,

императивное программирование
Автор Microsoft Research и INRIA[1]
Разработчик Microsoft Research[2] и INRIA
Система типов строгая, статическая, с выводом типов, с зависимыми типами
Испытал влияние Coq, Dafny[en], F#, Lean, OCaml, Standard ML
Лицензия Apache Software License
Сайт fstar-lang.org
ОС Кроссплатформенное программное обеспечение (Linux, macOS, Windows)

Его система типов включает в себя зависимые типы, монадические эффекты и типы-уточнения[en]. Этих выразительных средств достаточно, чтобы задавать точные спецификации для программ, включая описания функциональной корректности и свойств безопасности. Механизм проверки типов в F* позволяет доказывать, что программы соответствуют их спецификациям. Это делается с использованием комбинации SMT-решателя и ручных доказательств. Программы, написанные на F*, могут быть странслированы в OCaml, F# и C для дальнейшей компиляции и выполнения. Предыдущие версии F* также можно было транслировать в JavaScript.

Последняя версия F* написана полностью на общем подмножестве F* и F# и может быть запущена как с использованием OCaml, так и с использованием F#. Исходный код языка открыт под лицензией Apache 2.0 и активно разрабатывается на GitHub[3].



Литература



Ссылки



Примечания


  1. Microsoft Research Inria Joint Centre. MSR-INRIA. Дата обращения: 28 мая 2020. Архивировано 21 мая 2020 года.
  2. https://www.fstar-lang.org/#people
  3. FStarLang/FStar. GitHub. Дата обращения: 28 мая 2020. Архивировано 10 июля 2020 года.



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.org внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.org - проект по пересортировке и дополнению контента Википедии