Я читал о провайдерах типа F # 3.0 (например,Вот) и кажется, что они основаны на генерации кода во время компиляции. В этом отношении мне было интересно, как они сравниваются с макросами Lisp. Казалось бы, и поставщики типов F # 3.0, и макросы Lisp позволяют выполнять код пользователя во время компиляции и вводить новые типы, доступные для компилятора. Может кто-нибудь пролить свет на проблему и связанные с ней нюансы?