OCaml, F# последователни, каскадни let обвързвания

On може да използва това, за да изясни, че temp се използва само в дефиницията на a1:

let a1 =
  let temp = 42 in
  temp + 2 in
let a2 = ...

Обхватът на temp наистина е ограничен до определението на a1.

Друг шаблон използва повторно същото име, за да скрие предишното му използване, като по този начин също така изяснява, че предишното използване е временно:

let result = input_string inchan in
let result = parse result in
let result = eval result in
result

Повторното използване на същото име обаче е спорно.

Разбира се винаги има коментари и празни редове:

let a1 = ...
let a2 = ...
let a3 = ...

(*We now define f3:*)
let f1 = ...
let f2 = ...
let f3 = ...

f3 a1 a2 a3

Редактиране: както беше посочено от fmr, аз също харесвам оператора на тръбата. Не е дефинирано по подразбиране в OCaml, използвайте

let (|>) x f = f x;;

След това можете да напишете нещо подобно

input_string inchan |> parse |> eval |> print

В допълнение към отговора на jrouquie, можете да избегнете даването на имена на междинни стойности чрез разумно използване на функционална композиция и други комбинатори. Особено харесвам следните три, предоставени от Batteries:

# let ( |> ) x f = f x;;
val ( |> ) : 'a -> ('a -> 'b) -> 'b = <fun>
# let ( |- ) f g x = g (f x);;
val ( |- ) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c = <fun>
# let flip f x y = f y x;;
val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c = <fun>

Малък пример за използване на |> е

# [1;2;3]
  |> List.map string_of_int
  |> String.concat "; "
  |> Printf.sprintf "[%s]";;
- : string = "[1; 2; 3]"

В крайна сметка ще имате нужда от |- и flip в по-реалистични примери. Това е известно като без точки или негласно програмиране.