•  Как установить возвращаемое значение функции? оно - последняя строка в фуекции, но делать функции вроде
  

  Код

  let f_sub x y =  List.map2 (fun x y -> x - y) x y;                       ()

  
  не радует.
•  как влияют табы на логику программы? или это только интелисенс в студии глючит?
•  Нужны ли точка с запятой (не в режиме эмулятора)? насколько понял - нет, но без них страшно... 

Я понимаю, что это просто пример, но всё же: в таком виде функция не имеет никакого смысла, потому что результат map2 затёрт () и нигде не сохранился. В F# и вообще в ФП не принято делать функции, состоящие из одних побочных эффектов. Функция — это преобразование входных данных в выходные. Вполне естественно, что в конце потока управления получается именно то, что надо вернуть.
Используя карринг и то, что операторы суть те же самые функции, f_sub можно переписать так:


Влияют при наличии прагмы #light (т.н. двумерный синтаксис). Деталей не помню, за подробностями в гугл и маны.

Точка с запятой редко нужна в функциональном коде. ; можно рассматривать как левоассоциативный оператор, которые вычисляет, но игнорирует значение первого операнда. Очевидно, что этот первый операнд должен содержать побочные эффекты, иначе нет смысла его вычислять, а потом забывать результат. В функциональном коде let ... in ..., композиция функций, сопоставление с образцом и пр. естественным образом выстраивают код так, что в точке с запятой нет нужды.
Но F#/OCaml ещё и неплохие императивные языки, поэтому в соответствующем коде, с изменяемыми значениями и присваиваниями, будет и ; (в F# light-синтаксис позволяет её не писать, но суть особо не меняется).

Нет, я имел ввиду другое - как сделать, чтобы

возвращал unit без указания () в конце. Это нужно просто для эксперимента 

4ybaka, хотелки «просто так» до добра не доводят 
Идиоматичный способ сделать unit из любого выражения — функция ignore.
Вернуть произвольное значение из произвольного места в функции нельзя.