Опал (язык программирования)
OPAL ( OP timized Applicative Language впервые ) — функциональный язык программирования, разработанный в Техническом университете Берлина .
Существует более поздняя платформа для статического анализа кода, также называемая Opal. [1]
Пример программы
[ редактировать ]Это пример программы OPAL, которая рекурсивно вычисляет НОД .
- Файл подписи (объявление)
SIGNATURE GCD FUN GCD: nat ** nat -> nat
- Файл реализации (определение)
IMPLEMENTATION GCD IMPORT Nat COMPLETELY DEF GCD(a,b) == IF a % b = 0 THEN b ELSE IF a-b < b THEN GCD(b,a-b) ELSE GCD(a-b,b) FI FI
Ссылки
[ редактировать ]- ^ «Главная страница» . Проект ОПАЛ . Проверено 25 ноября 2023 г.
Внешние ссылки
[ редактировать ]- Домашняя страница OPAL , в архиве, последнее изменение 30 сентября 2010 г.
- Руководство по установке OPAL , в архиве.