yuyan

yuyan copied to clipboard

UltimatePea

如果将 llvm-ir 融合到豫语中，会否有一些好处呢？

8

比如： ``` %4 = add i32 %2, %3 ``` 相当于 ``` %4的定义是加使用于%2使用于%3 ``` 又如： ``` icmp eq i32 4, 5 ``` 相当于 ``` 4等于5 ``` 如果这样llvm汇编会成为豫语的一个子集？ 早先一点对汇编中文化的 [相关设想请见此](https://www.zhihu.com/question/421032077/answer/1479533945)。 另外这位 [中文化了字节码](https://zhuanlan.zhihu.com/p/370349677)，如“如果假跳转”。

nobodxbodon

[IR_sample2.txt](https://github.com/yuyan-lang/yuyan/files/13945466/IR_sample2.txt)

UltimatePea

在去柯里化优化中递归变量节点的处理可能会制造死循环。

UltimatePea

若非打开，那应该是用结构投影替换，而不是自由变量。 抽象语法分析230行左右

UltimatePea

标准库添加StringSlice

1

增加字符串拼接的执行效率

UltimatePea

例如 ``` 虑A者B而C。 ``` 会抛出`语分43`，因为它理解成了`A者B也`的句式，但其实应该理解成直接表达式。

UltimatePea

以下的情况未正确处理： x : {A} -> {B} -> C C

UltimatePea

模式匹配时可能有类型构造器的匹配，但类型信息在运行时是不写的？不知道会不会出问题。需要检查

UltimatePea

因为我们允许对于自由变量进行匹配，目前我们可能允许对于外部调用进行匹配，我们需要看看是不是有bug

UltimatePea