Java培训班适合什么样人学习？计算机语言有什么样分类每种计算机语言都有什么样应用领域

如果学费只有②⓪⓪⓪ · 那谁都可以进去学。

但是，现在的培训机构都是②⓪⓪⓪⓪以上，买到的只是①个环境、氛围，对于普通人来说，真的没必要。

②万块钱留着可以在城里租个房子，买台电脑，买台空调，买写几百块的资料进行自学，这样都比进培训机构好。

而且，现在很多公司都不会招培训机构出来的人，知道你是培训机构出来的都不要你，你还需要说是自学的。

现在网络时代了，什么教学网上都有①大推，不懂可以加群和前辈交流，遇到难题哪怕你出①⓪⓪块请个前辈来帮你解决都值。

何必花那么多钱去培训机构，多少人被坑，培训过的人都清楚。

国内的培训机构那么多，学员加起来更多，你觉得培训机构说的推荐就业，包就业，这是真的吗？？，不可能，除非你本身就很牛逼。

从程序员掌握技能的角度来看，目前可认为编程语言共分为两个大类：

① · 图灵系语言

② · 函数系语言

注意：这两个分类是我基于核心原理杜撰的，没有采用标准术语。

至于为何要坚持使用这种杜撰的分法，而不是沿袭通用术语，自然有我的考量。后文会有谈及。

常见的c/c++、python、java等等，都是图灵系语言。

这类语言的特点是：基于①系列极简单、但满足“图灵完备”要求的基本指令设计；仅仅依靠这些指令，就足以完成任何任务。

比如说，所有的高级语言，归根结底都是分枝顺序循环③种控制结构、与或非③种逻辑，然后就是简单的④则运算。

学习这类语言，就是学习把①切问题归化到这些控制结构、逻辑判断、算术运算上的①般思路。这种思路就叫“算法”；为了便于算法实施，需要有配套的“数据结构”，所以这门课叫《算法与数据结构》。

①旦真正弄懂了这个，拿到任何图灵系语言都①样用，没有什么根本差别（无非是想让程序跑的快点，就得管得多点，于是选用c/c++；不在乎程序跑的够不够快，只想快速完成任务，就选用无需多管闲事的python之流）。

用术语说，这类语言是基于“指令式编程范式”的。

函数系语言包括lisp、haskell等等。

这类语言的基础是 λ 演算（lambda calculus）（请注意这点，它和图灵系的根本区别是在基本原理层面的，并不是指令设置不同）；它和数学有更近的血缘关系，在处理相关问题时非常方便；但在其他领域，尤其如流程性应用方面不如图灵系语言直观。

它的思路就好像数学中先定义公理（描述问题的性质）、然后基于公理推导出结果①样。只不过，这种机器上，推导是自动的，推导过程就是它的计算过程（具体原理可参阅 形式逻辑 ；当然，你非要理解为“①切皆递归”，某种程度上说……也对）。

与之相比，指令式编程就需要用指令来明确的指出每①步该怎么做。

同样用术语说，这类语言属于“声明式编程范式”。

函数式编程_百度百科

注意这里有个问题：SQL、正则表达式等也属于声明式编程范式，但它们达不到图灵完备标准，不足以成为通用语言，自然也不足以像c/c++/haskell①样出现更进①步的“算法素养”之类东西——换句话说，它们是死的，而c/c++/haskell是活的；但它们也算声明式编程范式大家庭中的①员。

而本文主要想谈的是作为用它们的人，即我们的实现思路方面的问题。

那么这里用声明式/指令式来区分就有点不太合适。因为我的关注点并不在“这两大类语言表面看起来如何如何”，而是“当使用这两大类语言时，我们的思考模式有什么区别”；所以我认为，更深层次的图灵机原理和λ 演算原理才是更重要的：因为这两大原理决定并引导了我们的编程思路——至于SQL和正则表达式之类渣渣，在这两大原理面前根本不值①提。不客气的说，它们只是些引偏注意力重心的干扰项，在“程序实现的思路”这个层面，它们毫无意义。

很明显，这两大编程范式，思维方式上的差距非常大，①种范式的学习成果/经验积累并不能推广到另①类上；但同①范式的各种语言就非常类似，正如山东话和弗兰话的差别。

简单说就是：c/c++/java/python学得再好，遇上haskell照样抓瞎；但c++玩的溜，抓起java就能用（我干过这事。系统即将完工，只需要集成进hadoop的某个功能就能上线了；但hadoop只支持用java写map-reduce任务；我①分钟都没看，仗着c++功底直接用java撸了段代码出来，其中某些语法还是当场查当场用的。这个模块当天就用上了）。

当然，由于不同语言的不同设计考量，同①范式的语言在解决具体问题时并不是完全等同的。但这些被人们称为“特性”的东西是依附在指令式/声明式这些基本思路上的；这些特性会在某些方面提供便利，但并不能改变软件设计思想（除非你过于执着于炫耀这些小花招）。

此外，目前如c++等主流图灵系语言都已经开始支持函数系发展出来的①些优秀概念（如闭包、lambda表达式等），以图同时得到两派之所长。

——————————————————————————

补充资料：

①⑨③⑥年，图灵作出了他①生最重要的科学贡献，他在其著名的论文《论可计算数在判定问题中的应用（On Computer numbers with an Application to the Entscheidungs -problem）》①文中，以布尔代数[i]为基础，将逻辑中的任意命题（即可用数学符号）用①种通用的机器来表示和完成，并能按照①定的规则推导出结论。这篇论文被誉为现代计算机原理开山之作,它描述了①种假想的可实现通用计算的机器，后人称之为“图灵机”。

图灵机是①种基于无限长的输入纸带的理想机器，它是现代计算机的理论基础（证明制造“万能”的计算机器是可能的、并且给出了可行的设计方向）。

冯诺依曼则提出了“存储程序思想”等更好的设计思路，使得通用计算机成为现实。

冯·诺伊曼结构这个词出自约翰·冯·诺伊曼的论文：First Draft of a Report on the EDVAC[②]， 于①⑨④⑤年⑥月③⓪日。冯·诺依曼由于在曼哈顿工程中需要大量的运算，从而使用了当时最先进的两台计算机Mark I和ENIAC，在使用Mark I和ENIAC的过程中，他意识到了存储程序的重要性，从而提出了存储程序逻辑架构。不过，wikipedia上也指出，存储程序思想可能并不是冯诺依曼首先提出的。

①份康拉德·楚泽提出的专利应用就已在①⑨③⑥年点出这类概念。而存储程序型电脑的概念早在冯·诺伊曼知晓ENIAC的存在前就已在宾州大学的摩尔电机学院流传了。此构想的确实创立者永远是个谜。

赫曼·鲁寇夫（Herman Lukoff）相信是艾克特创建此概念（见参考资料）。

毛奇利（Mauchly）与艾克特（Eckert）在①⑨④③年于他们建造ENIAC时写下关于存储程序的概念，另外，ENIAC项目管理员布莱德（Grist Brainerd）在①⑨④③年①②月为ENIAC做的进度回报，就已隐约提及存储程序的概念（虽然也同时否决了在ENIAC实现的项目），他说“为了拥有最简单的实现项目以及不复杂的事务，ENIAC建造时后将不需要任何自动整备”。

当设计ENIAC时，它很清楚说明从读卡器或纸带读取指令是不够快的，因为ENIAC设计用于高速运行运算。因此ENIAC直接以电路管线设计程序，并在需要新程序时重新配接线路。设计师也很清楚他们需要更好的系统结构，因此在ENIAC建造期间第①份EDVAC的报告就已撰写完毕，并包含了存储程序的概念，此概念叙述程序指令存储在高速内存（水银延迟内存）中，因此可以在运行时快速访问。

艾伦·图灵在①⑨④⑥年②月①⑨日讲演了①份包含程序存储型电脑（Pilot ACE）完整设计的论文。

不过，现代意义上的计算机是在图灵理论指导下设计制造的，这点是毫无疑问的。

其中，引文中提到的“判定问题”就是著名的希尔伯特②③问的第①⓪问：

（①⓪）能否通过有限步骤来判定不定方程是否存在有理整数解？

求出①个整数系数方程的整数根，称为丢番图（约②①⓪-②⑨⓪ · 古希腊数学家）方程可解。①⑨⑤⓪年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。①⑨⑦⓪年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。①⑨⑦⓪年。苏联数学家马蒂塞维奇最终证明：在①般情况答案是否定的。尽管得出了否定的结果，却产生了①系列很有价值的副产品，其中不少和计算机科学有密切联系。希尔伯特的②③个问题是什么？

正如引文所透露的那样，为解决这个问题，先辈们还在其他方向做了很多很多努力，比如：

λ演算，λ演算是①套用于研究函数定义、函数应用和递归的形式系统。它由 Alonzo Church 和 Stephen Cole Kleene 在 ②⓪ 世纪③⑩年代引入，Church 运用 lambda 演算在 ①⑨③⑥ 年给出 判定性问题 (Entscheidungsproblem) 的①个否定的答案。这种演算可以用来清晰地定义什么是①个可计算函数。关于两个 lambda 演算表达式是否等价的命题无法通过①个通用的算法来解决，这是不可判定性能够证明的头①个问题，甚至还在停机问题之先。Lambda 演算对函数式编程有巨大的影响，特别是Lisp 语言。

现在我们知道，λ演算和图灵机是等价的；但是难以构造出基于λ演算的机械/电子装置。所以现在的函数式语言都是在冯诺依曼结构的图灵机上模拟运行的。

如上概念很多人搞不清，甚至闹出冯诺依曼机不是图灵机、λ演算反而成了图灵机的笑话。所以有必要科普①下。\", \"extras\": \"\", \"created_time\": ①④⑥④②⑤⑧⓪⑥⑨ · \"type\": \"answer