欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
F Sharp
您可以在Wikipedia上了解到此条目的英文信息 F Sharp Thanks, Wikipedia. |
F#(F sharp)是由微软发展的为.NET语言提供运行环境的程序设计语言,是函数编程语言(FP,Functional programming),函数编程语言最重要的基础是Lambda Calculus。它是基于OCaml的,而OCaml是基于ML函数程序语言,有时F#和OCaml的程序是可以交互编译的。F# 采用 Apache v2 许可协议。
目录 |
新闻
- F#年度调查结果概述 (2016)
简介
F#已经接近成熟,支持高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计,可以被.NET中的任意其它代码编译和调用。
在早期,F#作为一门适合于金融和计算密集型的语言而闻名。
现在,F#既用于算法密集型应用程序,也用于主流业务应用程序。在算法密集型应用程序中,正确性至关重要,而主流业务应用程序则在很大程度上受益于F#支持领域建模并让非法状态不可达。
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#类型进行领域建模
企业应用
Enterprise Programming with F#
数据科学
Web开发
移动游戏
Mobile App and Game Programming with F#
机器学习
云计算
Cloud Data, Compute and Messaging with F#
金融计算
- Financial Computing with F#
- BitcoinFS full node bitcoin implementation in F#
数学统计
数据访问
跨平台
Cross-Platform Development with F#
项目
- F# Compiler and Components
- Visual F# compiler and tools
- Visual F# Documentation
- F# Community Project Incubation Space
- MBrace是一种使用F#及C#进行脚本编写与编程,适用于高伸缩性云计算的编程模型。
- Suave 一个面向F#的Web服务器和开发库 与Henrik Feldt谈论Suave 1.0
- generator-fsharp
- Sync.Today 2015 .NET Business Processes Automation Platform
- FsLab
- WebSharper is the #1 choice for F# web applications,同时也支持 C# web applications. 背后公司:IntelliFactory CloudSharper
- FQuake3 An attempt to re-implement id Software’s Quake III Arena in F#.
案例
图集
链接
- F#官网
- F# @ GitHub
- The F# Core Engineering Group
- fsharpConf - The F# Community Virtual Conference
- F# Language Reference
- F# Core Library Reference
- Ionide
- F# 设计者: 微软研究院 Don Syme
- Tomas Petricek's blog
- fsharpWorks
- F# for fun and profit F# for Fun and Profit eBook
- F# 幻灯片
- F# 在InfoQ上的内容
- Tsunami an embeddable desktop F# IDE
- Try F# for learning F# in your browser
- Cassandra, Docker and F# Awesomeness