MIT的软体技术教授Adam Chlipala设计了新的Ur/Web程式语言，这是一个整合HTML、CSS、XML、SQL及JavaScript等网路标准的“完整独立”语言， 强调快速、安全及“...