函數式程式設計

MIT的軟體技術教授Adam Chlipala設計了新的Ur/Web程式語言，這是一個整合HTML、CSS、XML、SQL及JavaScript等網路標準的「完整獨立」語言，強調快速、安全及「元編程」的開放源碼專案，可望減少開發人員設計網路應用程式所耗費的時間與精力。