Type Providers, Record / Union Types and Constant Type unsupported
F# Weekly #29, 2014
![]() |
![]() |
![]() |
![]() |
Welcome to F# Weekly,
A roundup of F# content from this past week:
News
- NUnit is now integrated right in the Xamarin Studio.
- Visual F# PowerTools hit 11000 downloads!
- F# Charting docs were improved.
- A new user group in Chennai, India was announced.
- Steffen Forkmann is working on suggesting to fix a typo in a type name.
- Bryan Edds released v0.952 of the F# Game Engine, “Nu Game Engine“.
- FsLexYacc is released with improved IDE integration.
- WcfStorm is written in F#(partially).
- F# Type Provider for Apache Hive.
- FunDomain is F# Event Sourcing reference implementation derived from FsUno.
- Access the World of WarCraft web API using F# type providers!
- Taliesin is OWIN routing middleware using F# Agents.
- Tomas Jansson shared a sample of calling ElasticSearch from F#.
- Open source F# + KDB+ connector (And KDB 32-bit is now a free download)!
- New examples were added to OpenTKExamples.
- FCell 2.5 with user plugins for integration with source code repository and nuget feeds is now available at fcell.io
- FsPickler site is released.
- FsPickler supports BSON serialization!
- Jack Pappas presented Facio example projects!
Core and Lang News
- F# 4 is long lead items needing bake time, no official date for F# 4.0, 3.1.3 is 3-4 months after Oob 3.1.2.
- More portable profiles are being enabled in the Visual F# tools!
- Working on Visual F#? Then please discuss an introduction of PowerShell.
- Jack Pappas has been working on F# 3.1.3, help by reviewing his PR “Type resolution bugfix for arrays“.
- Do you want some key binds for reset and clear all in F# FSI? Anh-Dung Phan has got you covered – review the PR here.
- Jack Pappas has been working on F# 4.0, please review and comment on his PR for “Additional NativePtr intrinsics“.
- Get started on the F# project system by fixing “Multiple folders in fsproj with same named resource will not load“.
- Improve F# debug ranges for loops with a fix for “Debug ranges wrong in for loop with non-int32 counters“.
- Work with Don Syme to propose a fix for “Reflected definitions mismatch the type of method“.
- Could you help us with this issue: “The F# build still has too many build warnings“?
Videos/Presentations
- “Immutability, State and Scale – Functional, Distributed Applications in Azure” by John Azariah & Mahesh Krishnan.
- “Circularities and Modularity in the Wild” with Don Syme. (+slides)
- “F# for the Web” with Ryan Riley.
Blogs
- Aggelos Biboudis posted “Clash of the Lambdas, updated“.
- InfoWorld published “14 excellent reasons to use F#“.
- Daniel Mohl posted “Improvements to the F# Web Templates“.
- Simon Fowler blogged “WebSharper.UI.Next: An Introduction“.
- Vesa Karvonen wrote “Equality Forall and forever“.
- Chet Husk posted “Parsing RAML with FParsec, Part 1: Background and Goals“.
- Jamie Dixon blogged “Neural Networks“.
- Ronnie Holm wrote about “Creating a simple build server in F# to execute FAKE scripts“.
- Dave wrote “Suave.IO vdir to run choose routes relative to a path“.
- Yan Cui blogged “Elm – functional reactive dreams + missile command“.
- Ronnie Holm posted “Trustpilot challenge: crack AES encrypted message“.
- Frank Krueger wrote “My Xamarin Studio F# Wishlist“.
- Sergey Tihon blogged “Guess a project by logo“.
- Colin Bull posted “Type Providers, Record / Union Types and Constant Type unsupported“.
- Olivier Dahan published:
That’s all for now. Have a great week.
Previous F# Weekly edition – #28![]()
Guess a project by logo
F# Weekly #28, 2014
![]() |
![]() |
![]() |
![]() |
Welcome to F# Weekly,
A roundup of F# content from this past week:
News
- Round 2 of the F# logo voting is now live! Please cast your votes!
- You still have a chance to get a free F# t-shirt.
- If you use StackOverflow and code in F# – join StackOverflow F# chat room.
- Visual F# Power Tools 1.3.0 is released with resolve unopened namespaces and modules. Do you like any of VFPT features? Send your reviews!
- Core part of Visual F# Power Tools is published on NuGet as an independent package.
- Don Syme would really like to see someone add a “summary of versions” table to the F# wikipedia page, like this one for C#.
- F# is sitting comfortably at #13 on the TIOBE index.
- Codio: A Multi-language IDE with F# support was announced.
- Course on F# for finance with Deedle, domain-specific languages & lot more. Starting in Oct 2014!
- CloudSharper 0.9.14 is released with a revamped dashboard and a nice solution tree.
- Luke Sandell introduced the COM Type Provider.
- OpenNLP ported to .NET.
- Two F# + Docker options were published.
- New FSharp.TypeProviders.StarterPack is release.
- Microsoft Research Z3 Theorem Prover became available for purchase.
- Z3Fs – Simple DSL to solve SMT problems using Z3 API in F#.
- Visual Studio “14” CTP 2 is available now.
Core and Lang News
- Visual F# Team shared their current priorities.
- Visual F# Team published “Status of F# 4.0+ Approved Language/Library Items“
- Visual F# Team updated F# 3.1.2 preview build that will be the next Out Of Band F# release due end of the month.
- Visual F# Team posted the guide “How to Debug the IDE“
- The Visual F# IDE unit tests are now open source! ~4K tests covering intellisense, squiggles, proj system, etc.
- Should VFSI support intellisense? What do you think?
- Jack Pappas has implemented the new NativePtr intrinsics.
- Don Syme sent pull requests for:
Video/Presentations
- New Features in Xamarin V3 and High Level Overview
- “The Trouble With Types” by Martin Odersky (About a new programming language Dotty(Scala 3.0?)).
Blogs
- Bartosz Sypytkowski posted “Map Reduce With FSharp and Akka.net“.
- Cameron Taggart published “Debugging into F# Type Provider Source Code“.
- Ted Neward wrote “Fun with C#“.
- Tomas Jansson blogged “So you want to program the web with FSharp?“.
- Jamie Dixon wrote about “Terminator Program: Part 2“.
- ZDNet published “F# and functional computing languages: Out of the lab and into your business“.
- Palladium Consulting published “Talking about F#“.
- Per Ökvist blogged “Exploring F# through modeling #3“.
- Cameron Taggart wrote about “Size of Xamarin Store Apps on Android“.
- Rahul Garg published “Getting F# running on Linux“.
- Yan Cui blogged “Contrasting F# and Elm’s record types“.
- Juan M Gómez posted “Conociendo los Type Providers“.
- Alex Casquete shared “Uniones discriminadas y jerarquía de objetos“.
- Olivier Dahan posted:
That’s all for now. Have a great week.
Previous F# Weekly edition – #27![]()
F# Weekly #27, 2014
![]() |
![]() |
![]() |
![]() |
Welcome to F# Weekly,
A roundup of F# content from this past week:
News
- Run an F# app, get an F# shirt!
- F# compiler task shipped directly with FAKE 3.1.
- Steven Taylor published F# friendly connector to KDB+.
- CloudSharper 0.9.13.1 is released.
- Speech API with WebSharper.
- Karlkim Suwanmongkol presented FsReveal.
- Major update to ServiceStack F# template.
- Tomas Petricek announced the challenge for everyone who looking for a fun with F# compiler optimization.
- F# MVC 5 was updated.
- Experimental FsPickler.CSharp package was published to NuGet.
Core and Lang News
- Visual F# Team open-sourced the Visual F# IDE stack!
- Visual F# Team published guidelines and best practices for those working on F# 4.0 core library collection functions.
- Visual F# Team is working on adding profile 78 and 259 to the F# preview.
- Vladimir Matveev posted a prototype for swift like printf “[Prototype] String interpolation”.
Video/Presentations
- “Taking your craft seriously with F#” with Tomas Petricek. (+code)
- “Xamarin FSharp Interactive” by Frank A. Krueger.
Blogs
- S. Somasegar announced “Enabling Contributions to the Visual F# IDE Tools“.
- Steffen Forkmann posted “Microsoft, Open Source development and Codeplex“.
- Rachel Reese blogged:
- Phil Trelford wrote about “F# Summer of Code 2014“.
- Loïc Denuzière published “CloudSharper 0.9.13 with workspace cloud sharing!“.
- Jamie Dixon posted “TRINUG F# Analytics Prep: Part 2“.
- Adam Granicz shared “Upcoming CloudSharper features in Q3“.
- David Siegel blogged “Shallow: Cloning a Hook-up App in F#“.
- Hodza Nassredin posted “Way to computation expressions“.
- Ross McKinlay shared “2048 – Type Provider Edition“.
- Per Ökvist wrote “Exploring F# through modeling #3“.
- Joseph Hill announced “Contest: Build Your First F# Mobile App“.
- Larry O’Brien wrote “F# For Scripting“.
- Gabriele Cocco posted “FSCL vs OpenCL C/C++ performance“.
- Bartosz Sypytkowski blogged “FSharp and Akka.net – the Functional Way“.
- Sergey Tihon blogged “Where should the source code of Visual F# Tools be?“.
That’s all for now. Have a great week.
Previous F# Weekly edition – #26![]()
Where should the source code of Visual F# Tools be?
Recently Steffen Forkmann raised a very important question about CodePlex usability and how it affects future of F# OSS contribution. Please read his arguments in “Microsoft, Open Source development and Codeplex” and share your opinion. Thanks.
Lexing and Parsing with F# – Part I
Good startup guide for FsLexYacc http://fsprojects.github.io/FsLexYacc/
Syntax tutorials:
– http://plus.kaist.ac.kr/~shoh/ocaml/ocamllex-ocamlyacc/ocamllex-tutorial/index.html
– http://plus.kaist.ac.kr/~shoh/ocaml/ocamllex-ocamlyacc/ocamlyacc-tutorial/index.html
September 10th 2010 | David Cooksey
Lexing and Parsing with F# – Part 1
FsLex and FsYacc are F# implementations of Ocaml’s Lex and Yacc. They are part of the F# Powerpack released for Visual Studio 2010. Used together, they take an input string and create a parse tree of typed objects. Once you have the parse tree, you can do anything with it—generate code for another language, interpret it directly, etc. If you’d like to jump right into the code, scroll to the bottom of the post. Note that the code includes a small test project using FsUnit.
FsLex is the lexer part of the lexer-parser pair. It converts an input string or stream into a series of tokens. A token is simply a string labeled so that the parser knows how to handle it. For example, ‘92’ might be within a token labeled DIGIT. Simply put, the…
View original post 606 more words
F# Weekly #26, 2014
![]() |
![]() |
![]() |
![]() |
Welcome to F# Weekly,
A roundup of F# content from this past week:
News
- Vote on Visual F# Power Tools features to prioritize development.
- Tomas Petricek published a new version of FsLab package & template! With great Math.NET integration from Christoph Rüegg & bug fixes.
- F# Type Provider for SignalR with FunScript was announced.
- FsPickler 0.9.5 is prereleased with format refinements, .NET 4.0 support and other improvements.
- Rio de Janeiro F# User Group hosted first event “F# – 1º Encontro“.
- ExtensionMethod.net has F# methods.
- FSharp.Management v0.1.1 is released with memory fixes.
- Ryan Roberts showed first results with OWL type provider.
- F# plugin v0.1 for OpenIDE was presented.
- FAKE 3.0 allows live debugging of build scripts.
- “F#ers Meetup in Tokyo” was announced.
- .NET Fiddle uses Fantomas code formatter to tidy up F# code.
- F#unctional Londoners just hit 800 members.
- Dave Thomas presented:
- If anyone wants to help out with the F# addin for Xamarin studio just ping Dave Thomas.
Core and Lang News
- Keep up the great work on F# 4.0 and get involved!
- Mark Seemann provided our 1st Contribution to F# 4.0.
- Robert Jeppesen implemented “fsharp interpreter shebang compatibility“.
- Don Syme submitted pull request with support of “non-nullable provided types“.
- Help wanted: work with Don Syme to get this PR tested, so that Visual F# Team can pull it.
- Visual F# is seeking collaborators and developers for F# 4.0:
Video/Presentations
- “F# in your pipe” by Phillip Trelford (from his talk)
- “F# Open Source Update + Tackling Mutability with Data Flow Graphs” with Curt Nichols and @Codecutterman.
- “Tackle UI with Reactive DOM in F# and WebSharper” with Anton Tayanovskyy.
Blogs
- Gert-Jan van der Kamp published on CodePlex “Using a DataReader like a List in F#“.
- Functional Works posted “Functional should always be fun!“.
- Piet Amersfoort wrote “Creating real world WPF applications with Prism 5 and F# (part 2 – MEF)“.
- Kunjan Dalal updated “SignalR + Nancy with F# hosted on Azure“.
- Jamie Dixon posted “Consuming Sky Biometry’s Image Recognition API“.
- Peter Strøiman released “FSpec goes 0.1 (with Foq support)“.
- Heather posted “Read/Write Excel from F# with NPOI“.
- Phil Brooks wrote about “Stochastic Mortality (Limited)“.
- Michael Newton blogged “Property Checking Start Challenge“.
- Kunjan Dalal posted “SignalR + Servciestack with F# hosted on Azure“.
- Yan Cui published “Announcing libraries for C# and F# to make it easier to integrate with Sentry“.
- Kunjan Dalal posted “My broken marriage with C# and extramarital affair with F#“.
That’s all for now. Have a great week.
Previous F# Weekly edition – #24-#25![]()
F# Weekly #24-#25, 2014
![]() |
![]() |
![]() |
Welcome to F# Weekly,
A roundup of F# content from this past week:
News
- The F# Core Open Engineering Group has a revamped website and a blog. Please follow for updates!
- F# Nation – 1 week to submit to CUFP this year! Submit your experiences of using F# for real commercial work.
- Update on the F# logo project. Let’s keep the discussion going, and make sure we get the best logo possible! Please chime in with any feedback!
- Paris F# conference is in less than 10 days, with a full day of F# and workshops! Get your ticket now!
- Regular reminder to F# speakers to join INETA. They’ll partially reimburse travel expenses to speak!
- Miguel de Icaza shared “F# with Xamarin, getting started page“.
- A lot of great F# content is coming your way somewhere on the planet!
- Did you know that the msdn library includes F# syntax for many types in the BCL?
- FAKE 3.0 alpha is released. Please test the new FAKE with your build scripts especially if you are using additional fsi arguments. New version is built on top of FSharp.Compiler.Service and does not have external fsi process anymore.
- Major rewrite of FsPickler supporting binary, xml and json formats was pushed to prerelease channel. (+new microbenchmarks)
- Nashville F# Group was registered.
- First Sydney F# UG meeting was announced.
- Visual F# Power Tools 1.2.0 is released with Union pattern match case generation & important fixes for performance and memory issues.
- Dmitry Morozov presented FSharp.Data.SqlEnumProvider.
- FsEye 2.10 is released with NuGet packages and DataGridView plugin.
- New version of fszmq 4.0.6 is released.
- Stanford.NLP.NET packages were updated up to v3.4.
- Longing for a lint tool for F#? Check out this ongoing work.
- CloudSharper 0.9.13 is out with better NuGet support and workspace cloud sharing.
- New FsXaml and FSharp.ViewModule are published to NuGet. WPF via F# with clean, functional style validation is now supported.
- FeldSpar(Opinionated Purely Functional Unit Test Framework) was presented.
- Adam Granicz presented Three.js samples with WebSharper.
- Developing for Android and for Apple iOS/iPhone/iPad with F# just became a whole lot simpler.
- Chapter 12 “Software Quality” is new to F# Deep Dives.
- RexPro client in F# is released.
- F# support for iOS8 (via Xamarin.iOS) is released.
- F# Azure Storage Type Provider v1.0 is released!
- Everyone on the Visual F# Tools team uses The F# Power Tools!
- FSCL now fully supports OpenCL execution of Array.map, map2, mapi, mapi2, rev, sum, reduce and all the compositions.
- MathNet.Numerics 3.0 released is released with improved F# support.
Core and Lang News
- Don Syme have begun filtering smaller items on the F# User Voice with a view to F# 4.0 and beyond. Please contribute!
- What should the F# team be working on? Please vote on the issues.
- Want to hack on the F# compiler? Would you like to build F# 4.0? Here are issues and tasks:
- Compiler should warn on missing class-level or assembly-level [<ExtensionAttribute>].
- Improve the preprocessor to allow extended #if grammar.
- Add support for “fixed”.
- Enable a compiler warning when a recursive algorithm is not tail-recursive.
- Steal nice println syntax from Swift.
- Make the .Tag property public in DUs.
- Do you need extra templates in visual F#? They are open source and can be modified and added to right now!
- Fixed compiler bug:”F# interop with C# class that has an optional nullable parameter set to anything but null causes NullReferenceException / AccessViolationException“.
- Closed: “double backtick escaped identifiers for active patterns compiler bug”.
- Accepted pull request: “support profile78\profile259“.
- Vasily Kirichenko works on “Resolve unopened namespace or module“.
Video/Presentations
- Type Provider to Azure with Isaac Abraham.
- Like a rabbit in headlights! Removing the OO goggles with F# by Andrea Magnorsky.
- Domain Modelling in F# with Ian Russell.
- Early Warning Indicators in F# with Stephen Channell.
- Mixing biology and physics to understand stem cells and cancer with Ben Hall.
- Break Free With Managed Functional Programming with Dave Fancher.
- iOS App Development with F# and Xamarin by Rachel Reese.
- F# and Reactive Programming for iOS with Brad Pillow.
- Clash of the Lambdas by Aggelos Biboudis, Nick Palladinos and Yannis Smaragdakis.
- Type Theory and Practical Application by Jack Fox
- Syntax Matters: Writing abstract computations in F# by Tomas Petricek and Don Syme.
- Quantum Computing Research at Microsoft by Dave Wecker.
- FeldSpar Setup by Jason Kerney.
- FeldSpar BasicTests by Jason Kerney.
Blogs
- Visual F# Tools Team posted “How to Contribute to the F# Compiler/Library Implementation“.
- James Conway posted “Functional Vindaloo“.
- Mike Bluestein shared “Xamarin 3 Delivers Rich Updates to Xamarin Studio“.
- Jon Wood wrote about “Exercism F# Track Now Available“.
- Evelina Gabasova blogged “Comparing F# and C# with dependency networks“.
- Peter Strøiman posted “Getting Started with FSpec“.
- Sebastian Bełczyk wrote about “Running F# self hosted WebAPI with Owin“.
- Tahir Hassan posted “Embedding F# In PowerShell“.
- Mårten Rånge presented “Monadic Scenario Testing“.
- Evelina Gabasov wrote about “Setting up R.NET on Mac“.
- Steffen Forkmann posted “FAKE 2.18 released – RoundhousE kick edition“.
- Piet Amersfoort blogged “Creating real world WPF applications with F# and Prism 5 (part 1)“.
- Lincoln Atkinson posted “Rethinking findstr with F# and Powershell“.
- Jamie Dixon wrote:
- Chris Ballard shared “Google API – a decoder for polylines in F#“.
- Tom Janssens blogged:
- Tim Jones wrote “Writing a MiniC-to-MSIL compiler in F# – Part 3 – Semantic analysis“.
- Mathias Brandewinder blogged “How F# cured my 2048 addiction“.
- John Reynolds posted:
- Larry O’Brien shared “iOS 8, Scene Kit @ 60FPS, programmed in F#, using Xamarin.iOS“.
- Jon Wood blogged “Why F# for the Enterprise“.
- Isaac Abraham posted “F# Azure Storage Type Provider v1.0 released!“.
- Yan Cui published “Dart – Emulating F#’s Discriminated Union (i.e. an algebraic data type)“.
- nenono wrote about “Y-Combinator, recursive functions and memoization“.
- masuda wrote:
That’s all for now. Have a great week.
Previous F# Weekly edition – #23 ![]()


































































