yuyan
yuyan copied to clipboard
yuyan-lang
豫言
## 简介 豫言是一个实现了语法无空格，强类型，静态编译，严格求值，全流程中文化，自举的高级函数式编程语言。类型系统方面，豫言采用了一个简单的依值类型系统，在System F的子系统内经过了初步测试，支持类型推导。执行速度方面，目前编译生成代码的执行速度仅比业界先进编译器MLton的慢2~4倍，自举全量编译的时间在10分钟左右，并行编译最快可达1分钟内，并且支持增量编译。豫言是一个使用中文编程的、具有研究性质的开发工具，我们希望豫言可以作为使用中文背景下的工业生产和编程语言学术研究领域内的共同的基础设施。 ## 关于中文的使用 豫言的运行环境以及C的绑定支持函数使用C代码编写，并行编译部分使用了Python，其余部分均采用中文汉字（且基本仅有中文汉字）进行编程，并统一使用UTF-8编码。从字数上看，豫言编译器主体共一万七千多行代码，共三十余万字，豫言标准库及拓展库共两千七百多行代码，近四万字。 ## 内测版简介 目前内测版仅提供预编译的Ubuntu/Linux 22.04 LTS安装包，其他系统需要手动从源码编译。 内测版下载链接：https://github.com/yuyan-lang/yuyan/releases 安装运行简介：https://github.com/yuyan-lang/yuyan/blob/master/docs/从源代码编译.md 基础语法与基础教程：https://yuyan-lang.github.io/yuyan/教程/combined_tutorial.pdf PLOC论坛页：https://zh-lang.osanswer.net/t/topic/375 大家可以通过PLOC论坛或者Issues界面向我们反馈问题，我们期待听到大家的宝贵意见和建议。
``` 以分割至少一个乃承甲而承乙而化解析器于甲而化解析器于乙而解析器于乙列也。 以分割至少一个者循以分割至少一个以会分割符而会本体而 继续解析于本体于（会后本体而 构造解析器于（会可能分割输入而 鉴（运行解析器于分割符于可能分割输入）而 有（成功解析于「分隔符结果」于「剩余」）则（ 运行解析器于（继续解析于（「以分割至少一个」于「分割符」于「本体」）于（会「后列」而成功解析器于（后本体衔「后列」）））于剩余 ） 或有（失败解析于「错误信息」于「剩余」）则（ 成功解析于（【后本体】）于「可能分割输入」 ） ） ） 也。 ```
「：在路径中找到第一个匹配的文件夹：」 「寻找文件夹」乃化字符串列而化字符串而字符串也。 「寻找文件夹」者会路径们而会文件名而（ 续延之以当前续延调用于（会返回而 （有列也态射于（会路径而 虑（ 文件名者路径附操作系统之路径之路径分隔符附文件名也。 若（文件系统之路径存在于文件名） 则（若（文件系统之路径是文件夹于文件名） 则返回于文件名否则元） 否则元。 元。 ） ）于路径们）； 发生事故于『文件夹未找到』 ） ）也。
https://github.com/yuyan-lang/yuyan/discussions/73#discussioncomment-8187084
https://github.com/yuyan-lang/yuyan/discussions/76#discussioncomment-8199273