F #: Композиция узора?

Question

Я пытаюсь написать шаблон, который объединяет два других шаблона, но я не уверен, как это сделать. Мой ввод - это список строк (документ); У меня есть шаблон, который соответствует заголовку документа и шаблон, который соответствует телу документа. Этот шаблон должен соответствовать всему документу и возвращать результаты шаблонов заголовка и тела.

Answer 1

Вы можете запустить два шаблона вместе, используя &.Вы пропустили некоторые детали в своем вопросе, так что вот некоторый код, который я предполагаю, чем-то похож на то, что вы делаете.Второй вернет все, кроме первого символа.Следующий код демонстрирует, как использовать их вместе.

match "Hello!" with
| Header h & Body b -> printfn "FOUND: %A and %A" h b
| _ -> ()

Это распечатывает: FOUND: 'H' and "ello!"