F* (язык программирования)

От / / Оставьте комментарий

F* (язык программирования) Обзор языка программирования F* F* — это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями.  Основан на […]

.NET programming languages, 2011 software, Automated theorem proving, Cross-platform free software, Dependently typed languages, Functional languages, High-level programming languages, Microsoft free software, Microsoft programming languages, Microsoft Research, Microsoft Исследования, OCaml programming language family, Programming language topic stubs, Programming languages created in 2011, Proof assistants, Software using the Apache license, Автоматизированное доказательство теорем, бесплатное программное обеспечение Майкрософт, Зависимо типизированные языки, использующее лицензию Apache, Кроссплатформенное бесплатное программное обеспечение, Незавершенные темы по языку программирования, Помощники по доказательствам, Программное обеспечение, программное обеспечение 2011 года, Семейство языков программирования OCaml, созданные в 2011 году., Функциональные языки, Языки программирования, Языки программирования .NET, Языки программирования высокого уровня, Языки программирования Майкрософт

F* (язык программирования)

  • Обзор языка программирования F*

    • F* — это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями. 
    • Основан на языках ML, Caml и OCaml, предназначен для верификации программ. 
    • Совместный проект Microsoft Research и Inria, включает в себя зависимые типы и монадические эффекты. 
    • Позволяет точно специфицировать программы, включая функциональную корректность и безопасность. 

  • Система типов и верификация

    • Программа F* type-checker использует комбинацию SMT и ручных доказательств для проверки соответствия программ их спецификациям. 

  • Трансляция и совместимость

    • Программы, написанные на F*, могут быть переведены на OCaml, F#, C, WebAssembly или ассемблер. 
    • Предыдущие версии F* также могли быть переведены на JavaScript. 

  • История и развитие

    • Представлен в 2011 году, активно развивается на GitHub. 
    • До версии 2022.03.24 полностью написан на F* и F#, поддерживал загрузку в OCaml и F#. 
    • Начиная с версии 2022.04.02, поддержка загрузки в OCaml удалена. 

  • Операторы и типы данных

    • Поддерживает арифметические и реляционные операторы, а также распространенные типы данных. 

  • Рекомендации и ресурсы

    • Статья является заглушкой, предлагает помощь в расширении Википедии. 
    • Ссылки на официальный веб-сайт, документацию и учебные пособия доступны. 

Полный текст статьи:

F* (язык программирования)

Похожие статьи:

  1. Камл Камл Обзор языка программирования Caml Caml — это функциональный язык программирования высокого уровня, разработанный во Франции. ...
  2. OCaml OCaml (ОКамл) Обзор OCaml OCaml — это функциональный язык программирования, разработанный в 1987 году.  Он имеет...
  3. Доказательное образование Обучение, основанное на фактических данных Обзор образовательных программ Образовательные программы оцениваются по эффективности и качеству.  Программы...
  4. Язык визуального программирования Язык визуального программирования Обзор визуальных языков программирования Визуальные языки программирования облегчают разработку программного обеспечения, используя графические...
  5. ATS (язык программирования) ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ...
  6. Эзотерический язык программирования Эзотерический язык программирования Определение и история эсолангов Эсоланги — это языки программирования, которые часто используются для...
  7. F Sharp (язык программирования) Фа-диез (язык программирования) F# — язык программирования общего назначения с поддержкой объектно-ориентированного и функционального программирования.  F#...
  8. Загрузочный экран Экран загрузки Определение и история загрузочных экранов Загрузочный экран — это экран, который отображается во время...
  9. Список бесплатных пакетов программного обеспечения с открытым исходным кодом Список бесплатных пакетов программного обеспечения с открытым исходным кодом Обзор программного обеспечения Программное обеспечение включает в...
  10. Часы Судного Дня Часы судного дня История и концепция «Часов судного дня» Часы судного дня были созданы в 1947...
  11. Процесс загрузки Android-устройств Процесс загрузки устройств Android Процесс загрузки Android Начинается при включении SoC и завершается на главном экране...
  12. Список образовательных языков программирования Список образовательных языков программирования Обзор языков программирования для детей Языки программирования для детей направлены на обучение...
  13. Загрузка Загрузка Эволюция начальной загрузки Начальные загрузки были необходимы для запуска компьютеров, начиная с первых электромеханических машин. ...
  14. Зиг (язык программирования) Zig (язык программирования) Обзор языка программирования Zig Zig — это новый язык программирования, разработанный для создания...
  15. История языков программирования История языков программирования Обзор истории языков программирования Языки программирования эволюционировали от ассемблеров до высокоуровневых языков.  Первые...
  16. Сравнение языков программирования (базовые инструкции) Сравнение языков программирования (основные инструкции) Основы программирования Программирование — это процесс создания компьютерных программ.  Программирование включает...
  17. Миранда (язык программирования) Miranda (язык программирования) Обзор Miranda Miranda — это функциональный язык программирования, разработанный Дэвидом Тернером.  Язык был...
  18. Идрис (язык программирования) Idris (язык программирования) Обзор языка программирования Idris Idris — функциональный язык программирования с зависимыми типами и...
  19. ДжоКамл JoCaml (Джокамл) Обзор языка программирования JoCaml JoCaml — экспериментальный язык программирования, основанный на OCaml.  Язык сочетает...
  20. Язык описания страниц Язык описания страницы Основы языка описания страницы (PDL) PDL — компьютерный язык для описания внешнего вида...
  21. Хаксе Хаксе Обзор Haxe Haxe — это язык программирования с открытым исходным кодом, который позволяет создавать кроссплатформенные...
  22. Кольцо (язык программирования) Ring (язык программирования) Обзор языка программирования Ring Ring — это динамически типизированный язык общего назначения, который...

Оставьте комментарий

Прокрутить вверх