欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐编程俱乐部
来自开放百科 - 灰狐
(版本间的差异)
小 (→相关) |
|||
(未显示1个用户的11个中间版本) | |||
第1行: | 第1行: | ||
− | + | 灰狐编程俱乐部 | |
==简介== | ==简介== | ||
− | + | 核心语言:FCS | |
− | + | 因为 [[Fortran]]/[[F Sharp|F#]]、[[C++]]/[[Clojure]]、[[Lisp]]/[[Scheme]](因为S-表达式和S首字符),科学计算、多范式、函数式、混合编程语言而聚在了一起。 | |
+ | |||
+ | 两大虚拟机体系 [[.NET]]和[[Java virtual machine|JVM]],代表语言:F# 和 Clojure | ||
FCS有还有诸多含义: | FCS有还有诸多含义: | ||
第14行: | 第16行: | ||
既然是控制系统,那它就是核心系统,我们把FCS定义为编程的核心语言,这里出于我们的理解和喜好。当然,我们也积极拥抱其它优秀语言,不排斥,更多融合与学习。 | 既然是控制系统,那它就是核心系统,我们把FCS定义为编程的核心语言,这里出于我们的理解和喜好。当然,我们也积极拥抱其它优秀语言,不排斥,更多融合与学习。 | ||
+ | |||
+ | ==相关== | ||
+ | 向 Fortran、Lisp、Erlang 三门语言致敬。 | ||
+ | *[[灰狐Fortran俱乐部]] | ||
+ | *[[灰狐Lisp俱乐部]] | ||
+ | *[[灰狐Erlang俱乐部]] | ||
==会议== | ==会议== | ||
第21行: | 第29行: | ||
==链接== | ==链接== | ||
+ | [[category:fortran]] | ||
[[category:F Sharp]] | [[category:F Sharp]] | ||
[[category:c++]] | [[category:c++]] | ||
+ | [[category:clojure]] | ||
[[category:scala]] | [[category:scala]] | ||
[[category:huihoo]] | [[category:huihoo]] |
2019年3月22日 (五) 00:54的最后版本
灰狐编程俱乐部
目录 |
[编辑] 简介
核心语言:FCS
因为 Fortran/F#、C++/Clojure、Lisp/Scheme(因为S-表达式和S首字符),科学计算、多范式、函数式、混合编程语言而聚在了一起。
两大虚拟机体系 .NET和JVM,代表语言:F# 和 Clojure
FCS有还有诸多含义:
- 函数式(Functional ...)
- 金融控制系统(Finance Control System)
- 火力控制系统(Fire Control System)
- 飞行控制系统(Flight Control System)
...
既然是控制系统,那它就是核心系统,我们把FCS定义为编程的核心语言,这里出于我们的理解和喜好。当然,我们也积极拥抱其它优秀语言,不排斥,更多融合与学习。
[编辑] 相关
向 Fortran、Lisp、Erlang 三门语言致敬。
[编辑] 会议
[编辑] 图集
[编辑] 链接
分享您的观点