俚语 源码

俚语 一种松散地基于Scala和Haskell语法的玩具语言。 内置Scala 3,Cats Effect 3和Cats Parse。 特征 无,请勿使用!!!!! 但实际上,如果您好奇我在做什么... 程序就是表达 每个Slang程序和源文件都是一个表达式。 这意味着每个程序和文件都有一个值,并且文件的值可以是任何类型。 在编写本文时,还没有实现类型检查,因此Slang基本上是一种动态语言。 顶级表达 源文件包含一个表达式列表:函数定义,值分配(尚未实现),引用,函数调用。 这仍然有待解决,但是到目前为止,计划是使最后一个表达式定义程序/文件的值,这与Scala中的块类似。 有趣的是,每个文件的表达式都包装在一个“隐式块” AST节点中。 结果是,当需要时间来弄清楚如何做效果时,就是只允许最后一个表达式具有效果。 在最后一个表达式之前运行效果而未给它们分配值,则将来可能会导致编译错