Нить Ариадны

4 июня 1996 года, всего через 40 секунд после начала полета, на высоте около 3700 м Ariane 5 развалился и взорвался.

Была назначена независимая комиссия по расследованию, которая предоставила полный отчет.

« Отказ Ariane 501 был вызван полной потерей информации о наведении и ориентации через 37 секунд после запуска последовательности зажигания основного двигателя (30 секунд после старта). Эта потеря информации произошла из-за ошибок спецификации и проектирования в программном обеспечении инерциальной системы отсчета. Обширные обзоры и испытания, проведенные в ходе программы разработки Ariane 5, не включали адекватный анализ и тестирование инерциальной системы отсчета или всей системы управления полетом, которые могли бы выявить потенциальную неисправность ».

И в частности: «Внутренняя программная исключительная ситуация SRI была вызвана во время выполнения преобразования данных из 64-битного значения с плавающей запятой в 16-битное целое число со знаком. Преобразованное число с плавающей запятой имело значение больше, чем могло быть представлено 16-разрядным целым числом со знаком. Это привело к ошибке операнда . Инструкции преобразования данных (в коде Ada) не были защищены от возникновения ошибки операнда, хотя другие преобразования сопоставимых переменных в том же месте кода были защищены. «

Итак, возникла проблема с преобразованием одного числового типа в другой. F # решает эту проблему с помощью проверки типов во время компиляции (и вы можете визуально увидеть это в среде IDE, то есть в Visual Studio), но в то же время упрощает жизнь разработчика, вводя «вывод типа».

Вывод типа относится к автоматическому определению типа выражения в коде на основе контекста и предыдущих выражений.
Наглядным примером может служить функция, которая суммирует две переменные (на самом деле в F # они являются константами на протяжении всего срока выполнения программы):

namespace Mahamudra.Functions
module Inference =
let add a b = a + b + 100
let a = 4
let b = 6
printfn "the sum %i+%i=%i" a b (add a b)
let add' a b = a + b + 100.0
let a' = 4.0
let b' = 6.5
printfn "the sum %A+%A=%A" a' b' (add' a' b')
let add'' a b = List.map2 (+) a b
let a'' = [1;3;4;5]
let b'' = [0;1;3;6]
printfn "the sum %A+%A=%A" a'' b'' (add'' a'' b'')

Результат предыдущих вычислений:

the sum 4+6=110
the sum 4+6.5=110.5
the sum [1; 3; 4; 5]+[0; 1; 3; 6]=[1; 4; 7; 11]

namespace Mahamudra.Functions
module UnitOfMeasure =
[<Measure>] type m
[<Measure>] type h
[<Measure>] type sec
[<Measure>] type kg
let distance = 1.0<m>
let time = 2.0<sec>
let speed distance (time:float<sec>) = distance/time /// meter/sec
let acceleration = 2.0<m/sec^2>
let force = 5.0<kg m/sec^2>
printfn "speed %A/%A=%A m/sec" distance time (speed distance time)

И если мы выберем вместо времени значение time '= 0,3 <h>, код не будет компилироваться:

/// this won't compile
let time' = 0.3<h>
printfn "speed %A/%A=%A" distance time' (speed distance time')
Type mismatch. 
Expecting a     
   'float<sec>'     
but given a     
    'float<h>'     
The unit of measure 'sec' does not match the unit of measure 'h'