Умножение списка кортежей на кортеж в F #

Question

Я пишу код в F #, и мне нужно умножить и добавить каждый элемент в список кортежей (c,d) по кортежу (a,b).

Чтобы уточнить,

• У меня есть некоторый набор (a,b)
• и некоторый список кортежей [(c,d),(e,f),(g,h)...]
• , и я пытаюсь получить [(a*c,b*d),(a*e,b*f),(a*g,b*h)...]
• , и я пытаюсь получить (с отдельная функция) [(a+c,b+d),...]

Я попытался использовать List.map, чтобы умножить каждый элемент в списке на кортеж, но я получаю сообщение об ошибке, которое * является недопустимым оператором для типа tuple.

Это, как я в конечном итоге реализации функции умножения рекурсивно поиска по шаблону:

let rec mtp(t:term,p:poly):poly = 
    match (t, p) with 
     | (a,b),[] -> [] 
     | (a, b),(c,d)::ps -> (a*c,b*d)::mtp(t,ps) 

Где термин кортеж поплавок * междунар и поли является список терминов

Answer 1

Ok List.map является хорошая идея - вам нужно только убедиться, что вы что-то даете (допустим, лямбда), чтобы сообщить F #, как работать с двумя кортежами.

Чтобы сделать его немного более общем, вы могли бы сделать что-то вроде этого:

let withTuple (a,b) op tpls = 
    List.map (fun (a',b') -> (op a a', op b b')) tpls 

И работать с ним, как вы ожидали

> withTuple (1,1) (+) [(2,3);(4,5)];; 
val it : (int * int) list = [(3, 4); (5, 6)] 
> withTuple (2,1) (*) [(2,3);(4,5)];; 
val it : (int * int) list = [(4, 3); (8, 5)] 

---

, чтобы понять это немного лучше, вы должны :

• попытаться выяснить подпись (Хорошо использовать F #/F # Interactive, если вам нравится)
• возможно попытаться написать функцию, где части кортежа могут иметь различные типы (подсказка: вам нужно больше, чем один op функцию)
• зачем вам более одной функции для последней? (Почему будет withTuple (2.0,1) (*) [(2.1,3);(4.2,5)] не работать - это не (+) должен работать для всех чисел?)