第1页

GF云

GF夏令营2013

托马斯·哈格伦

第2页

目的

第3页

GF云在哪里

第4页

GF云中有什么

第5页

其他一些web应用程序

第6页

使用GF语法的应用程序编程

第7页

可移植语法格式

第8页

Haskell应用程序

PGF运行时库

第9页

安装PGF运行时库

第10页
安装PGF运行时库

示例1:一个简单的翻译器

转换器.hs

第11页
安装PGF运行时库

示例2:问题回答系统

第12页
安装PGF运行时库示例2:问题回答系统

GF中的抽象语法

摘要算术= {
    
旗帜启动=问题;

答案;对象;问题;

乐趣偶数,奇数,Prime(主要):对象->问题;编号:国际->对象;是的,:答案;
}
第13页
安装PGF运行时库示例2:问题回答系统

英语的具体语法

混凝土算术工程属于算术= {

林肯猫答案,对象,问题= Str公司;

偶数对象=“偶数”对象;奇数对象=“奇数”对象;Prime对象=“主要”对象;数字int=整数.;= “没有。”;是的= “是的。”;

操作人员: Str公司 -> Str公司 -> Str公司  = \pred(前),对象-> “是”++对象++pred(前)++"?";
}
第14页
安装PGF运行时库示例2:问题回答系统

哈斯克尔码

与翻译器示例类似,但

第15页
安装PGF运行时库示例2:问题回答系统哈斯克尔码
第16页
安装PGF运行时库示例2:问题回答系统

将GF抽象语法导出到Haskell

第17页
安装PGF运行时库示例2:问题回答系统

生成的Haskell代码

第18页
安装PGF运行时库示例2:问题回答系统

传递函数

第19页
安装PGF运行时库示例2:问题回答系统传递函数

编译工具:
ghc—生成答案.hs

第20页
安装PGF运行时库

示例3

更大的查询语言

较大的语法:Query.gf、数学查询.gf、查询工程.gf、MathQueryEng.gf

第21页

使用GF实现web应用程序

第22页

服务器端GF应用程序

第23页
服务器端GF应用程序

实现:服务器端

第24页
服务器端GF应用程序

实施:客户端

一些HMTL+JavaScript提交问题并将答案嵌入同一网页

第25页

PGF web服务API

第26页

GF JavaScript库

第27页

在自己的计算机上运行PGF服务

GF服务器模式

第28页
在自己的计算机上运行PGF服务

例子

使用引导输入回答问题:

第29页
在自己的计算机上运行PGF服务

使用Lighttpd/Apache httpd的FastCGI

第30页

没有Web服务器的Web应用程序

将语法转换为JavaScript,例如:

第31页
没有Web服务器的Web应用程序

迷你吧离线实验(2010年11月)

第32页

其他语言的应用程序

第33页

结束

问题?

更多信息