欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Delphi 是 Windows 平台下著名的快速应用程序开发工具(Rapid Application Development,简称RAD)。它的前身,即是DOS時代盛行一时的Borland Turbo Pascal,最早的版本由美国Borland(宝兰)公司于1995年开发。