首页   注册   登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  程序员

Lite 语言(二、函数和结构体)

  •  
  •   Kulics · 75 天前 · 1483 次点击
    这是一个创建于 75 天前的主题,其中的信息可能已经有所发展或是发生改变。

    github.com/kulics/lite ​ 这次我们来看看 Lite 的函数和结构设计。

    函数声明

    在 Lite 中,函数也是表达式,必须赋值给变量或常量,声明的格式为

    # (->) {} #
    function : (->) {
        # 函数逻辑 #
        a = 1 + 1
    }
    

    这是一个没有参数也没有返回值的函数。

    函数的调用方式和其它大部分语言一样。

    # 调用 #
    function()
    

    参数

    函数的参数定义与定义变量的方式一样,写在函数定义括号箭头前面部分,多个参数用逗号隔开。

    # 声明参数 #
    processInt : (x int, y int ->) {
        a = x + y
    }
    # 调用传参 #
    processInt(1, 2)
    

    返回值

    函数可以输出返回值,这样就可以将处理后的数据返回给调用者去使用。

    函数的返回值定义与参数定义相同,不同的是写在函数定义括号箭头后面部分,多个返回值用逗号隔开。

    返回语法表示为 <- value。

    # 声明返回值 #
    getInt : (-> x int, y int) {
        # 返回数据 #
        <- 1, 2
    }
    
    a, b = getInt()
    

    函数类型参数

    函数本身也存在类型,表示形式与声明的语法一致,只是不需要标识符和函数体。

    通过这种方式可以将函数像数据一样传递,这样就可以把部分逻辑的实现交给外部定义。

    doSomething : (x int ->) {
        print(x)
    }
    # do 为函数类型参数 #
    useFunction : (do (int->) ->) {
        # 调用外部传入的函数 #
        do(5)
    }
    # 传递函数 #
    useFunction(doSomething)
    

    Lambda 语法

    除了传递函数名称,我们也可以直接创建匿名函数作为参数。

    useFunction( (x int ->) {
        print(x)
    })
    

    当然了,这种方式有点啰嗦。我们既然知道了函数的具体类型,就可以交给编译器去分析声明,用更简单的 Lambda 语法来帮我们声明函数。

    # lambda 语法为 { id -> expression } #
    useFunction( { x -> 
        print(x)
    })
    

    嗯,简单多了。

    如果这个函数只有一个函数参数,我们甚至可以省略外面的括号。

    useFunction{ x -> print(x) }
    

    这样就很棒了是不是?

    判断 lambda 和循环 lambda

    Lite 语言内置了部分常用的 lambda 语法,在某些场景下可以精简代码设计。 使用判断 lambda 可以简化一些传值代码,语法结构与判断语法一样,只需要函数标记 ?->

    a = ?-> 1 + 1 == 2 {
        5
    } _ {
        0
    }
    b = a ?-> 5 {
        2
    } _ {
        3
    }
    

    使用循环 lambda 可以简化一些列表构造,语法结构与循环语法一样,只需要函数标记 @->

    arr = i @-> 0..<5 {
        i * 3
    }
    

    结构体

    在 Lite 中,结构体是将一系列具有相同类型或不同类型的数据构成的数据集合。

    结构体的声明格式为

    # id := $ {} #
    Cat := $ {
        name str
        age int
    }
    

    这样就把一个 name 字段和 age 字段包装在一个叫 Cat 的结构中,我们得到了一个新的类型 Cat,它就像 int 和 str 一样是一个可以被构建和传递的新数据类型。

    我们不能直接使用 Cat 里面的属性,因为它只是一种类型的声明。我们需要通过实例化,构造出我们需要的独立数据。

    # 构造表达式 type{} #
    a = Cat{}
    

    结构体内容调用

    和其它语言一样,Lite 也通过 . 语法来调用结构体里面的内容。

    a.name = "fish"
    a.age = 10
    

    结构体函数

    函数也是数据,所以结构体也可以直接声明函数,如果需要调用自身,只是需要在前面附带一个参数标志符,表示它自身。

    Cat := me $ {
        miao : (->) {
            print(me.name, me.age)
        }
    }
    

    这样 Cat 类型就增加了一个 miao 函数,它一样可以被调用。

    a.miao()
    

    接口

    接口是一种特殊的结构,它的定义形式类似于结构体,但是并不是用来包装数据,而是用来限定结构体必须包含的字段,用来对功能进行抽象,因此里面的内容只需要标志符和类型,不需要初始化。

    接口的声明格式为

    # id := % {} #
    Pet := % {
        getMaster (-> str)
    }
    

    这样就声明了一个 Pet 接口,它规定了对应的结构体必须实现 getMaster 函数。

    这里的接口也是一个独立的类型,但这个类型只能用来抽象对应的结构体并且使用它们的功能,不能用来构造数据。

    因此我们可以这样去使用接口

    printMaster : (x Pet ->) {
        print(x.getMaster())
    }
    

    就像使用一个结构体一样去使用它的内容。

    实现接口

    现在我们给 Cat 实现 Pet 接口,只需要在定义后面追加接口定义部分就可以了。

    # 实现规定的函数 #
    Cat := $ {
        ......
    } % Pet {
        getMaster : (-> name str) {
            <- "Kulics"
        }
    }
    

    现在我们就可以将 Cat 传递给 Pet 对象使用它了。

    a = Cat{}
    # 将 Cat 传递给 Pet #
    printMaster(a)
    

    结尾

    以上是 Lite 函数、结构体和接口的基本语法. 下一次我们会来看看如何表达异常处理和异步处理。

    10 回复  |  直到 2019-09-01 11:34:17 +08:00
        1
    ipwx   75 天前
    我觉得这个楼主是新一代的“辣个男人”。

    自从 ApiJson 的辣个男人被站长制裁了,好久没见过辣个男人了,稍微有点小寂寞呢。(手动狗头
        2
    GM   75 天前
    也就是说,我为了知道一个函数的返回值类型,需要通读整个函数?
        3
    GM   75 天前
    为了读懂代码,需要熟记各个特殊符号在*不*同*场*景*下*的含义?
        4
    GM   75 天前
    建议这个语言改个名,叫做 Licate,来源是 compLicate
        5
    changdy   75 天前
    K 娘 牛逼 --->此条推广 2 毛钱.
        6
    crella   75 天前 via iPhone
    哪位大佬有空写个 js 和 py 互转的编译器?
        7
    StarkWhite   75 天前
    @ipwx 确实在 v 站很久没看到 apijson 那个懒人了,不过在别的平台还很活跃。。。
        8
    zeroDev   75 天前 via Android
    v2ex 还不够垂直,建议弄个 rrs,新文章 rss 推送,挂项目主页上,免得天天有人喷
        9
    ilovecqrwx   75 天前
    K 叔!
        10
    FrankHB   74 天前
    Features

    * Well designed grammar, easy to write and read.

    咋没看到 formal grammar 呢。我还指望有点啥 adaptive grammar 啥的劳什子呢,结果 BNF 都没?
    看了下 doc,作者似乎连 grammar 和 syntax 都没分清?

    * The rules are clear and uniform, in line with intuition.

    只说 syntax rules 吧:连两句话都描述不清的、到处 overload punctuation (比如 {})的 syntax,好意思叫 clear and uniform ?
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   2991 人在线   最高记录 5043   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.3 · 24ms · UTC 10:53 · PVG 18:53 · LAX 02:53 · JFK 05:53
    ♥ Do have faith in what you're doing.