欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
F Sharp
来自开放百科 - 灰狐
(版本间的差异)
小 |
小 |
||
第1行: | 第1行: | ||
{{SeeWikipedia|F Sharp (programming language)}} | {{SeeWikipedia|F Sharp (programming language)}} | ||
− | F#(F sharp)是由微软发展的为[[.NET]]语言提供运行环境的程序设计语言,是函数编程语言(FP,[[Functional programming]]),函数编程语言最重要的基础是[[Lambda]] Calculus。它是基于[[OCaml]] | + | F#(F sharp)是由微软发展的为[[.NET]]语言提供运行环境的程序设计语言,是函数编程语言(FP,[[Functional programming]]),函数编程语言最重要的基础是[[Lambda]] Calculus。它是基于[[OCaml]]的,而OCaml是基于ML函数程序语言,有时F#和OCaml的程序是可以交互编译的。F# 采用 Apache v2 许可协议。 |
F#已经接近成熟,支持高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计,可以被.NET中的任意其它代码编译和调用。 | F#已经接近成熟,支持高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计,可以被.NET中的任意其它代码编译和调用。 |
2016年8月11日 (四) 02:07的版本
您可以在Wikipedia上了解到此条目的英文信息 F Sharp Thanks, Wikipedia. |
F#(F sharp)是由微软发展的为.NET语言提供运行环境的程序设计语言,是函数编程语言(FP,Functional programming),函数编程语言最重要的基础是Lambda Calculus。它是基于OCaml的,而OCaml是基于ML函数程序语言,有时F#和OCaml的程序是可以交互编译的。F# 采用 Apache v2 许可协议。
F#已经接近成熟,支持高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计,可以被.NET中的任意其它代码编译和调用。
目录 |
版本
F# 4
F# 3
F# 2
F# 1
指南
链接
分享您的观点