不久前我写了汉澳sinox无人工厂,引起很大反响,东莞开始有工厂实施无人工厂计划,取代工人。虽然目前即使开发无人工厂也可能只是0.1版本,然后有1.0,2.0,无人工厂不断升级版本,当然跟预想中的汉澳sinox无人工厂还有很大距离,但是毕竟提出了概念,并指明了方向,无人工厂技术研究很可能在中国引发新的工业革命。也为中国制造业指明了出路,不用担心产业转移等让中国丧失世界工厂的地位,无人工厂技术和资金投入会越来越多,保持中国制造业领先地位还是有可能的。
我有时在想,无人技术发展很快,比如无人机技术已经很成熟,最近无人驾驶也开始实用,无人工厂如果技术也成熟了,那么下一步发展的无人技术是什么?无人是指不需要人,完全自动化操控的技术,不是没有人。作为程序员,我很懒,我希望很多简单重复的工作不需要人去做,直接自动化编程就好,比如软件代工,没什么技术含量,总是由编码工人做重复工作,而不熟练的程序员还做不了,如果用机器来做,其实应该是软件来做,就不需要重复工作的编码工人了。软件设计不需要机器生产,只是脑力劳动,所以也没有无人编程工厂,应该是无人编程软件,用软件生产软件,只是高智慧的软件生产普通应用程序。无人编程工具,应该叫自动化编程系统,还是需要人输入需求的,否则软件不知道生产什么。需求千变万化,不像工厂生产的固定产品,软件生产需要面对复杂的应用程序生成,估计开发难度会比无人工厂大很多,甚至不可能。不过我觉得既然提出了无人编程,即使只是感念,也要把它完善,也许几十年以后无人编程会变成现实。
一旦无人编程技术成熟,程序员,这个最富智慧和脑力的职业,也要面临消失的可能。程序员将会继产业工人之后走向失业。而很多普通的工作比如理发,护理,打杂等,都可能由机器人完成,这个可能比较容易,要是能取代程序员,那么估计没有什么工作不可以由无人机器或者软件替代。这将是非常可怕,这样还需要什么工作呢?大家都失业在家,让机器人、智能软件接管世界?开发机器人可以由无人工厂完成,而开发机器人软件则由无人编程软件完成,最后只有开发无人编程软件的人员不失业。开发无人编程工具的人是谁?应该是各专业的顶尖科学家。
只有顶尖科学家可以工作,其他人都失业,成为类似原始部落社会的人,不用做事。这个扯远了,不过程序员应该是最后一批失业的产业工人。
好,现在已经知道有无人编程这个软件了,那么这个软件是怎么实现呢?说实话,这个软件现在技术还不成熟,我们只能探讨各种可能,并找到开发方法。
.net类库的优势
我用过汇编。c/c++,java,perl,php等各种编程语言和工具,直到我用了C#.net,才知道编程真的越来越容易了,汇编不用说了,用机器语言写程序,难。c语言,好些了,不过每个函数功能自己写,累。vc好点,但是mfc写界面还是很难,而且很多算法要自己实现,或者抄袭别人写的类。java更好点。而脚本语言perl.php等怎么说呢?管理系统和做网页是适合,但是做界面是很难的。最后出现了伟大的.net,很多功能函数,数据结构,算法都由.net类库分门别类实现好了,比如要把“1,2,3,4,5”字符串按逗号分开,用split函数就好了,以前见vb有这个函数,觉得很方便,但是c/c++是没有的,现在C#就特别方便了,直接用split就好。所以.net类库非常方便用户编程,而且界面控件也很方便实现,甚至web网页程序也可以用控件实现。.net让程序员开发速度快了好多倍。只可惜.net不能跨平台,windows贵且不好用,所以被抵制。java现在也开发了很多类库,跨平台很好,所以被unix/linux世界推崇。
.net类库让人类开发能力上了一个档次,虽然面对各种多样复杂的计算,还是需要设计数据结构和逻辑算法,但是大部分基础功能还是可以由.net类库实现了。
能不能把.net类库提升到一个档次?开发更多的函数功能应该是可能的。但是也不可能包罗万象,把所有计算都包含进去,比如新加坡总理李显龙写的数独求解算法,把算法加入类库,普通程序员就可以开发九宫这种数独游戏。不过数独算法应该找到源代码,这样不需要加入.net类库也可以引用。
又比如开发3d游戏,虽然可以直接用directx渲染引擎库,但是要实现游戏功能还不是简单调用api就可以,所以又有3D游戏引擎,把更多的函数功能封装成游戏调用接口,但是引擎接口也是很复杂的,熟悉引擎还要花时间,更不要说调用引擎完成游戏场景开发,而游戏数据结构设计,比如静态场景物体和动态物体,通关逻辑设计,对话等,内容非常复杂,不是会写程序就能解决的。我们能不能把游戏引擎再次加入.net类库,让.net类库功能无所不包呢。完全可能,只是这个是.net要做呢,还是属于开发人员引入的引擎类库?如果.net类库无所不包,不过也不可能解决所有的问题,如果有上百万个类,用户又怎么知道怎么使用呢?
用框架自动生成基础代码
.net类库无所不包,但是用户怎么用呢?我们开发3d游戏首先要用的是directx(简称dx)显示引擎,在此基础上再使用Unity3D游戏引擎,然后才可以设计数据结构和逻辑算法,现在Unity3D是在dx引擎之上更高一级的引擎,可见需要层层调用引擎。.net类库–>dx–>Unity3D–>游戏,要开发游戏要调用3层引擎,我们称为框架,基础代码,这些框架让我们节省大量工作,如果没有这些框架,开发一个游戏几乎是难以上青天。现在开发者只要集中在游戏逻辑设计以及图像设计就可以了,省去了底层编码。编程自动化就要首先调用框架,然后集中在逻辑设计,从而大大简化无人编程工具的开发。
我们写程序也是这样,是在操作系统这个框架平台上开发,否则从开发操作系统开始,设计程序简直是不可能。
我们设计几万个最佳的框架,放入无人编程工具里面,根据需要调用框架,从而实现编程自动化。数独最优解法也可以加入框架,属于数学类框架,供上层调用。
用脚本语言实现自动代码生成
有了框架基础代码,我们设计应用程序就集中在数据结构和逻辑算法设计,根据用户的数据结构和逻辑算法自动生成源代码。比如我们说的元语言编程,通过定义元语言,用脚本自动生成代码。我们可以用shell,perl,python等脚本语言自动生成代码,可以输入元语言脚本,自动生成某种语言的源代码。比如说要生成登录程序,会根据用户定义生成账户的注册,修改,删除,登录,验证码等包含数据库操作和界面交互的源代码,不再需要普通程序员编写代码了。脚本的定义和解释都是由用户写的脚本决定,可以根据需要修改脚本。这个方法可以生成大部分代码,只是灵活性不是很高,可能满足比较固定的应用程序代码生成。
用lisp等高级语言实现自动代码生成
lisp是表处理语言,拥有xml,元语言,模版等特征,可以用来生成新的应用程序代码,不过代码生成都用lisp实现,一旦改动,是不是也要修改lisp程序,跟脚本生成差别不是很大,不过对某些程序生成可能有用。比如cad用lisp脚本生成三维模型,也许在涉及开发制图程序,可能lisp很有用。比如很多模型可以用lisp保存。
现在已经有一些代码生成器软件,可以通过向导方式生成源代码。
用模版实现自动代码生成
我们开发大同小异的网页程序,为了满足个性化的界面输出,大量使用模版功能。在无人编程工具里面,我们是不是可以引入模版,从而满足大同小异的多样化应用程序生成需要。我们编程语言也引入了模版,也称为泛型,泛类型,开发程序用《T》代表任何类型数据,这样写程序调用会有统一的接口,不管这个类型是整数,实数还是字符串,使用的时候指定T的类型就可以。
我们开发自动代码生成也可以用模版,比如指定数据库字段的名字和类型,就可以自动生成数据表字段,以及操作数据库的类,界面操作的类。而界面颜色用了模版,用户指定了某种颜色,就在生成的代码中产生指定的颜色,而不是固定死,对于动态生成颜色的代码可能没用。模版可能适合生成某些比较固定的模式。
用大数据云计算实现自动代码生成
我看到语音识别系统存入数百万个语音片段,而表情识别系统则有几百万个表情存入数据库,可见自动代码生成可能存入数百万个代码片段,然后有数百万个分门别类好的功能函数,大量的数据结构,大量的逻辑算法,甚至是逻辑算法生成模型。比如生成1到1万的素数和,就要调用循环代码,素数判断函数,累加几个功能,显然用大数据,模版等技术,生成1到1万的素数和代码是完全可能的。
更复杂的,游戏设计,设计背景物体,怪物,玩家数据结构设计,物体出现、运动、死亡的逻辑,要完全自动生成,需要开发人员定义很多元数据,而且可能还不够,需要设计独有的算法,只是编写代码是不需要了。应用程序复杂多样,可能自动生成工具也不是那么简单能实现,不过像教学类的,比如出题考试,无非是建立题库,出题逻辑算法,答案比较和分数生成,最难的是作文计分,这个智能程度很高,开发自动生成工具需要熟练的了解相关专业,然后可以生成一万个考题应用程序,甚至考题系统也能智能化,这个程序本身就能应付一万种考题系统,那么自动生成考题系统可能就不需要了。
综合多种技术人工智能自动生成代码
大数据可能还不能满足代码生成需要,可能还需要各种代码生成模型,我们说这是更高一级的代码生成人工智能,人工智能将应用上面提到的各种程序生成技术和手段,甚至自我学习能力,完成自动代码生成。人工智能的神经网络,深度学习技术,可能对代码生成很有帮助。
开发sepl自动编程工具
既然提出了编程自动化,我觉得sepl不应该只是满足于作为一个编程语言和集成开发工具,而是一个更高一级的无人编程工具。sepl无人编程工具拥有数百万个代码片段,数十万个框架,数十万个代码生成模型,大量的模版,用户只需要定义应用程序生成条件,就可以做到一键生成应用程序。这样就不再需要程序员,而只是需要需求分析员,程序代码自动生成。
新一代程序界面将智能动态输出界面,从而实现图形界面开发自动化
在多层逻辑实现的程序设计中,比如游戏,后台服务器端可能都差不多,游戏逻辑也接近,只是反映在界面上,个性化界面,导致界面设计很复杂,如果界面是静态的,那么几亿个用户,涉及界面设计,自动生成很难实现人性化界面。不过如果我们采用动态界面输出技术,系统根据个人喜好输出界面,就不再需要面对无数的个性化界面设计。动态的界面会根据个人喜好调整界面输出。这样自动化代码生成面临的复杂个性化界面输出就解决了,而后端逻辑设计,代码自动生成就变得容易了。
自动代码测试让程序合格出厂
生成的代码是否合格可用,如果用人去检查测试,也是很麻烦的。系统推出自动代码测试,生成源代码的时候也生成测试代码,可以对程序进行全面的完整的自动化测试,合格的产品可以出厂了。
是噩梦还是光明?
自动代码生成系统出来后,写程序不再需要编码,程序员自然不需要很多。当人们还在因为写不好程序而困顿的时候,开发自动程序生成工具是不是早了一点。其实自动程序生成也不是不需要写程序,而是写一次程序,到处可以利用,不用重复写程序了,比如数独游戏一旦实现了自动生成,也许某个3d游戏需要数独游戏,这个3d游戏就不需要重新写数独程序, 而是开发工具自动生成。
就像java编写一次,到处运行一样,无人编程是写一次程序,到处可以使用,不需要写第二次了。
无人编程工具出现,编程速度会非常快,一个人顶上100个程序员,中国原来需要500万个程序员现在只需要5万个,99%的程序员失业了。
即使最复杂的应用程序都能自动生成,机器人等单一程序是不是更容易?
现在sepl无人编程工具还需要像visual studio那样到处散卖吗?估计也没有人买得起。