Все вопросы с тегом Ocaml

OCaml — это функциональный язык программирования со строгой статической типизацией, ориентированный на выразительность, правильность и эффективность.

Страница 1 из 91

Связанные теги

Parsing
Под синтаксическим анализом понимается разбиение артефакта на составные элементы и фиксация взаимосвязи между этими элементами.
Вопросы5134
Arithmetic Expressions
Арифметическое выражение — это выражение, которое приводит к числовому значению. Существует два вида числовых значений: целые числа (целые числа) и действительные числа или числа с плавающей запятой (числа, содержащие десятичную точку).
Вопросы88
Menhir
Menhir - генератор парсеров для OCaml
Вопросы8
Record
Запись в программировании — это тип данных с метками для доступа к полям записи.
Вопросы251
Abstract Syntax Tree
Абстрактные синтаксические деревья (AST) представляют рекурсивную структуру формального документа (исходного кода программы).
Вопросы338
Coq
Coq — это формальная система управления доказательствами, полуинтерактивный инструмент доказательства теорем и язык функционального программирования. Coq используется для проверки программного обеспечения, формализации языков программирования, формализации…
Вопросы555