里程碑！用自己的编程语言实现了一个网站-六虎

前言

在上一篇《总算完成了一门属于自己的编程言语》介绍了自己写的编程言语 GScript ，在文中提到期望最终能够运用 GScript 开发一个网站。

到现在为止的确是做到了，主页地址：

gscript.crossoverjie.top/index

要称为一个网站的确有点牵强，不过也是一个动态网页，因为回来的是 HTML，所以在当时阶段只需不嫌费事其实也能写一个“合格”的网站，有点像以前咱们学习 Java 时的 servlet。

该页面的源码地址在这里：
github.com/crossoverji…

其实一共也就40来行代码：

class GScript{
    string author;
    string[] features;
    string since;
GScript(string a, string[] f, string s){
    author = a;
    features = f;
    since = s;
}
}
func (HttpContext) index(HttpContext ctx){
string[] features = {"statically", "strongly"};
GScript gs = GScript("crossoverJie",features, "2022");
string j = JSON(gs);
println(j);
string local = getCurrentTime("Asia/Shanghai","2006-01-02 15:04:05");
println("local=" + local);
string html = ^
<html>
<title>GScript</title>
<pre>
_     _
___ ___ ___ ||| |
| . |_ -|  |  | | . |  |
|  |||| ||  ||
|__|             ||   v0.0.7
^+ j +^
</pre>
<h1>current ^+ local +^</h1>
<p><a href="https://juejin.im/post/7143641846772662280/https://github.com/crossoverjie/gscript-homepage"&gt;GScript-homepace source code</a></p>
</html>
^;
ctx.HTML(200, html);
}
httpHandle("GET", "/index", index);
string[] args = getOSArgs();
if (len(args) ==3){
httpRun(":" + args[2]);
}else {
httpRun(":8000");
}httpHandle("GET", "/index", index);
string[] args = getOSArgs();
if (len(args) ==3){
httpRun(":" + args[2]);
}else {
httpRun(":8000");
}

全是利用 GScript 所供给的规范库完成的，后文会详细聊聊内置 HTTP 包。

更新内容

下面要点来看看 v0.0.8 这个版别相较于上一个更新了哪些地方。

因为我是把自己当做一个开发者的视点去完成了一个 http 服务，同时还用 GScript 刷了两道简略的 LeetCode；为了让这个进程更流畅，更符合一个现代言语的运用方法，所以本次真的更新不少东西。

刷题源码：github.com/crossoverJi…

大约如下：

any 类型的支撑，简化规范库的完成。
能够用来声明多行字符串，便利声明杂乱字符串。
更完善的类型推导，修复了上个版别中某些情况推导不出类型的bug。
支撑运算符重载。
根本的 http 包，能够开发出 http 服务，现在能呼应 JSON 以及 HTML。
新增内置函数：依据时区获取当时时间、获取运用启动参数等。
JSON 的序列表以及查询，语法级适配了 XJSON。
修复了在多个 block 嵌套情况下不能正确 return 的 bug。

其实从这些更新中也能看出，上个版别只是一个简略能用的状态，而现在这个版别已经能够拿来写杂乱逻辑了，当然现在还缺少一些更友爱的编译提示以及运行时错误。

下面仔细聊聊一些更新内容。

any 类型

首先是 any 通用类型，这个类似于 Java 中的 Object 和 Go 中的 interface{},极大的便利了咱们编写一些规范库。

以之前内置的 hash 和 len 函数为例，需要对每种类型都完成一遍，十分费事而且毫无必要；现在只需要界说一次即可，代码量直接省几倍。

同理，之前完成的 Map 只支撑寄存 string 类型，现在便能寄存任何类型的数据。

对 any 的完成进程感兴趣的朋友，今后能够独自共享一下。

运算符重载

写 go 或者是 Java 的朋友应该知道，这两门言语都无法对两个目标进行运算，编译器会直接报错。

但在一些特别场景下仍是蛮好用的，所以我参阅了 C# 的语法在 GScript 中也完成了。

class Person{
int age;
Person(int a){
age = a;
}
}
Person operator + (Person p1, Person p2){
Person pp = Person(p1.age+p2.age);
return pp;
}
Person operator - (Person p1, Person p2){
Person pp = Person(p1.age-p2.age);
return pp;
}
Person p1 = Person(10);
Person p2 = Person(20);
Person p3 = p1+p2;
println("p3.age="+p3.age);
assertEqual(p3.age, 30);

声明的函数称号必须为 operator，之后跟上运算符便完成了重载。

支撑的运算符有：+-*/ < >= <= > ==。

JSON支撑

当时版别中支撑将目标、根本类型进行序列化，暂不支撑反序列化为目标，但能够依据 JSON 字符串经过一定的语法查询数据。

内置了两个 JSON 相关函数：

// return JSON string
string JSON(any a){}
// JSON query with path
any JSONGet(string json, string path){}

class Person{
int age;
string name;
float weight;
bool man;
Person(string n, int a, float w, bool m){
name = n;
age = a;
weight = w;
man =m;
}
}
Person p1 = Person("abc",10,99.99,true);
Person p2 = Person("a",11,999.99,false);
string json = JSON(p1);
println(json);
// output:{"age":10,"man":true,"name":"abc","weight":99.99}

以这段代码为例，调用 JSON 函数能够将目标序列化为 JSON 字符串。

class Person{
int age;
string name;
float weight;
bool man;
Person(string n, int a, float w, bool m){
name = n;
age = a;
weight = w;
man =m;
}
}
Person p1 = Person("abc",10,99.99,true);
string json = JSON(p1);
println(json);
int age = JSONGet(json, "age");
println(age);
assertEqual(age,10);int age = JSONGet(json, "age");
println(age);
assertEqual(age,10);

运用 JSONGet 函数能够在一个 JSON 字符串中查询恣意的数据，这个功用是经过适配 XJSON 完成的，所以 XJSON 支撑的查询语法都能完成。

string j=^{"age":10, "abc":{"def":"def"},"list":[1,2,3]}^;
String def = JSONGet(j, "abc.def");
println(def);
assertEqual(def,"def");
int l1 = JSONGet(j, "list[0]");
println(l1);
assertEqual(l1,1);
string str=^
{
"name": "bob",
"age": 20,
"skill": {
"lang": [
{
"go": {
"feature": [
"goroutine",
"channel",
"simple",
true
]
}
}
]
}
}
^;
String g = JSONGet(str, "skill.lang[0].go.feature[0]");
println(g);
assertEqual(g,"goroutine");string str=^
{
"name": "bob",
"age": 20,
"skill": {
"lang": [
{
"go": {
"feature": [
"goroutine",
"channel",
"simple",
true
]
}
}
]
}
}
^;
String g = JSONGet(str, "skill.lang[0].go.feature[0]");
println(g);
assertEqual(g,"goroutine");

比方这样杂乱的嵌套 JSON，也能经过查询语法获取数据。

HTTP 包

HTTP 包是本次升级的要点，规范库中供给了以下函数和类：

// http lib
// Response json
FprintfJSON(int code, string path, string json){}
// Resonse html
FprintfHTML(int code, string path, string html){}
// path (relative paths may omit leading slash)
string QueryPath(string path){}
string FormValue(string path, string key){}
class HttpContext{
string path;
JSON(int code, any v){
string json = JSON(v);
FprintfJSON(code, path, json);
}
HTML(int code, any v) {
string html = v;
FprintfHTML(code, path, html);
}
string queryPath() {
string p = QueryPath(path);
return p;
}
string formValue(string key){
    string v = FormValue(path, key);
    return v;
}
}
// Bind route
httpHandle(string method, string path, func (HttpContext) handle){
// println("path="+path);
HttpContext ctx = HttpContext();
handle(ctx);
}
// Run http server.
httpRun(string addr){}}
// Bind route
httpHandle(string method, string path, func (HttpContext) handle){
// println("path="+path);
HttpContext ctx = HttpContext();
handle(ctx);
}
// Run http server.
httpRun(string addr){}

详细的运用流程：

经过界说一个函数变量完成自己的业务逻辑。
注册路由。
启动 HTTP 服务。

在自己的 handle 中能够经过 HttpContext 目标拿到请求上下文，能够获取请求参数以及呼应数据。
详细运用示例能够参阅这份代码。

总结

本次更新比我预期的要顺利一些，因为语法树和编译器已经根本完成完毕，不会怎样改了，现在新增的特性无非就是运行时完成一些语法糖，大部分都是体力劳动；可能是新鲜感带来的兴奋剂作用，大部分时间都是痛并快乐着。

比方这两天主要就是在修复多层 block 嵌套时遇到 return 语句无法正确回来的 bug，死活折腾了两夜；总算在无数次分析 AST 找到了解决方案，现在想想的确仍是相关经验太少。

对这个 Bug 感兴趣的朋友能够点个赞，后面能够共享一下。

下一阶段要点就是将编译信息好好整理，让开发体会更好。之后抽空再把 SQL 规范库完成了，这样就能愉快的 CURD了。

最后期望对该项目或者是编译原理感兴趣的朋友能够下载运用，提出宝贵意见，欢迎加我微信沟通。

v0.0.8 下载地址：
github.com/crossoverJi…

本文来历：里程碑！用自己的编程言语完成了一个网站

里程碑！用自己的编程语言实现了一个网站

前言

更新内容

any 类型

运算符重载

JSON支撑

HTTP 包

总结

相关文章

AndroidStudio编译时出现-Xlint:deprecation、-Xlint:unchecked警告

Flutter桌面小工具 — 灵动岛【Windows+Android版本】

Java8Streams流groupBy详解

一文读懂ChatGPT的工作原理：大语言模型是个啥？它到底咋工作的？

作者信息