关于编译原理:里程碑用自己的编程语言实现了一个网站

2次阅读

共计 4628 个字符，预计需要花费 12 分钟才能阅读完成。

在上一篇《终于实现了一门属于本人的编程语言》介绍了本人写的编程语言 GScript，在文中提到心愿最终能够应用 GScript 开发一个网站。

到目前为止的确是做到了，首页地址：

https://gscript.crossoverjie.top/index

要称为一个网站的确有点勉强，不过也是一个动静网页，因为返回的是 HTML，所以在以后阶段只有不嫌麻烦其实也能写一个“合格”的网站，有点像以前咱们学习 Java 时的 servlet。

该页面的源码地址在这里：
https://github.com/crossoverjie/gscript-homepage

其实总共也就 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://github.com/crossoverjie/gscript-homepage">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");
}

全是利用 GScript 所提供的规范库实现的，后文会具体聊聊内置 HTTP 包。

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

因为我是把本人当做一个开发者的角度去实现了一个 http 服务，同时还用 GScript 刷了两道简略的 LeetCode；为了让这个过程更晦涩，更合乎一个古代语言的应用形式，所以本次真的更新不少货色。

刷题源码：https://github.com/crossoverJie/gscript/tree/main/example/leetcode

大略如下：

any 类型的反对，简化规范库的实现。
能够用 ^^ 来申明多行字符串，不便申明简单字符串。
更欠缺的类型推导，修复了上个版本中某些状况推导不出类型的 bug。
反对运算符重载。
根本的 http 包，能够开发出 http 服务，目前能响应 JSON 以及 HTML。
新增内置函数：依据时区获取以后工夫、获取利用启动参数等。
JSON 的序列表以及查问，语法级适配了 XJSON。
修复了在多个 block 嵌套状况下不能正确 return 的 bug。

其实从这些更新中也能看出，上个版本只是一个简略能用的状态，而当初这个版本曾经能够拿来写简单逻辑了，当然目前还不足一些更敌对的编译提醒以及运行时谬误。

上面认真聊聊一些更新内容。

首先是 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 相干函数：

// 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);

应用 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");

比方这样简单的嵌套 JSON，也能通过查问语法获取数据。

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){}

具体的应用流程：

通过定义一个函数变量实现本人的业务逻辑。
注册路由。
启动 HTTP 服务。

在本人的 handle 中能够通过 HttpContext 对象拿到申请上下文，能够获取申请参数以及响应数据。
具体应用示例能够参考这份代码。

本次更新比我预期的要顺利一些，因为语法树和编译器曾经根本实现结束，不会怎么改了，当初新增的个性无非就是运行时实现一些语法糖，大部分都是体力劳动；可能是新鲜感带来的兴奋剂成果，大部分工夫都是痛并高兴着。

比方这两天次要就是在修复多层 block 嵌套时遇到 return 语句无奈正确返回的 bug，死活折腾了两夜；终于在无数次剖析 AST 找到了解决方案，当初想想的确还是相干教训太少。

对这个 Bug 感兴趣的敌人能够点个赞，前面能够分享一下。

下一阶段重点就是将编译信息好好整顿，让开发体验更好。之后抽空再把 SQL 规范库实现了，这样就能欢快的 CURD 了。

最初心愿对该我的项目或者是编译原理感兴趣的敌人能够下载应用，提出宝贵意见，欢送加我微信交换。

v0.0.8 下载地址：
https://github.com/crossoverJie/gscript/releases/tag/v0.0.8

正文完

编译原理

发表至：编译原理

2022-09-14

0

关于编译原理:手写编程语言递归函数是如何实现的

关于编译原理:编译原理与设计-12-编译器介绍

关于编译原理:手写编程语言如何为-GScript-编写标准库

关于编译原理:BITMiniCC-从跑通到跑路

关于后端:HahMap-底层实现原理是什么JDK8-做了哪些优化

关于编译原理:里程碑用自己的编程语言实现了一个网站

前言

更新内容

any 类型

运算符重载

JSON 反对

HTTP 包

总结

站内搜索