People interested in secure web development frameworks should definitely check out Ur/Web http://www.impredicative.com/ur/