Вопросы, связанные с совместимостью с .NET

[impworks]

Внезапно выяснилось несколько неоднозначных моментов, связанных с совместимостью с фреймворком .NET:

1. Мы поддерживаем только одномерные массивы или массивы массивов. Критично ли отсутствие поддержки для объявления N-мерных массивов?
2. Нужно ли поддерживать функции с out и ref-параметрами?
3. Нужно ли поддерживать атрибуты? (полагаю что нет)
4. Что делать с подписями типов? Мне пока не приходит на ум нормального способа узнать на уровне парсера, что такое A<B - выражение "а меньше б", или же часть подписи типа A<B> ?

[ForNeVeR]

1. Не критично, я в реальном мире видел двумерные массивы только один раз.
2. Не критично, но более желательно.
3. Не критично.
4. Парсер должен разруливать. Сама синтаксическая структура, в общем-то, не допускает этой проблемы - я не могу написать булево выражение там, где ожидается тип.

Из всего перечисленного хотелось бы только функций с out и ref-параметрами, т.к. они частенько пригождаются (см. TryParse). Остальное вполне можно отложить до второй версии, которой может и не быть.

По поводу TryParse - этот паттерн встречается настолько часто, что в F# даже прикрутили специальную его обработку на уровне компилятора.

[impworks]

1. Хер с ними, если особо приспичит, можно сделать какой-нибудь конвертер из T[][] в T[,] в виде функции.
2. Добавил в БНФ.
3. Забил.
4. Поскольку наш чудо-парсер на fparsec поддерживает backtracking, эта проблема неактуальна.