Ur语言 Ur也叫作UrWeb是一个自由和开源的函数式编程语言专门用于web开发由Adam Chlipala在麻省理工学院创建它从一个单一的程序产生服务器代码web浏览器客户端代码和特定于选择的数据库后端的SQL代码