Язык nML: синтаксис, операторы, примеры

История языка nML¶

Синтаксис языка nML¶

Ключевые операторы языка nML и примеры кода¶

Оператор преобразования типа: cast¶

Оператор присвоения типа: сoerce¶

Использование библиотеки softfloat для работы с числами с плавающей точкой¶

В языке nML, используемом в инструменте MicroTESK, для создание типа чисел с плавающей точкой необходимо использовать ключевое слово float(мантисса, показатель степени).
Пример:

type FLOAT16  = float(10, 5)
type FLOAT32  = float(23, 8)
type FLOAT64  = float(52, 11)
type FLOAT128 = float(112, 15)

float_rounding_mode - параметр содержащий режим округления. В соответствии с этим параметром происходит округление при обработке операций библиотекой.

В настоящий момент поддерживается 5 режимов округления:

• round_nearest_even(0),
• round_up(1),
• round_down(2),
• round_to_zero(3),
• round_near_maxMag(4);

Операторы преобразования чисел с плавающей точкой:

• число float = int_to_float(тип float, число int)
• число int = float_to_int(тип int, число float)