欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐编程俱乐部
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→简介) |
||
第4行: | 第4行: | ||
因为 [[Fortran]]/[[F Sharp|F#]]、[[C++]]/[[Clojure]]、[[Scala]] 科学计算、多范式、函数式、混合编程语言而聚在了一起。 | 因为 [[Fortran]]/[[F Sharp|F#]]、[[C++]]/[[Clojure]]、[[Scala]] 科学计算、多范式、函数式、混合编程语言而聚在了一起。 | ||
− | 在两大虚拟机体系 [[.NET]]和[[Java virtual machine|JVM]] | + | 在两大虚拟机体系 [[.NET]]和[[Java virtual machine|JVM]] 代表语言:F# 和 Scala |
FCS有还有诸多含义: | FCS有还有诸多含义: |
2017年6月29日 (四) 10:27的版本
灰狐FCS俱乐部
目录 |
简介
因为 Fortran/F#、C++/Clojure、Scala 科学计算、多范式、函数式、混合编程语言而聚在了一起。
在两大虚拟机体系 .NET和JVM 代表语言:F# 和 Scala
FCS有还有诸多含义:
- 函数式(Functional ...)
- 金融控制系统(Finance Control System)
- 火力控制系统(Fire Control System)
- 飞行控制系统(Flight Control System)
...
既然是控制系统,那它就是核心系统,我们把FCS定义为编程的核心语言,这里出于我们的理解和喜好。当然,我们也积极拥抱其它优秀语言,不排斥,更多融合与学习。
相关
会议
图集
链接
分享您的观点