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

[permea-kra.livejournal.com]

Гм.

procA :: (Head, (....)) -> res
procA (head, tail) =
   let aRes = doSomeWithHead head
   in procB aRes tail
.....

procFinal :: (PreLast, last) -> res
procFinal preL preLast = someOp preL preLast

Построение, соответственно, в обратную сторону
Шрот, конечно, жутчайший, но работать должно даже в плюсах, ни о каком хаскеле не говорим. Почему в F#-то не будет?

[metaclass.livejournal.com]

А где тут полиморфизм?

[permea-kra.livejournal.com]

Когда нужно что-то пропустить по дороге, например. Будет функция skip со странными аргументами.