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

[metaclass.livejournal.com]

эээ, ты что имеешь в виду?
Конвертировать тупл в гетерогенный список типа [SqlInt int;SqlString string], а тип тупла в [Type] и потом по ним итерироваться?
Но функцию конвертации в любом случае без компилятора не сделаешь. И вообще это в дотнете встроенное уже есть, reflection

Вот обратное - из типов и списков сгенерить тупл - уже без метапрограммирования не сделаешь.

[109.livejournal.com]

> Конвертировать тупл в гетерогенный список типа [SqlInt int;SqlString string]

wait, так нет же гетерогенных списков.

[metaclass.livejournal.com]

type SqlType=
| SqlInt of int
| SqlString of string

let sqlItems = [SqlInt 1; SqlString "test" ]

Вот. Вполне себе гетерогенный список.