欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/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]]的，而OCaml是基于ML函数程序语言，有时F#和OCaml的程序是可以交互编译的。F# 采用 Apache v2 许可协议。 | F#(F sharp)是由微软发展的为[[.NET]]语言提供运行环境的程序设计语言，是函数编程语言（FP，[[Functional programming]]），函数编程语言最重要的基础是[[Lambda]] Calculus。它是基于[[OCaml]]的，而OCaml是基于ML函数程序语言，有时F#和OCaml的程序是可以交互编译的。F# 采用 Apache v2 许可协议。 | ||
| + | |||
| + | [[文件:IHeartFsharp.png|right]] | ||
==简介== | ==简介== | ||
2016年8月11日 (四) 05:34的版本
|
您可以在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中的任意其它代码编译和调用。
2002年微软开始由Don Syme带领研发F#，从C#，LINQ和Haskell中获取了经验，2005年推出第一个版本，2007年7月31日释出1.9.2.9版。2007年底，微软宣布F#进入产品化的阶段。
F#已被集成在Visual Studio 2010中，版本是2.0，含有对.Net Framework的完全支持。
版本
F# 4
F# 3
F# 2
指南
案例
图集
F#编译器
Async
链接
- F#官网
- F# @ GitHub
- F# Community Project Incubation Space
- The F# Core Engineering Group
- Ionide
- F# 设计者: 微软研究院 Don Syme
- Tomas Petricek's blog
- fsharpWorks
- F# 幻灯片
- F# 在InfoQ上的内容
- Tsunami an embeddable desktop F# IDE
- Try F# for learning F# in your browser
分享您的观点
