欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
F Sharp
小 (→编程工具) |
小 (→项目) |
||
(未显示1个用户的31个中间版本) | |||
第5行: | 第5行: | ||
F#和[[OCaml]] 是[[ML]]函数式编程语言的两种主要方言,有时F#和OCaml的程序是可以交互编译的。 | F#和[[OCaml]] 是[[ML]]函数式编程语言的两种主要方言,有时F#和OCaml的程序是可以交互编译的。 | ||
− | F# 采用 | + | F# 采用 MIT 许可协议。 |
[[文件:IHeartFsharp.png|right]] | [[文件:IHeartFsharp.png|right]] | ||
第19行: | 第19行: | ||
[http://fsharpforfunandprofit.com/why-use-fsharp/ Why use F#?] | [http://fsharpforfunandprofit.com/why-use-fsharp/ Why use F#?] | ||
− | F# | + | F#支持高阶函数、柯里化、惰性求值、Continuations、模式匹配、闭包、列表处理和元编程。这是一个用于显示.NET在不同编程语言间互通的程序设计,可以被.NET中的任意其它代码编译和调用。 |
在早期,F#作为一门适合于金融和计算密集型的语言而闻名。 | 在早期,F#作为一门适合于金融和计算密集型的语言而闻名。 | ||
第35行: | 第35行: | ||
===F# 4=== | ===F# 4=== | ||
+ | *[https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.pdf The F# 4.1 Language Specification] [https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.docx Docx文档] | ||
*[http://docs.huihoo.com/fsharp/language-specification/FSharpSpec-4.0-latest.pdf The F# 4.0 Language Specification] [http://docs.huihoo.com/fsharp/language-specification/FSharpSpec-4.0-latest.docx Docx文档] | *[http://docs.huihoo.com/fsharp/language-specification/FSharpSpec-4.0-latest.pdf The F# 4.0 Language Specification] [http://docs.huihoo.com/fsharp/language-specification/FSharpSpec-4.0-latest.docx Docx文档] | ||
第52行: | 第53行: | ||
==指南== | ==指南== | ||
*[http://dungpa.github.io/fsharp-cheatsheet/ F# Cheatsheet] | *[http://dungpa.github.io/fsharp-cheatsheet/ F# Cheatsheet] | ||
+ | *安装设置 [[Mono]] 环境 | ||
+ | export PATH=$PATH:/Library/Frameworks/Mono.framework/Versions/Current/bin | ||
+ | 运行REPL | ||
+ | $ fsharpi | ||
+ | > let sa2 = [ ("System", "C/C++/Go"); ("Application", "PHP/C#"); ("Analysis", "F#") ];; | ||
==编程工具== | ==编程工具== | ||
第58行: | 第64行: | ||
*[[Visual Studio Code]] | *[[Visual Studio Code]] | ||
*[http://ionide.io/ Ionide] | *[http://ionide.io/ Ionide] | ||
+ | |||
+ | ==编译器== | ||
+ | [[F Sharp Compiler Service|F# Compiler Service]] | ||
==指南== | ==指南== | ||
第71行: | 第80行: | ||
==[[Data science|数据科学]]== | ==[[Data science|数据科学]]== | ||
*[http://fsharp.org/guides/data-science/ Data Science with F#] | *[http://fsharp.org/guides/data-science/ Data Science with F#] | ||
+ | *[https://github.com/nessos/Streams Streams] A lightweight F#/C# library for efficient functional-style pipelines on streams of data. | ||
*[http://fdatamining.blogspot.com/ F# and Data Mining] [https://github.com/fable-compiler/Fable F# to JavaScript Compiler] | *[http://fdatamining.blogspot.com/ F# and Data Mining] [https://github.com/fable-compiler/Fable F# to JavaScript Compiler] | ||
==Web开发== | ==Web开发== | ||
+ | *[[Suave]] | ||
*[http://fsharp.org/guides/web/ Web Programming with F#] | *[http://fsharp.org/guides/web/ Web Programming with F#] | ||
*[https://fable-compiler.github.io/ Fable = F# to JS] F# |> BABEL | *[https://fable-compiler.github.io/ Fable = F# to JS] F# |> BABEL | ||
第85行: | 第96行: | ||
==[[machine learning|机器学习]]== | ==[[machine learning|机器学习]]== | ||
*[http://fsharp.org/guides/machine-learning/ Machine Learning with F#] | *[http://fsharp.org/guides/machine-learning/ Machine Learning with F#] | ||
+ | *[http://fsharp.org/use/gpu/ Use F# for GPU Programming] | ||
*[http://quantalea.com/ Alea GPU] [[GPU]] Computing on .NET | *[http://quantalea.com/ Alea GPU] [[GPU]] Computing on .NET | ||
*[https://github.com/fsprojects/Vulpes Vulpes]: a Deep Belief Net written in F#, and using Alea.cuBase to access the GPU. | *[https://github.com/fsprojects/Vulpes Vulpes]: a Deep Belief Net written in F#, and using Alea.cuBase to access the GPU. | ||
+ | *[https://github.com/sergey-tihon/Stanford.NLP.NET Stanford.NLP for .NET] | ||
==[[cloud computing|云计算]]== | ==[[cloud computing|云计算]]== | ||
第96行: | 第109行: | ||
*[http://www.tryfsharp.org/Learn/financial-computing Financial Computing with F#] | *[http://www.tryfsharp.org/Learn/financial-computing Financial Computing with F#] | ||
*[https://github.com/bitcoinfs/bitcoinfs BitcoinFS] full node [[bitcoin]] implementation in F# | *[https://github.com/bitcoinfs/bitcoinfs BitcoinFS] full node [[bitcoin]] implementation in F# | ||
+ | *BCF#: bitcoin(bc), blockchain(bc) | ||
==数学统计== | ==数学统计== | ||
第101行: | 第115行: | ||
*[https://statfactory.github.io/Nov2015Slides/slides.html#/ Numerical Computing with F# and MKL] | *[https://statfactory.github.io/Nov2015Slides/slides.html#/ Numerical Computing with F# and MKL] | ||
*[[Math.NET]] | *[[Math.NET]] | ||
+ | *[https://github.com/BlueMountainCapital/FSharpRProvider F# R Provider] | ||
==数据库/数据访问== | ==数据库/数据访问== | ||
第107行: | 第122行: | ||
*[https://docs.microsoft.com/en-us/dotnet/articles/fsharp/tutorials/type-providers/index F# Type Providers] | *[https://docs.microsoft.com/en-us/dotnet/articles/fsharp/tutorials/type-providers/index F# Type Providers] | ||
*[https://github.com/fsprojects/SQLProvider SQLProvider] | *[https://github.com/fsprojects/SQLProvider SQLProvider] | ||
+ | *[https://github.com/nessos/GpuLinq GpuLinq] Democratizing GPGPU programming through [[OpenCL]] and LINQ. | ||
==跨平台== | ==跨平台== | ||
第116行: | 第132行: | ||
==项目== | ==项目== | ||
− | *[https://github.com/fsharp F# @ GitHub] | + | [https://github.com/fsprojects/awesome-fsharp Awesome F#] [[image:awesome.png]] |
+ | *[https://github.com/fsharp F# @ GitHub] | ||
+ | *[https://github.com/fsprojects F# Community Project] | ||
+ | *[https://github.com/trending/fsharp Trending F# repositories on GitHub] | ||
*[https://github.com/fsharp/fsharp F# Compiler, Core Library & Tools] | *[https://github.com/fsharp/fsharp F# Compiler, Core Library & Tools] | ||
*[https://github.com/fsharp/FAKE FAKE] F# Make | *[https://github.com/fsharp/FAKE FAKE] F# Make | ||
第131行: | 第150行: | ||
*[http://websharper.com/ WebSharper] is the #1 choice for F# web applications,同时也支持 [[C Sharp|C#]] web applications. 背后公司:[https://github.com/intellifactory IntelliFactory] [http://cloudsharper.com CloudSharper] | *[http://websharper.com/ WebSharper] is the #1 choice for F# web applications,同时也支持 [[C Sharp|C#]] web applications. 背后公司:[https://github.com/intellifactory IntelliFactory] [http://cloudsharper.com CloudSharper] | ||
*[https://github.com/TIHan/FQuake3 FQuake3] An attempt to re-implement id Software’s Quake III Arena in F#. | *[https://github.com/TIHan/FQuake3 FQuake3] An attempt to re-implement id Software’s Quake III Arena in F#. | ||
+ | *[https://github.com/tpetricek/FSharp.Formatting F# Formatting] | ||
==案例== | ==案例== | ||
*[https://tech.jet.com/blog/2015/03-22-on-how-jet-chose/ On how Jet chose F#] [https://github.com/jet Jet @ GitHub] | *[https://tech.jet.com/blog/2015/03-22-on-how-jet-chose/ On how Jet chose F#] [https://github.com/jet Jet @ GitHub] | ||
*[http://fsharp.org/testimonials/ Testimonials and Quotes] | *[http://fsharp.org/testimonials/ Testimonials and Quotes] | ||
+ | *[https://www.credit-suisse.com/cn/sc.html 瑞信] [http://fsharp.org/testimonials/#credit-suisse-abstract Quantitative Finance in F#] [http://docs.huihoo.com/cufp/2004-2008/2006/slides/HowardMansell.pdf Why FP matters to Credit Suisse] | ||
+ | *[http://www.gamesyscorporate.com/ GameSys] [http://fsharp.org/testimonials/#yan-cui F# @ Social game] | ||
+ | *[https://www.grean.com/ Grean - Know Your Customers] [http://fsharp.org/testimonials/#goswin-1 At Grean, we’ve just launched our third commercial product built on F#] switched from C# to F# over 3 years ago, after working in C# for about 7 years, working in F# is very enjoyable. | ||
==文档== | ==文档== | ||
第144行: | 第167行: | ||
*[https://en.wikibooks.org/wiki/F_Sharp_Programming F# Programming] | *[https://en.wikibooks.org/wiki/F_Sharp_Programming F# Programming] | ||
*F# Programming 中文计划 | *F# Programming 中文计划 | ||
+ | *[http://book.huihoo.com/dotnet/fsharp-for-fun-and-profit.pdf F# for fun and profit] | ||
==图集== | ==图集== | ||
第151行: | 第175行: | ||
image:language-async-leve1-to-level3.png|Async | image:language-async-leve1-to-level3.png|Async | ||
image:fsharp-data-science-with-fsLab-and-ionide.png|数据科学 | image:fsharp-data-science-with-fsLab-and-ionide.png|数据科学 | ||
+ | image:fsharp-finance-data.png|金融数据 | ||
image:Xamarin-Studio-F-Sharp.png|Xamarin Studio | image:Xamarin-Studio-F-Sharp.png|Xamarin Studio | ||
+ | image:fsharp-community-2015.png|F#社区2015 | ||
</gallery> | </gallery> | ||
第176行: | 第202行: | ||
[[category:.NET]] | [[category:.NET]] | ||
− | [[category: | + | [[category:programming language]] |
− | [[category: | + | [[category:functional programming]] |
+ | [[category:numerical analysis]] | ||
+ | [[category:financial]] | ||
[[category:F Sharp]] | [[category:F Sharp]] | ||
[[category:OCaml]] | [[category:OCaml]] | ||
[[category:ML]] | [[category:ML]] | ||
+ | [[category:lambda]] |
2020年8月2日 (日) 13:39的版本
您可以在Wikipedia上了解到此条目的英文信息 F Sharp Thanks, Wikipedia. |
F#(F sharp)是由微软发展的为.NET语言提供运行环境的程序设计语言,是一门函数式编程语言(FP,Functional programming),函数式编程语言最重要的基础是Lambda Calculus。
F#和OCaml 是ML函数式编程语言的两种主要方言,有时F#和OCaml的程序是可以交互编译的。
F# 采用 MIT 许可协议。
目录 |
新闻
- F#年度调查结果概述 (2016)
简介
F# - Objects + Functional
Mixed OO/Functional Programming Has Won
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#的语言设计、语言规范和发行版本。
F# 4
F# 3
F# 2
The F# Language Design Process
指南
- F# Cheatsheet
- 安装设置 Mono 环境
export PATH=$PATH:/Library/Frameworks/Mono.framework/Versions/Current/bin
运行REPL
$ fsharpi > let sa2 = [ ("System", "C/C++/Go"); ("Application", "PHP/C#"); ("Analysis", "F#") ];;
编程工具
编译器
指南
- 可从 FSharpCommunityTemplates 开始F#的学习和应用的构建。
领域建模
使用F#类型进行领域建模
企业应用
Enterprise Programming with F#
数据科学
- Data Science with F#
- Streams A lightweight F#/C# library for efficient functional-style pipelines on streams of data.
- F# and Data Mining F# to JavaScript Compiler
Web开发
- Suave
- Web Programming with F#
- Fable = F# to JS F# |> BABEL
移动游戏
- Mobile App and Game Programming with F#
- Nu Game Engine
- FQuake3 雷神之锤III的F#实现
- F# and MonoGame MonoGame
机器学习
- Machine Learning with F#
- Use F# for GPU Programming
- Alea GPU GPU Computing on .NET
- Vulpes: a Deep Belief Net written in F#, and using Alea.cuBase to access the GPU.
- Stanford.NLP for .NET
云计算
金融计算
- Financial technology
- Financial Computing with F#
- BitcoinFS full node bitcoin implementation in F#
- BCF#: bitcoin(bc), blockchain(bc)
数学统计
数据库/数据访问
- Data Access with F#
- F# Data: Library for Data Access
- F# Type Providers
- SQLProvider
- GpuLinq Democratizing GPGPU programming through OpenCL and LINQ.
跨平台
Cross-Platform Development with F#
异步编程
项目
- F# @ GitHub
- F# Community Project
- Trending F# repositories on GitHub
- F# Compiler, Core Library & Tools
- FAKE F# Make
- F# Compiler Service The F# compiler as a component.
- llvm-fs An F# binding for LLVM
- 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# Formatting
案例
- On how Jet chose F# Jet @ GitHub
- Testimonials and Quotes
- 瑞信 Quantitative Finance in F# Why FP matters to Credit Suisse
- GameSys F# @ Social game
- Grean - Know Your Customers At Grean, we’ve just launched our third commercial product built on F# switched from C# to F# over 3 years ago, after working in C# for about 7 years, working in F# is very enjoyable.
文档
图书
- F# Programming
- F# Programming 中文计划
- F# for fun and profit
图集
链接
- 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 博客
- F# at Microsoft Research
- Delusional software ramblings
- 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
- Comparing a Machine Learning Algorithm Implemented in F# and OCaml