MIT的軟體技術教授Adam Chlipala設計了新的Ur/Web程式語言，這是一個整合HTML、CSS、XML、SQL及JavaScript等網路標準的“完整獨立”語言， 強調快速、安全及“...