История изменений
Исправление hateyoufeel, (текущая версия) :
Забей, всё равно уже есть ghcjs, который позволяет выкинуть этот твой JS и писать на кошерном Haskell.
В частности, это означает возможности манипуляции первоклассными типами и рефлексии.
Кстати, это присутствует в языках с зависимыми типами. Idris, например.
Исходная версия hateyoufeel, :
Забей, всё равно уже есть ghcjs, который позволяет выкинуть этот твой JS и писать на кошерном Haskell.