F#

[109]

начал изучать F# сегодня после обеда. похоже, что к концу дня уже и закончил. никакой дополнительной гибкости по сравнению с C# не наблюдается. взять tuples. ок, я могу сматчить первый элемент как (x, _), аналогично head в списке. а как мне сматчить остаток (e.g. tail)? или как итерировать по тупелу заранее неизвестного типа? или как динамически создать тупел, имея, скажем, список типов элементов? а ведь без перечисленного мной ничего осмысленно реляционного не написать. вот у них ничего не пошевелилось в душе, когда они хуярили эти конструкторы?

Tuple(T1)
Tuple(T1, T2)
Tuple(T1, T2, T3)
Tuple(T1, T2, T3, T4)
Tuple(T1, T2, T3, T4, T5)
Tuple(T1, T2, T3, T4, T5, T6)
Tuple(T1, T2, T3, T4, T5, T6, T7)
Tuple(T1, T2, T3, T4, T5, T6, T7, T8)

bonus: Action(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)

видимо, Билл Гейтс сказал, что 16 параметров должно быть достаточно для любого метода.

Comments

[zamotivator.livejournal.com]

let mapTuple callback tuple = match tuple with
Tuple(a) -> (callback a);
Tuple(a,b) -> begin (callback a); (callback b); end;
Tuple(a,b,c) -> begin (callback a); (callback b); (callback c); end;
....

end;

mapTuple you_function your_tuple.

[metaclass.livejournal.com]

callback какой тип будет иметь?
Ну и вообще это закат солнца вручную.

[zamotivator.livejournal.com]

type tuple_1 'a = 'a
and tuple_2 'a 'b = 'a * 'b
and ...
and callback_argument = tuple_1 | tuple_2 | ....
and calback_result a 'b ... = 'a | 'b | 'c ...;
let callback : callback_argument -> callback_result