IZ
Можно. Пускать обычные тесты, но с мемчекерами.
есть кстати задачка по плюсам
в js есть варарг функция compose (как точка в хаскеле)
compose :: (a -> a1) ->... (an -> an1) -> a -> an1
ну только в другуя сторону. не важно
думаю с вараргами в темплейтах плюсов её вполне реально типизировать и более того, в других языках нет надежды на типизацию