欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
BASIC
1964年,两位美国数学家兼计算机科学家约翰·克米尼和Thomas E. Kurtz在FORTRAN语言的基础上创造了一种新的语言——BASIC,BASIC是一种适用于初学者的人机交互式语言。
Basic的名字——Beginner's All-purpose Symbolic Instruction Code(初学者通用的符号指令代码),原来被作者写做BASIC,只是后来被微软广泛的叫做Basic了。