易语言吧 关注:266,525贴子:1,664,497
  • 34回复贴,共1

我正在实现一个有依赖类型库的纯函数中文编程语言

只看楼主收藏回复

我正在实现一个有依赖类型库的纯函数中文编程语言


来自手机贴吧1楼2019-01-21 19:13回复
    和一个中文的定理搜索器等东西


    来自手机贴吧2楼2019-01-21 19:14
    收起回复
      这些语言里中文也可以自动被翻译为English


      来自手机贴吧3楼2019-01-21 19:14
      回复
        但是从所谓的好像叫做学术界的东西里复制来了一堆特性和设计,然后增加了几个我设计的特性,不知道是否稳定。


        来自手机贴吧4楼2019-01-21 19:14
        回复
          有人想加入嗎


          5楼2019-01-22 10:24
          回复
            ?


            6楼2019-01-23 12:26
            回复


              IP属地:天津7楼2019-01-23 12:43
              回复
                正好寒假闲的没事干


                IP属地:天津8楼2019-01-23 12:43
                回复(4)
                  @invefa


                  9楼2019-01-24 17:54
                  回复
                    @


                    11楼2019-01-25 17:39
                    回复
                      @zaomir


                      IP属地:天津来自Android客户端12楼2019-01-29 10:13
                      回复


                        IP属地:天津来自Android客户端13楼2019-01-29 10:13
                        回复
                          最近没怎么看贴吧,所以来晚了


                          IP属地:天津来自Android客户端14楼2019-01-29 10:14
                          回复
                            纯函数又来了
                            lz 先给大家科普科普什么是纯函数编程语言吧


                            星座王
                            点亮12星座印记,去领取
                            活动截止:2100-01-01
                            去徽章馆》
                            IP属地:广东15楼2019-01-29 16:46
                            收起回复
                              中文化是编程歧途


                              IP属地:广东来自Android客户端16楼2019-01-30 10:30
                              回复