functional reactive web framework