Никто из уважаемых не думал о том что бы реализовать эти отчеты на чисто функциональном языке? Вот меня в последнее время что-то эта мысль не покидает. По идее должно получиься красивее и понятнее нежели на 1С.
(7) построение матмодели по налоговому кодексу - неужто никому не интересно? Какими свойствами будет обладать полученая модель? Что с ней можно сделать и как применить?
(8) Кстати, вопрос был про функциональные языки. На форте все сведется к написанию интерпритатора лиспа, и решению задачи снова на функциональном языке. На брейнфак можно скомпилировать получившийся код. Как и н вайтспейс или любой другой.