Rounding out Visual F# 4.0 in VS 2015 RC - .NET Blog - Site Home - MSDN Blogs
Today marks the release of Visual Studio 2015 RC, which includes the latest updates to the Visual F# 4.0 language and tools. Download the RC here, and review the VS release notes here. Back in November, we described the F# 4.0 features that were completed in time for the Visual Studio 2015 Preview build. New features like constructors as first-class functions, simplified mutable/ref values, a nor
Home - WebSharper
Full-stack, functional reactive web programming for .NET Develop microservices, client-server web applications, reactive SPAs, and more in C# or F#.
F*: A Proof-Oriented Programming Language
Introduction F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml. Various fragments of F* can also be extracted to F#, to C or
MonoUE
Mono for Unreal Engine is a plugin for Unreal Engine that allows writing gameplay code with C# and F#. View My GitHub Profile Features Fully integrated with the Unreal object system and Unreal Editor. C# bindings are generated automatically for all Blueprint-accessible types and members. Objects and functions defined from C# can subclass types defined in C++, and can be used from Blueprint and fro
FParsec Documentation
FParsec’s features include: support for context‐sensitive, infinite look‐ahead grammars, automatically generated, highly readable error messages, Unicode support, efficient support for very large files, an embeddable, runtime‐configurable operator‐precedence parser component, a simple, efficient and easily extensible API, an implementation thoroughly optimized for performance, comprehensive docume
The Book of F# - Review and Interview with Dave Fancher
Sustainable Security Requirements with the ASVS Josh Grossman provides a brief overview of what the ASVS is, but takes a closer look at balancing trade-offs and prioritizing different security requirements. Josh shares how to make the process repeatable and how to implement it as part of your own organization's requirements process.
ScalaやHaskellのライブラリをF# に移植するときのTips？ - pocketberserkerの爆走
個人的にはF# の中での理想やりっろーんを追い求めてみたい感もある 2012-11-03 19:54:43 via Janetter こんなことを思っていたりすることもあるため、HaskellやScalaに面白そうなライブラリがあると聞きつけるとF# に移植できないか試したくなります。 で、いくつかTipsというかこんなことがあるよ、的なことをまとめておきます。 用語はてきとーなので表現が微妙であれば順次修正していきます。 【この記事は書きかけです】 型パラメータが型パラメータをもつ Free Monadを例にしてみると sealed trait Free[S[+_], +A] や data Free f a = Pure a | Free (f (Free f a)) などの型パラメータが型パラメータをもってるよ的なやつです。 これが出た場合、私は白旗をあげます。 型エラーが解決できない
ACM SIGPLAN Workshop on ML, September 2014, Gothenburg, Sweden
Higher-order, Typed, Inferred, Strict ACM SIGPLAN ML Family Workshop Thursday September 4, 2014, Gothenburg, Sweden (immediately following ICFP and preceding OCaml Users and Developers Workshop) News Dec 5, 2015 The post-proceedings with the extended versions of the selected ML Family and OCaml 2014 workshop submissions are published as EPTCS 198 Sep 10, 2014 The video record of all presentations
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Machine Learning Projects for .NET Developers
http://compass2.di.unipi.it/Dottorato/Documenti/VerificheEsami/2015/RelazioniTesi/Cocco.pdf
Home - Tamizhvendan
Reading List for F# Learning
Home - Tamizhvendan
F# Deep Dives Review and Author Q&A
GitHub - bryanedds/Nu: Repository hosting the open-source Nu Game Engine and related projects.
F# for the erlang developer, slides by Don Syme
GitHub - FStarLang/FStar: A Proof-oriented Programming Language
GitHub - jsyeo/Learn-You-PLT-for-Greater-Good: A resource library for PLT, Haskell, ML and compilers.
https://leanpub.com/understandingfunctionalprogramming
GitHub - rayokota/MicroFrameworkRosettaStone: A comparison of a number of web micro-frameworks via code generation