LambdaPHP:PHP 语义

时间:2024-06-27 09:19:05
【文件属性】:

文件名称:LambdaPHP:PHP 语义

文件大小:11KB

文件格式:ZIP

更新时间:2024-06-27 09:19:05

Racket

拉姆达PHP 一些 PHP 的经过测试的语义。 解析 PHP 我使用 Racket 库来解析 PHP。 脱糖为λPHP 我编写了一个来对 php-parser 生成的抽象语法树进行 。 支持以下语法和功能: 原始值 整数: -5, 0, 1 双打: -5.3, 0.1729, 1.0 字符串: "Hello world!" 布尔值: true, false 空: null 变量赋值 正常: $x = ... 加: $x += ... 减去: $x -= ... 时间: $x *= ... 除: $x /= ... 模数: $x %= ... 点: $x .= ... 二元运算符 加: 1 + 5 减: 2 - 5 次数: 3 * 4 除: 10 / 3 模数: 10 % 3 点: "hello" . " world" "hello" . " wor


【文件预览】:
LambdaPHP-master
----.gitignore(19B)
----LambdaPHP()
--------read.rkt(243B)
--------desugar.rkt(4KB)
----README.md(6KB)
----Redex()
--------test.rkt(10KB)
--------phpcore.rkt(8KB)
--------phpdelta.rkt(6KB)

网友评论