Непонятное отношение к котировкам F # и сопоставлению с образцом в метапрограммировании

1- Я действительно не понимаю, применяя котировки и шаблоны F # в метапрограммировании, пожалуйста, предложите какой-нибудь способ приблизиться к этой концепции в F #.

2- Не могли бы вы показать мне какое-нибудь реальное применение котировок и шаблонов F # в метапрограммировании?

3- Некоторые ребята сказали, что он может даже создать другой язык, например IronScheme на F #, верно?

Спасибо.